144 search results - page 27 / 29 » Time-Space Tradeoffs for Satisfiability |
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
ICCD
2005
IEEE
14 years 2 months ago
2005
IEEE
Nanoelectronic devices are expected to have extremely high and variable fault rates; thus future processor architectures based on these unreliable devices need to be built with fa...
ISLPED
2004
ACM
14 years 2 months ago
2004
ACM
The need to perform early design studies that combine architectural simulation with power estimation has become critical as power has become a design constraint whose importance h...
HPCA
1998
IEEE
14 years 1 months ago
1998
IEEE
The frequency of accesses to remote data is a key factor affecting the performance of all Distributed Shared Memory (DSM) systems. Remote data caching is one of the most effective...
SIGMOD
1997
ACM
14 years 28 days ago
1997
ACM
Materialized views and view maintenance are becoming increasingly important in practice. In order to satisfy different data currency and performance requirements, a number of view...