4604 search results - page 814 / 921 » Concurrency in Synchronous Systems |
CLUSTER
2002
IEEE
14 years 2 months ago
2002
IEEE
With applications becoming larger and the increasing load on high performance systems, it is important to tackle the I/O bottleneck problem from several angles. It is not only ess...
JTRES
2009
ACM
14 years 1 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
FM
2001
Springer
14 years 1 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
SSD
2001
Springer
14 years 1 months ago
2001
Springer
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Execution behavior of a Java application can be nondeterministic due to concurrent threads of execution, thread scheduling, and variable network delays. This nondeterminism in Jav...