2616 search results - page 472 / 524 » Energy scalable system design |
BIRTHDAY
2010
Springer
14 years 3 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
PET
2010
Springer
14 years 2 months ago
2010
Springer
Combining and analyzing data collected at multiple locations is critical for a wide variety of applications, such as detecting and diagnosing malicious attacks or computing an acc...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
We report on our ongoing practical experience in designing, implementing, and deploying PTIME, a personalized agent for time management and meeting scheduling in an open, multi-ag...
MOBISYS
2010
ACM
14 years 15 days ago
2010
ACM
We present Darwin, an enabling technology for mobile phone sensing that combines collaborative sensing and classification techniques to reason about human behavior and context on ...
ASPLOS
2010
ACM
14 years 5 months ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...