511 search results - page 53 / 103 » Synchronous Structures |
ICCS
2001
Springer
14 years 2 months ago
2001
Springer
This paper surveys and places into perspective a number of results concerning the D-BSP (Decomposable Bulk Synchronous Parallel) model of computation, a variant of the popular BSP ...
MIDDLEWARE
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
SPAA
2000
ACM
14 years 2 months ago
2000
ACM
The computer industry is currently examining the use of strong synchronization operations such as double compareand-swap (DCAS) as a means of supporting non-blocking synchronizati...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
DAC
2009
ACM
14 years 1 months ago
2009
ACM
Traditional debug methodologies are limited in their ability to provide debugging support for many-core parallel programming. Synchronization problems or bugs due to race conditio...