Sciweavers

798 search results - page 76 / 160
» Interval Methods: An Introduction
Sort
View
CPAIOR
2005
Springer
14 years 2 months ago
Filtering Algorithms for the NValue Constraint
Abstract. The NValue constraint counts the number of different values assigned to a vector of variables. Propagating generalized arc consistency on this constraint is NP-hard. We ...
Christian Bessière, Emmanuel Hebrard, Brahi...
ICCAD
2000
IEEE
135views Hardware» more  ICCAD 2000»
14 years 1 months ago
Power Optimization of Real-Time Embedded Systems on Variable Speed Processors
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
Youngsoo Shin, Kiyoung Choi, Takayasu Sakurai
PG
1998
IEEE
14 years 1 months ago
Modeling of Clouds from Satellite Images using Metaballs
This paper proposes an image-based modeling of clouds where realistic clouds are created from satellite images using metaballs. The intention of the paper is for applications to s...
Yoshinori Dobashi, Tomoyuki Nishita, Hideo Yamashi...
SRDS
1994
IEEE
14 years 1 months ago
Probabilistic Internal Clock Synchronization
We propose an improved probabilistic method for reading remote clocks in systems subject to unbounded communication delays and use this method to design a family of fault-tolerant...
Flaviu Cristian, Christof Fetzer
ASPDAC
2008
ACM
135views Hardware» more  ASPDAC 2008»
13 years 11 months ago
Analog circuit simulation using range arithmetics
The impact of parameter variations in integrated analog circuits is usually analyzed by Monte Carlo methods with a high number of simulation runs. Few approaches based on interval ...
Darius Grabowski, Markus Olbrich, Erich Barke