Search Sciweavers | Sciweavers

22588 search results - page 192 / 4518

» On simulation model complexity

118

click to vote

QEST
2010
IEEE

123views Modeling and Simulation» more QEST 2010»

From Systems to Components: Constructive Methods for Product-Form Solutions

15 years 1 months ago

Download www.doc.ic.ac.uk

Andrea Marin, Maria Grazia Vigliotti

claim paper

Read More »

109

click to vote

QEST
2010
IEEE

127views Modeling and Simulation» more QEST 2010»

p-Automata: New Foundations for Discrete-Time Probabilistic Verification

15 years 1 months ago

Download www.doc.ic.ac.uk

Michael Huth, Nir Piterman, Daniel Wagner

claim paper

Read More »

120

click to vote

SPRINGSIM
2010

139views Modeling And Simulation» more SPRINGSIM 2010»

Performance analysis of Cooley-Tukey FFT algorithms for a many-core architecture

15 years 1 months ago

Download www.capsl.udel.edu

Long Chen, Guang R. Gao

claim paper

Read More »

120

click to vote

SPRINGSIM
2010

125views Modeling And Simulation» more SPRINGSIM 2010»

UAV search strategies using Cell-DEVS

15 years 1 months ago

Download cell-devs.sce.carleton.ca

Keith Holman, Jeremy Kuzub, Gabriel A. Wainer

claim paper

Read More »

142

click to vote

SPRINGSIM
2010

152views Modeling And Simulation» more SPRINGSIM 2010»

Increased efficiency in finite element computations through template metaprogramming

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers