54 search results - page 11 / 11 » FastPCMSA: An Improved Parallel Algorithm for the Constraine... |
FMCAD
2009
Springer
14 years 4 days 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 ...
MIDDLEWARE
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we consider the problem of maximising utility in linked market-driven distributed and Grid systems. In such systems, users submit jobs through brokers who can virtua...
CASES
2006
ACM
13 years 9 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
PLDI
2004
ACM
13 years 11 months ago
2004
ACM
With billion-transistor chips on the horizon, single-chip multiprocessors (CMPs) are likely to become commodity components. Speculative CMPs use hardware to enforce dependence, al...