7580 search results - page 1391 / 1516 » Prometheus design tool |
138
click to vote
TAMC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Kernelizations are an important tool in designing fixed parameter algorithms for parameterized decision problems. We introduce an analogous notion for counting problems,...
173
click to vote
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
Software code caches are increasingly being used to amortize the runtime overhead of dynamic optimizers, simulators, emulators, dynamic translators, dynamic compilers, and other t...
163
click to vote
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
Process technology and environment-induced variability of gates and wires in VLSI circuits make timing analyses of such circuits a challenging task. Process variation can have a s...
130
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
170
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...