4604 search results - page 13 / 921 » Concurrency in Synchronous Systems |
CONCURRENCY
2006
13 years 7 months ago
2006
CONCURRENCY
2006
13 years 7 months ago
2006
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
CSL
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...