Showing 81 - 100 of 1,167

81

Concurrent algorithms and data types animation over the Internet
CATTANEO, G ; ITALIANO, G. F ; FERRARO, U ; et al.
Fundamentals - foundations of computer science (Vienna, Budapest, 31 August - 4 September 1998). :63-80

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
82

Goldilocks : Efficiently computing the happens-before relation using locksets
ELMAS, Tayfun ; QADEER, Shaz ; TASIRAN, Serdar
Formal approaches to software testing and runtime verification (First combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006)0FATES 2006. :193-208

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
83

Safe and verifiable design of concurrent java programs
WELCH, P. H ; HILDERINK, G. H ; BAKKERS, A. W. P ; et al.
Invited Papers from the IASTED International Conference : Software Engineering and Applications, Scottsdale, Arizona, USA, October 1999International journal of computers & applications. 23(3):159-165

Electronics Electronique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn...
Conference
84

A framework for seamlesly making object oriented applications distributed
Chaumette, S. ; Vignéras, P.
In Advances in Parallel Computing 2004 13:305-312

Academic journal
85

Concurrent implementation of structurally synthesized programs
LÄMMERMANN, Sven ; TYUGU, Enn ; VLASSOV, Vladimir
PaCT 2001 : parallel computing technologies (Novosibirsk, 3-7 September 2001)Lecture notes in computer science. :277-284

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
86

A Transformation Framework for Optimizing Task-Parallel Programs
KRISHNA NANDIVADA, V ; SHIRAKO, Jun ; JISHENG ZHAO ; et al.
ACM transactions on programming languages and systems. 35(1)

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Academic journal
87

Automated Synthesis of Distributed Controllers
Muscholl, Anca

Computer Science - Forma... Computer Science - Logic... Computer Science - Syste...
Report
88

Concurrent clustered programming
SARASWAT, Vijay ; JAGADEESAN, Radha
CONCUR 2005 : concurrency theory (San Francisco CA? 23-26 August 2005)Lecture notes in computer science. :353-367

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
89

Parallelization Strategies for Spatial Agent-Based Models
Fachada, Nuno ; Lopes, Vitor V. ; Martins, Rui C. ; et al.
International Journal of Parallel Programming, 45(3), pp. 449-481, 2017

Computer Science - Distr... D.1.3 D.2.4 G.3 I.6.6
Report
90

CATAI: Concurrent Algorithms and Data Types Animation over the Internet
CATTANEO, GIUSEPPE ; ITALIANO, GIUSEPPE F. ; FERRARO-PETRILLO, UMBERTO
In Journal of Visual Languages and Computing 2002 13(4):391-419

Academic journal
91

A Soft Computing Framework for Adaptive Agents
Loia, Vincenzo ; Sessa, Salvatore ; Kacprzyk, Janusz, editor ; et al.
Soft Computing Agents : New Trends for Designing Autonomous Systems. 75:191-220

eBook
92

Incorporating the Ontology Paradigm Into Software Engineering: Enhancing Domain-Driven Programming in Clojure/Java : SEMANTICS
DJURIC, Dragan ; DEVEDZIC, Vladan
IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews. 42(1):3-14

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Academic journal
93

Using the Bandera Tool Set to model-check properties of concurrent Java software
HATCLIFF, John ; DWYER, Matthew
CONCUR 2001 - concurrency theory (Aalborg, 20-25 August 2001)Lecture notes in computer science. :39-58

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
94

Development of an e-engineering framework for automotive module design
PARK, Seong-Whan ; LEE, Jai-Kyung ; BANG, Je-Sung ; et al.
Computer Supported Cooperative Work in Design II (9th international conference, CSCWD 2005, Coventry, UK, May 24-26, 2005)Lecture notes in computer science. :264-273

Asie Asia Corée Korea Corea Computer science
Conference
95

Learning Akka
Goodwin, Jason ; Goodwin, Jason ; Goodwin, Jason ; et al.

Electronic Resource
96

Programming dynamically reconfigurable open systems with SALSA : Intriguing Technology from OOPSLA by John Vlissides and Doug Lea
VARELA, Carlos ; AGHA, Gul
ACM SIGPLAN notices. 36(12):20-34

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Academic journal
97

Model-based design of concurrent programs
MAGEE, Jeff ; KRAMER, Jeff
CSP : communicating sequential processes : the first 25 years (London, 7-8 July 2004, revised invited papers)Lecture notes in computer science. :211-219

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
98

A mobile agent approach to access and represent remote spatial information in LBS
FANG, Zhixiang ; LI, Qingquan ; LUO, Zhi ; et al.
MIPPR 2005 (geospatial information, data mining, and applications)0Geospatial information, data mining, and applications.

Electronics Electronique Optics Optique Physics Physique
Conference
99

Goldilocks: A Race-Aware Java Runtime
ELMAS, Tayfun ; QADEER, Shaz ; TASIRAN, Serdar
Communications of the ACM. 53(11):85-92

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Academic journal
100

Functional Choreographic Programming
Cruz-Filipe, Luís ; Graversen, Eva ; Lugović, Lovro ; et al.
Theoretical Aspects of Computing – ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings. 13572:212-237

eBook

Filter