469 search results - page 27 / 94 » A Modal Analysis of Staged Computation |
CONCURRENCY
2010
13 years 7 months ago
2010
With the rapid replacement of closed, homogeneous, proprietary HPC systems by heterogeneous, Linux-MPI cluster systems, the state of performance monitoring and analysis tools has ...
CVPR
2007
IEEE
14 years 1 months ago
2007
IEEE
Use of IR images is advantageous for many surveillance applications where the systems must operate around the clock and external illumination is not always available. We investiga...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
IMR
2003
Springer
14 years 22 days ago
2003
Springer
This paper presents a comprehensive approach for CAD based geometry handling in support of single and multidisciplinary analysis and design. Unlike previous schemes, the model pre...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
This paper suggests that the thermal state of a processor can be approximated using data flow analysis. The results of this analysis can be used to evaluate the efficacy of therma...