785 search results - page 53 / 157 » First-class Synchronous Operations |
SRDS
1999
IEEE
15 years 2 months ago
1999
IEEE
Availability in Process Support Systems (PSS) can be achieved by using standby mechanisms that allow a backup server to take over in case a primary server fails. These mechanisms,...
TCS
2008
14 years 9 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
FPGA
2010
ACM
15 years 4 months ago
2010
ACM
Triple Modular Redundancy (TMR) is a common reliability technique for mitigating single event upsets (SEUs) in FPGA designs operating in radiation environments. For FPGA systems t...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
ASPDAC
2004
ACM
15 years 1 months ago
2004
ACM
- Globally-Asynchronous, Locally-Synchronous (GALS) design style has started to gain interest recently as a possible solution to the increased design complexity, power and thermal ...