717 search results - page 10 / 144 » Kill-safe synchronization abstractions |
CSREAESA
2010
13 years 9 months ago
2010
Component-based operating systems enable embedded systems to adapt system policies, mechanisms, and abstractions to the specific workloads and contexts of each system. The scope o...
WDAG
1993
Springer
14 years 3 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
FMCO
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
SIGADA
2005
Springer
14 years 4 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
ICS
1998
Tsinghua U.
14 years 3 months ago
1998
Tsinghua U.
Abstract Barrier synchronizations can be very expensive on multiprogramming environment because no process can go past a barrier until all the processes have arrived. If a process ...