5550 search results - page 694 / 1110 » Different Approaches to Proof Systems |
177
click to vote
HPCA
2002
IEEE
16 years 7 months ago
2002
IEEE
This work is based on our philosophy of providing interlayer system-level power awareness in computing systems [26, 27]. Here, we couple this approach with our vision of multipart...
219
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
We present an event based system for storing, managing, and presenting personal multimedia history. The development of such systems is a challenge because information about person...
194
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
219
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
Pervasive computing environments add a multitude of additional devices to our current computing landscapes. Specialized embedded systems provide sensor information about the real ...
184
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
In this paper we propose a novel analog design optimization methodology to address two key aspects of top-down system-level design: (1) how to optimally compare and select analog ...