Search Sciweavers | Sciweavers

12131 search results - page 546 / 2427

» Introduction to Modeling and Simulation

167

click to vote

QEST
2006
IEEE

77views Modeling and Simulation» more QEST 2006»

PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors

16 years 1 months ago

Download www.ics.forth.gr

Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, C...

claim paper

Read More »

180

click to vote

QEST
2005
IEEE

109views Modeling and Simulation» more QEST 2005»

Formal Executable Descriptions of Biological Systems

16 years 1 months ago

Download www.nettab.org

Michele Curti, Davide Prandi, Linda Brodo

claim paper

Read More »

170

click to vote

QEST
2005
IEEE

96views Modeling and Simulation» more QEST 2005»

VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems

16 years 1 months ago

Download osl.cs.uiuc.edu

Koushik Sen, Mahesh Viswanathan, Gul A. Agha

claim paper

Read More »

179

click to vote

QEST
2005
IEEE

86views Modeling and Simulation» more QEST 2005»

A Software Performance Engineering Tool based on the UML-SPT

16 years 1 months ago

Download webdiis.unizar.es

Elena Gómez-Martínez, José Me...

claim paper

Read More »

149

click to vote

PATMOS
2004
Springer

112views Modeling and Simulation» more PATMOS 2004»

Leakage Reduction at the Architectural Level and Its Application to 16 Bit Multiplier Architectures

16 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers