3914 search results - page 385 / 783 » Automating SLA modeling |
209
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
272
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
We propose a new multi-scale terrain model, based on a hierarchical representation for the morphology of a terrain. The basis of our morphological model is a dual Morse decomposit...
150
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Non-uniform temperature profiles along global interconnect lines in high-performance ICs can significantly impact the performance of these lines. This paper presents a detailed an...
160
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
136
Voted
DAC
2004
ACM
16 years 7 months ago
2004
ACM
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...