1675 search results - page 124 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
125
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Aim of this paper is to propose a methodology for the definition of an instruction-level energy estimation framework for VLIW (Very Long Instruction Word) processors. The power mo...
143
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
143
Voted
LCPC
2007
Springer
15 years 9 months ago
2007
Springer
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
117
Voted
PDPTA
2003
15 years 5 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
116
Voted
ICVGIP
2008
15 years 5 months ago
2008
The GPUs pack high computation power and a restricted architecture into easily available hardware today. They are now used as computation co-processors and come with programming m...