306 search results - page 38 / 62 » Symmetric Component Caching |
SIGMOD
2003
ACM
15 years 11 months ago
2003
ACM
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...
105
Voted
SAT
2005
Springer
15 years 4 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
84
Voted
SIGOPSE
2004
ACM
15 years 4 months ago
2004
ACM
Implementing an extension of a legacy operating system requires knowing what functionalities the extension should provide and how the extension should be integrated with the legac...
93
Voted
ICSR
2004
Springer
15 years 4 months ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
70
Voted
MSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Fermilab, in collaboration with the DESY laboratory in Hamburg, Germany, has created a petabyte scale data storage infrastructure to meet the requirements of experiments to store ...