4604 search results - page 117 / 921 » Concurrency in Synchronous Systems |
104
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
135
click to vote
JOT
2008
15 years 3 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
133
click to vote
CERA
2002
15 years 3 months ago
2002
Design changes are frequently encountered in the product development process. The complexity of the design changes is multiplied when the product design involves multiple engineer...
128
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
137
Voted
RTCSA
1996
IEEE
15 years 8 months ago
1996
IEEE
