5961 search results - page 953 / 1193 » Design Science and Software Engineering |
159
Voted
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
246
click to vote
DAC
2011
ACM
14 years 3 months ago
2011
ACM
Existing thermal-aware 3D placement methods assume that the temperature of 3D ICs can be optimized by properly distributing the power dissipations, and ignoring the heat conductiv...
169
Voted
CSCW
2011
ACM
14 years 10 months ago
2011
ACM
Collaboration is key to safety and efficiency in Air Traffic Control. Legacy paper-based systems enable seamless and non-verbal collaboration, but trends in new software and hardw...
146
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
153
Voted
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...