4604 search results - page 73 / 921 » Concurrency in Synchronous Systems |
FGCS
2010
13 years 8 months ago
2010
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
ESTIMEDIA
2007
Springer
14 years 3 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
POS
1994
Springer
14 years 1 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...