1626 search results - page 139 / 326 » Subtyping with Power Types |
130
Voted
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
This paper describes a dynamic voltage and frequency scaling (DVFS) technique for MPEG decoding to reduce the energy consumption while maintaining a quality of service (QoS) constr...
149
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Design trade-offs between estimation performance, processing delay and communication cost for a sensor scheduling problem is discussed. We consider a heterogeneous sens...
128
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
125
click to vote
DEXAW
2000
IEEE
15 years 8 months ago
2000
IEEE
rView is a visual frontend to the RasDaMan DBMS, providing raster data visualization functionality and a graphical user interface to the database system. RasDaMan, a commercial ar...
146
Voted
ICSM
1997
IEEE
15 years 8 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...