103 search results - page 10 / 21 » Improving the Static Analysis of Loops by Dynamic Partitioni... |
SC
2009
ACM
14 years 2 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
CCE
2005
13 years 7 months ago
2005
The Petlyuk distillation configuration has received considerable attention because of its efficiency to reduce the energy required for the separation of ternary mixtures. The stru...
IWPC
2006
IEEE
14 years 1 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
FPGA
1997
ACM
13 years 12 months ago
1997
ACM
Circuit specialization techniques such as constant propagation are commonly used to reduce both the hardware resources and cycle time of digital circuits. When recon gurable FPGAs...