Search Sciweavers | Sciweavers

12050 search results - page 28 / 2410

» Modeling and Simulation

Voted

QEST
2010
IEEE

123views Modeling and Simulation» more QEST 2010»

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

14 years 7 months ago

Download www.doc.ic.ac.uk

Andrea Marin, Maria Grazia Vigliotti

claim paper

Read More »

Voted

QEST
2010
IEEE

127views Modeling and Simulation» more QEST 2010»

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

14 years 7 months ago

Download www.doc.ic.ac.uk

Michael Huth, Nir Piterman, Daniel Wagner

claim paper

Read More »

click to vote

SPRINGSIM
2010

139views Modeling And Simulation» more SPRINGSIM 2010»

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

14 years 7 months ago

Download www.capsl.udel.edu

Long Chen, Guang R. Gao

claim paper

Read More »

click to vote

SPRINGSIM
2010

125views Modeling And Simulation» more SPRINGSIM 2010»

UAV search strategies using Cell-DEVS

14 years 7 months ago

Download cell-devs.sce.carleton.ca

Keith Holman, Jeremy Kuzub, Gabriel A. Wainer

claim paper

Read More »

click to vote

SPRINGSIM
2010

152views Modeling And Simulation» more SPRINGSIM 2010»

Increased efficiency in finite element computations through template metaprogramming

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers