18898 search results - page 3751 / 3780 » The Making of a Software Engineer |
POPL
2010
ACM
15 years 10 days ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
MOBISYS
2010
ACM
15 years 7 days ago
2010
ACM
WiFi radios in smart-phones consume a significant amount of power when active. The 802.11 standard allows these devices to save power through an energy-conserving Power Save Mode ...
MOBISYS
2010
ACM
15 years 7 days ago
2010
ACM
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...
FAST
2008
15 years 7 days ago
2008
Ever-increasing complexity of large-scale applications and continuous increases in sizes of the data they process make the problem of maximizing performance of such applications a...
ASPLOS
2008
ACM
14 years 12 months ago
2008
ACM
Power delivery, electricity consumption, and heat management are becoming key challenges in data center environments. Several past solutions have individually evaluated different ...