5550 search results - page 1035 / 1110 » Different Approaches to Proof Systems |
183
click to vote
RTAS
2008
IEEE
16 years 24 days ago
2008
IEEE
Dynamic Power Management (DPM) techniques are crucial in minimizing the overall energy consumption in real-time embedded systems. The timing constraints of real-time applications ...
195
click to vote
AH
2008
Springer
16 years 23 days ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
160
click to vote
IEEEPACT
2006
IEEE
16 years 13 days ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
163
click to vote
MOBICOM
2006
ACM
16 years 11 days ago
2006
ACM
Wireless 802.11 hotspots have grown in an uncoordinated fashion with highly variable deployment densities. Such uncoordinated deployments, coupled with the difficulty of implemen...
156
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...