Sciweavers

12032 search results - page 281 / 2407
» Simulation of Manufacturing Systems
Sort
View
AIPR
2007
IEEE
16 years 1 months ago
Using a High-Fidelity Simulation Framework for Performance Singularity
A common way to evaluate the performance of a system is to compare the algorithmic outputs with ground truth to identify divergences in the system’s performance and discover the...
Chris Scrapper, Raj Madhavan, Stephen Balakirsky
ICSOC
2009
Springer
15 years 11 months ago
Services Inside the Smart Home: A Simulation and Visualization Tool
Abstract. Pervasive systems, and domotics in particular, is an application area where heterogeneity is the norm, with thousands of autonomous heterogeneous devices live together an...
Elena Lazovik, Piet den Dulk, Martijn de Groote, A...
FMCAD
2007
Springer
15 years 10 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 5 months ago
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
Guillaume Burel
WSC
1997
15 years 8 months ago
Long-Lasting Transient Conditions in Simulations with Heavy-Tailed Workloads
Recent evidence suggests that some characteristics of computer and telecommunications systems may be well described using heavy tailed distributions — distributions whose tail d...
Mark Crovella, Lester Lipsky