Search Sciweavers | Sciweavers

9698 search results - page 58 / 1940

» models 2010

162

click to vote

QEST
2010
IEEE

170views Modeling and Simulation» more QEST 2010»

Compositional Verification of Probabilistic Systems Using Learning

15 years 4 months ago

Download www.prismmodelchecker.org

Lu Feng, Marta Z. Kwiatkowska, David Parker

claim paper

Read More »

133

click to vote

SPRINGSIM
2010

150views Modeling And Simulation» more SPRINGSIM 2010»

210 King Street: a dataset for integrated performance assessment

15 years 4 months ago

Download www.autodeskresearch.com

Ramtin Attar, Venk Prabhu, Michael Glueck, Azam Kh...

claim paper

Read More »

164

click to vote

PATMOS
2010
Springer

225views Modeling and Simulation» more PATMOS 2010»

Clock Network Synthesis with Concurrent Gate Insertion

15 years 4 months ago

Download patmos2010.imag.fr

Jingwei Lu, Wing-Kai Chow, Chiu-Wing Sham

claim paper

Read More »

151

click to vote

PATMOS
2010
Springer

133views Modeling and Simulation» more PATMOS 2010»

A Power-Aware Online Scheduling Algorithm for Streaming Applications in Embedded MPSoC

15 years 4 months ago

Download patmos2010.imag.fr

Tanguy Sassolas, Nicolas Ventroux, Nassima Boudoua...

claim paper

Read More »

135

click to vote

SPRINGSIM
2010

167views Modeling And Simulation» more SPRINGSIM 2010»

Application of RT-DEVS in military

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers