164 search results - page 16 / 33 » Primitives for Contract-based Synchronization |
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
The jGRASP lightweight IDE provides object viewers that automatically generate dynamic, statebased visualizations of objects and primitive variables in Java. Multiple synchronized...
89
Voted
FUIN
2002
14 years 10 months ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
SASO
2007
IEEE
15 years 4 months ago
2007
IEEE
The study of synchronization has received much attention in a variety of applications, ranging from coordinating sensors in wireless networks to models of fireflies flashing in...
82
Voted
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
168
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...