Sciweavers

2466 search results - page 225 / 494
» Concurrent Clustered Programming
Sort
View
SCCC
1998
IEEE
15 years 4 months ago
Resurrecting Ada's Rendez-Vous in Java
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
Luis Mateu, José M. Piquer, Juan Leó...
106
Voted
CSCW
1996
ACM
15 years 4 months ago
Designing Object-Oriented Synchronous Groupware with COAST
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
Christian Schuckmann, Lutz Kirchner, Jan Schü...
87
Voted
LICS
1992
IEEE
15 years 4 months ago
Asynchronous Communication in Process Algebra
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...
Frank S. de Boer, Jan Willem Klop, Catuscia Palami...
CAV
2010
Springer
197views Hardware» more  CAV 2010»
15 years 4 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
EUROPAR
2005
Springer
15 years 6 months ago
PerfMiner: Cluster-Wide Collection, Storage and Presentation of Application Level Hardware Performance Data
Abstract. We present PerfMiner, a system for the transparent collection, storage and presentation of thread-level hardware performance data across an entire cluster. Every sub-proc...
Philip Mucci, Daniel Ahlin, Johan Danielsson, Per ...