Search Sciweavers | Sciweavers

12050 search results - page 28 / 2410

» Modeling and Simulation

114

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 21 days ago

Download www.doc.ic.ac.uk

Andrea Marin, Maria Grazia Vigliotti

claim paper

Read More »

104

click to vote

QEST
2010
IEEE

127views Modeling and Simulation» more QEST 2010»

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

15 years 21 days ago

Download www.doc.ic.ac.uk

Michael Huth, Nir Piterman, Daniel Wagner

claim paper

Read More »

116

Voted

SPRINGSIM
2010

139views Modeling And Simulation» more SPRINGSIM 2010»

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

15 years 21 days ago

Download www.capsl.udel.edu

Long Chen, Guang R. Gao

claim paper

Read More »

114

click to vote

SPRINGSIM
2010

125views Modeling And Simulation» more SPRINGSIM 2010»

UAV search strategies using Cell-DEVS

15 years 21 days ago

Download cell-devs.sce.carleton.ca

Keith Holman, Jeremy Kuzub, Gabriel A. Wainer

claim paper

Read More »

138

click to vote

SPRINGSIM
2010

152views Modeling And Simulation» more SPRINGSIM 2010»

Increased efficiency in finite element computations through template metaprogramming

15 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers