4604 search results - page 120 / 921 » Concurrency in Synchronous Systems |
159
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
131
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
143
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
87
Voted
SENSYS
2006
ACM
15 years 9 months ago
2006
ACM
ISSRE
2005
IEEE
15 years 9 months ago
2005
IEEE