Sciweavers

11565 search results - page 224 / 2313
» Computing Minimal Mappings
Sort
View
LICS
2005
IEEE
15 years 10 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
193
Voted
EMMCVPR
2005
Springer
15 years 10 months ago
A New Implicit Method for Surface Segmentation by Minimal Paths: Applications in 3D Medical Images
Abstract. We introduce a novel implicit approach for single object segmentation in 3D images. The boundary surface of this object is assumed to contain two known curves (the constr...
Roberto Ardon, Laurent D. Cohen, Anthony J. Yezzi
ISLPED
2004
ACM
159views Hardware» more  ISLPED 2004»
15 years 10 months ago
Dynamic voltage scaling for systemwide energy minimization in real-time embedded systems
Traditionally, dynamic voltage scaling (DVS) techniques have focused on minimizing the processorenergy consumption as opposed to the entire system energy consumption. The slowdown...
Ravindra Jejurikar, Rajesh K. Gupta
DATE
2000
IEEE
114views Hardware» more  DATE 2000»
15 years 9 months ago
Automating RT-Level Operand Isolation to Minimize Power Consumption in Datapaths
Designs which do not fully utilize their arithmetic datapath components typically exhibit a significant overhead in power consumption. Whenever a module performs an operation who...
Michael Münch, Norbert Wehn, Bernd Wurth, Ren...
ICCAD
2000
IEEE
148views Hardware» more  ICCAD 2000»
15 years 9 months ago
FIR Filter Synthesis Algorithms for Minimizing the Delay and the Number of Adders
—As the complexity of digital filters is dominated by the number of multiplications, many works have focused on minimizing the complexity of multiplier blocks that compute the co...
Hyeong-Ju Kang, Hansoo Kim, In-Cheol Park