3820 search results - page 387 / 764 » Bounded Model Debugging |
111
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
176
click to vote
ICQNM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Biological processes, and in particular DNA hybridization, offer the potential to form the basis for the assembly of devices at micro- and nano-scales. Our aim is to im...
122
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
Abstract—The dynamic power consumed by a digital CMOS circuit is directly proportional to capacitance. In this paper, we consider pre-routing capacitance estimation for FPGAs and...
117
click to vote
WAOA
2004
Springer
15 years 9 months ago
2004
Springer
Borodin, Nielsen and Rackoff [5] proposed a framework for ing the main properties of greedy-like algorithms with emphasis on scheduling problems, and Davis and Impagliazzo [6] ext...
105
click to vote
GRAPHITE
2003
ACM
15 years 9 months ago
2003
ACM
When working on fitting leaf surfaces for use with virtual plant models [Room et al. 1996] we encountered the unsatisfactory situation of receiving a smooth surface model that is...