4604 search results - page 50 / 921 » Concurrency in Synchronous Systems |
FORTE
1998
13 years 9 months ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Efficient communication and synchronization is crucial for finegrained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often ca...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract-- In a high-end database system, the execution concurrency level rises continuously in a multiprocessor environment due to the increase in number of concurrent transaction...
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
To increase the scale and performance of scientific applications, scientists commonly distribute computation over multiple processors. Often without realizing it, file I/O is pa...