25156 search results - page 379 / 5032 » Applications for conscious systems |
234
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Power has become a critical concern for battery-driven computing systems, on which many applications that are run are interactive. System-level voltage scaling techniques, such as...
218
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
198
click to vote
IISWC
2008
IEEE
16 years 2 months ago
2008
IEEE
Web 2.0 represents the evolution of the web from a source of information to a platform. Network advances have permitted users to migrate from desktop applications to so-called Ric...
193
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
194
click to vote
MM
2004
ACM
16 years 1 months ago
2004
ACM
In this paper, we present the Range Multicast protocol and the implemented prototype. We propose to demonstrate the system at the 2004 ACM Multimedia Conference. Categories and Su...