Sciweavers

1663 search results - page 112 / 333
» Validation and Verification of Simulation Models
Sort
View
121
Voted
ISCA
2000
IEEE
111views Hardware» more  ISCA 2000»
15 years 8 months ago
HLS: combining statistical and symbolic simulation to guide microprocessor designs
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
Mark Oskin, Frederic T. Chong, Matthew K. Farrens
122
Voted
JILP
2002
83views more  JILP 2002»
15 years 3 months ago
Using Statistical and Symbolic Simulation for Microprocessor Performance Evaluation
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
Mark Oskin, Frederic T. Chong, Matthew K. Farrens
115
Voted
SMC
2007
IEEE
169views Control Systems» more  SMC 2007»
15 years 10 months ago
Simulated and experimental study of antilock braking system using grey sliding mode control
— Antilock Braking System (ABS) exhibits strongly nonlinear and uncertain characteristics. To overcome these difficulties, robust control methods should be employed. In this pap...
Yesim Oniz, Erdal Kayacan, Okyay Kaynak
ISPW
2006
IEEE
15 years 9 months ago
Simulating the Structural Evolution of Software
As functionality is added to an ageing piece of software, its original design and structure tends to erode. The underlying forces which cause such degradation have been the subject...
Benjamin Stopford, Steve Counsell
142
Voted
ICCS
2004
Springer
15 years 9 months ago
Agent-Based Simulation of Data-Driven Fire Propagation Dynamics
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
John Michopoulos, Panagiota Tsompanopoulou, Elias ...