805 search results - page 28 / 161 » C-Meter: A Framework for Performance Analysis of Computing C... |
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Since process and environmental variations can no longer be ignored in high-performance microprocessor designs, it is necessary to develop techniques for computing the sensitiviti...
IEEESCC
2008
IEEE
14 years 3 months ago
2008
IEEE
Good IT decision making is a highly desirable property that can be furthered by the use of enterprise architecture, an approach to IT management using diagrammatic models. In orde...
ICPPW
2005
IEEE
14 years 2 months ago
2005
IEEE
Large scientific collaborations are moving towards service oriented architectures for implementation and deployment of globally distributed systems. Clarens is a high performance,...
IJCV
2007
13 years 8 months ago
2007
Robots often incorporate computational models of visual attention to streamline processing. Even though the number of visual attention systems employed on robots has increased dram...
ARTS
1999
Springer
14 years 27 days ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...