983 search results - page 64 / 197 » Topology-Based Performance Analysis and Optimization of Late... |
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
CC
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
FM
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
This paper presents an analysis and system-level design of a capacitive harvester of vibration energy composed from a mechanical resonator, capacitive transducer and a conditioning...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Given the limitation of hearing and understanding speech for many individuals, we plan to supplement the sound of speech and speechreading with an additional informative visual in...