3820 search results - page 387 / 764 » Bounded Model Debugging |
155
click to vote
CDC
2008
IEEE
16 years 1 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 ...
234
click to vote
ICQNM
2008
IEEE
16 years 1 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...
162
click to vote
ASPDAC
2004
ACM
16 years 6 days 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...
147
click to vote
WAOA
2004
Springer
16 years 3 days 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...
137
click to vote
GRAPHITE
2003
ACM
16 years 1 days 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...