484 search results - page 60 / 97 » Computer-Aided Computing |
CAV
2007
Springer
14 years 1 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
SMA
2008
ACM
13 years 7 months ago
2008
ACM
Quadrangular remeshing of triangulated surfaces has received an increasing attention in recent years. A particularly elegant approach is the extraction of quads from the streamlin...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
The wire length estimation is the bottleneck of packing based block placers. To cope with this problem, we present a fast wire length estimation method in this paper. The key idea...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
At runtime, an embedded control system can switch between alternative functional modes. In each mode, the system operates by using a schedule and controllers that exploit the avai...
DAC
2009
ACM
14 years 2 months ago
2009
ACM
With new technologies, temperature has become a major issue to be considered at system level design. Without taking temperature aspects into consideration, no approach to energy o...