Sciweavers

11215 search results - page 506 / 2243
» Skeleton - Easy Simulation System
Sort
View
QEST
2010
IEEE
15 years 4 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
CF
2009
ACM
15 years 4 months ago
High accuracy failure injection in parallel and distributed systems using virtualization
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...
Thomas Hérault, Thomas Largillier, Sylvain ...
ICIP
2009
IEEE
15 years 4 months ago
Modeling of image shutters and motion blur in analog and digital camera systems
For motion imaging the perceived smoothness of a sequence highly depends on motion blur. The exposure for each frame is started and ended with a shutter mechanism. There are diffe...
Michael Schöberl, Siegfried Fößel,...
FDL
2007
IEEE
16 years 1 months ago
An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
Leran Wang, Chenxu Zhao, Tom J. Kazmierski
VTC
2006
IEEE
109views Communications» more  VTC 2006»
16 years 27 days ago
Evaluation of a Novel Low Complexity Smart Antenna for Wireless LAN Systems
— A novel smart antenna is described, which is conceived as a low complexity inexpensive upgrade for IEEE 802.11b/g Wireless Local Area Network (WLAN) systems. Using smart antenn...
Timothy J. Harrold, Dean C. Kemp, Mark A. Beach, C...