348 search results - page 66 / 70 » Leveraging Inconsistency in Software Development |
HIPEAC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Iterative compilation is an efficient approach to optimize programs on rapidly evolving hardware, but it is still only scarcely used in practice due to a necessity to gat...
CLOUDCOM
2009
Springer
14 years 2 months ago
2009
Springer
This keynote paper: (1) presents the 21st century vision of computing and identifies various IT paradigms promising to deliver computing as a utility; (2) defines the architecture ...
VSTTE
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
COMPSAC
2002
IEEE
14 years 12 days ago
2002
IEEE
This paper explores the issues and the techniques of enabling multimedia applications for the thin client computing. A prototype of a video communication system based on H.323 fam...
CASES
2005
ACM
13 years 9 months ago
2005
ACM
Dynamic frequency scaling and dynamic voltage scaling have been developed to save power and/or energy for general purpose computing platforms and high-end embedded systems. This p...