1737 search results - page 321 / 348 » On Interpolation in Existence Logics |
178
Voted
SIGMETRICS
2009
ACM
16 years 18 days ago
2009
ACM
Flash Memory based Solid State Drive (SSD) has been called a “pivotal technology” that could revolutionize data storage systems. Since SSD shares a common interface with the t...
150
click to vote
SYSTOR
2009
ACM
16 years 17 days ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...
146
click to vote
ISCA
2008
IEEE
16 years 14 days ago
2008
IEEE
As CMOS technology scales and more transistors are packed on to the same chip, soft error reliability has become an increasingly important design issue for processors. Prior resea...
140
click to vote
LICS
2008
IEEE
16 years 14 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
168
click to vote
SCAM
2008
IEEE
16 years 14 days ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...