785 search results - page 106 / 157 » First-class Synchronous Operations |
137
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Validating distributed systems is particularly difficult, since failures may occur due to a correlated occurrence of faults in different parts of the system. This paper describes ...
183
click to vote
FCT
1999
Springer
15 years 10 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
180
click to vote
PPDP
1999
Springer
15 years 10 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
152
click to vote
SRDS
1996
IEEE
15 years 10 months ago
1996
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementationsof virtual synchrony usually require...
145
click to vote
ARC
2010
Springer
15 years 9 months ago
2010
Springer
As reconfigurable computing hardware and in particular FPGA-based systems-on-chip comprise an increasing number of processor and accelerator cores, supporting sharing and synchroni...