4418 search results - page 842 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
136
click to vote
MFPS
1989
15 years 10 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
169
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Many parallel applications exhibit unpredictable communication between threads, leading to contention for shared objects. The choice of contention management strategy impacts stro...
168
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Gene regulation and metabolic reactions are two primary activities of life. Although many works have been dedicated to study each system, the coupling between them is ...
151
click to vote
SIGOPS
2008
15 years 6 months ago
2008
What do our computer systems do all day? How do we make sure they continue doing it when failures occur? Traditional approaches to answering these questions often involve inband m...
165
click to vote
FOCM
2002
15 years 5 months ago
2002
This paper is concerned with the design and analysis of adaptive wavelet methods for systems of operator equations. Its main accomplishment is to extend the range of applicability...