4604 search results - page 7 / 921 » Concurrency in Synchronous Systems |
JUCS
2007
13 years 7 months ago
2007
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...
TCS
2008
13 years 7 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
ENTCS
2008
13 years 7 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
The availability of high speed networks and improved microprocessor performance have made it possible to build inexpensive cluster of workstations as an appealing platform for par...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...