Sciweavers

11112 search results - page 106 / 2223
» Computing Stuttering Simulations
Sort
View
ICCSA
2003
Springer
14 years 2 months ago
Monte Carlo Simulation of Spin-Polarized Transport
Min Shen, Semion Saikin, Ming-C. Cheng, Vladimir P...
STACS
2001
Springer
14 years 1 months ago
2-Nested Simulation Is Not Finitely Equationally Axiomatizable
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
IPPS
2000
IEEE
14 years 1 months ago
An Open Framework for Real-Time Scheduling Simulation
Thorsten Kramp, Matthias Adrian, Rainer Koster