Sciweavers

1810 search results - page 106 / 362
» Informational Macrodynamics: System Modelling and Simulation...
Sort
View
WSC
2004
15 years 5 months ago
Capacity Analysis of Automated Material Handling Systems in Semiconductor Fabs
A critical aspect of semiconductor manufacturing is the design and analysis of material handling and production control polices to optimize fab performance. As wafer sizes have in...
Michael E. Kuhl, Julie Christopher
125
Voted
FMCAD
2009
Springer
15 years 7 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
126
Voted
HICSS
2005
IEEE
146views Biometrics» more  HICSS 2005»
15 years 9 months ago
Maintaining Continuous Dependability in Sensor-Based Context-Aware Pervasive Computing Systems
Sensors are often indicative of events of interest, or events which a system should be aware of and should react to. In particular, such indications may reflect unsteadiness or in...
Amir Padovitz, Arkady B. Zaslavsky, Seng Wai Loke,...
INFOCOM
2003
IEEE
15 years 8 months ago
Modeling Malware Spreading Dynamics
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
Michele Garetto, Weibo Gong, Donald F. Towsley
120
Voted
DATE
2008
IEEE
116views Hardware» more  DATE 2008»
15 years 10 months ago
A Virtual Prototype for Bluetooth over Ultra Wide Band System Level Design
The industry is merging two different Wireless Personal Area Networks (WPAN) technologies: Bluetooth (BT) and WiMedia Ultra Wide Band (UWB), into a single BT over UWB (BToUWB) spe...
Alexandre Lewicki, Javier del Prado Pavon, Jacky T...