3616 search results - page 42 / 724 » Conditional Memory Ordering |
134
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
143
click to vote
LCPC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...
122
click to vote
FMSD
2007
15 years 4 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
143
click to vote
EVOW
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Clustering still represents the most commonly used technique to analyze gene expression data—be it classical clustering approaches that aim at finding biologically rel...
132
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...