6568 search results - page 267 / 1314 » Reducing the Complexity of Reductions |
189
click to vote
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
Time-parameterized queries (TP queries for short) retrieve (i) the actual result at the time that the query is issued, (ii) the validity period of the result given the current mot...
161
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
138
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...
195
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Virtualization and consolidation are two complementary techniques widely adopted in a global strategy to reduce system management complexity. In this paper we show how two simple ...
159
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Transactional memory systems promise to reduce the burden of exposing thread-level parallelism in programs by relieving programmers from analyzing complex inter-thread dependences...