3256 search results - page 466 / 652 » Applications of Formal Methods to System Design and Verifica... |
139
click to vote
CHI
2008
ACM
15 years 7 months ago
2008
ACM
As emphasis is placed on developing mobile, educational, and other applications that minimize cognitive load on users, it is becoming more essential to base interface design on im...
171
click to vote
GLVLSI
2010
IEEE
15 years 7 months ago
2010
IEEE
Loop caches provide an effective method for decreasing memory hierarchy energy consumption by storing frequently executed code in a more energy efficient structure than the level ...
161
Voted
SSS
2007
Springer
15 years 11 months ago
2007
Springer
System design often explores optimality of performance. What is optimal is, however, often not predefined or static in most cases, because it is affected by the context of operat...
319
click to vote
ICAC
2009
IEEE
16 years 4 days ago
2009
IEEE
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...
162
click to vote
ECRTS
2006
IEEE
15 years 11 months ago
2006
IEEE
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified i...