6768 search results - page 1340 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
120
click to vote
VLDB
1999
ACM
15 years 3 months ago
1999
ACM
Recent high-performance processors employ sophisticated techniques to overlap and simultaneously execute multiple computation and memory operations. Intuitively, these techniques ...
FP
1989
15 years 3 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
112
click to vote
CASES
2005
ACM
15 years 1 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...
93
Voted
CONEXT
2009
ACM
15 years 22 days ago
2009
ACM
Motivated by increased concern over energy consumption in modern data centers, we propose a new, distributed computing platform called Nano Data Centers (NaDa). NaDa uses ISP-cont...
96
Voted
DGO
2008
15 years 21 days ago
2008
This paper provides an interim report on ongoing data collection and analysis efforts as part of a large-scale study of information technology- focused interagency collaborations ...