Sciweavers

1816 search results - page 98 / 364
» Case study in modeling and simulation validation methodology
Sort
View
IPPS
2006
IEEE
15 years 3 months ago
Performance analysis of stochastic process algebra models using stochastic simulation
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...
ISQED
2002
IEEE
105views Hardware» more  ISQED 2002»
15 years 2 months ago
Impact Analysis of Process Variability on Clock Skew
This paper presents a methodology for the statistical analysis of clock tree structures. It allows to accurately predict and analyze the impact of process variation on clock skew....
Enrico Malavasi, Stefano Zanella, Min Cao, Julian ...
WSC
2004
14 years 11 months ago
Fads and Fallacies in Asset Liability Management for Life Insurance
We shall examine the principles behind contemporary approaches to insurance risk management. Furthermore, we shall consider various methodologies, some successful, that have been ...
Graham Lord
ICCS
2007
Springer
15 years 4 months ago
A Realtime Observatory for Laboratory Simulation of Planetary Circulation
Abstract. We present a physical, laboratory-scale analog of large-scale atmospheric circulation and develop an observatory for it. By combining observations of a hydro-dynamically ...
Sai Ravela, John Marshall, Christopher Hill, Andre...
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 3 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...