2256 search results - page 405 / 452 » The Modeling for Dynamic Power Management of Embedded System... |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
VRML
1998
ACM
14 years 29 days ago
1998
ACM
While many pleasing effects are possible using the current VRML sound model [9], it falls short of producing convincing aural environments. Sound sources are not easily affected b...
AI
2000
Springer
13 years 8 months ago
2000
Springer
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
EGH
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly conï¬...