1557 search results - page 166 / 312 » Programming up to Congruence |
145
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
The storage manager of a general-purpose database system can retain consistent disk page level snapshots and run application programs "back-in-time" against long-lived p...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...
101
click to vote
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
DRAM is facing severe scalability challenges in sub-45nm technology nodes due to precise charge placement and sensing hurdles in deep-submicron geometries. Resistive memories, suc...
109
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
Recent and future parallel clusters and supercomputers use SMPs and multi-core processors as basic nodes, providing a huge amount of parallel resources. These systems often have h...