4604 search results - page 113 / 921 » Concurrency in Synchronous Systems |
147
Voted
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
142
Voted
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
258
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
135
Voted
PODC
2010
ACM
15 years 7 months ago
2010
ACM
We study Reader-Writer Exclusion [1], a well-known variant of the Mutual Exclusion problem [2] where processes are divided into two classes–readers and writers–and multiple re...
145
Voted
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...