Sciweavers

3134 search results - page 13 / 627
» simulation 2010
Sort
View
SPRINGSIM
2010
15 years 1 months ago
SFS3: a simulation framework for self-stabilizing systems
Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srim...
129
Voted
QEST
2010
IEEE
15 years 1 months ago
Compositional Verification of Probabilistic Systems Using Learning
Lu Feng, Marta Z. Kwiatkowska, David Parker
SPRINGSIM
2010
15 years 1 months ago
210 King Street: a dataset for integrated performance assessment
Ramtin Attar, Venk Prabhu, Michael Glueck, Azam Kh...
PATMOS
2010
Springer
15 years 1 months ago
Clock Network Synthesis with Concurrent Gate Insertion
Jingwei Lu, Wing-Kai Chow, Chiu-Wing Sham