462 search results - page 90 / 93 » Characterization-Free Behavioral Power Modeling |
POPL
2000
ACM
15 years 29 days ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
123
click to vote
PLDI
2005
ACM
15 years 2 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
CODES
2008
IEEE
14 years 11 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...
DAWAK
2006
Springer
15 years 1 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...
121
click to vote
CONCUR
1998
Springer
15 years 1 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...