Sciweavers

136 search results - page 11 / 28
» Advanced Uses for Micro Saint Simulation Software
Sort
View
MICRO
2003
IEEE
125views Hardware» more  MICRO 2003»
14 years 23 days ago
Runtime Power Monitoring in High-End Processors: Methodology and Empirical Data
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
Canturk Isci, Margaret Martonosi
WSC
2007
13 years 9 months ago
ExtendSim 7
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
David Krahl
BIBE
2007
IEEE
110views Bioinformatics» more  BIBE 2007»
14 years 1 months ago
Toward Petascale Simulation of Cellular Microphysiology
Abstract-MCell is a Monte Carlo simulator of cell microphysiology, and the scalable variant can be used to study challenging problems of interest to the biological community. MCell...
Scott B. Baden, Terrence J. Sejnowski, Thomas M. B...
DAC
1996
ACM
13 years 11 months ago
Power Estimation of Cell-Based CMOS Circuits
PPP is a Web-based simulation and synthesis environment for low-power design. In this paper we describe the gate-level simulation engine of PPP, that achieves accuracy always with...
Alessandro Bogliolo, Luca Benini, Bruno Ricc&ograv...
FASE
2006
Springer
13 years 11 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo