Sciweavers

5775 search results - page 72 / 1155
» A Rationale-based Analysis Tool
Sort
View
EURODAC
1995
IEEE
116views VHDL» more  EURODAC 1995»
15 years 3 months ago
An improved relaxation approach for mixed system analysis with several simulation tools
: This paper introduces a modified relaxation approach that allows to improve the convergence of iterations while analyzing mixed systems with different simulators. The method redu...
Vladimir B. Dmitriev-Zdorov, Bernhard Klaassen
LCTRTS
1995
Springer
15 years 3 months ago
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
WSC
2008
15 years 2 months ago
Simulation as a tool for life cycle cost analysis
Life cycle cost is an essential approach to decide on alternative rehabilitation strategies for infrastructure systems. Monte Carlo simulation approach is used to develop a stocha...
Khaled Shahata, Tarek Zayed
CG
2008
Springer
15 years 1 months ago
GTQ: A Language and Tool for Game-Tree Analysis
Jónheiður Ísleifsdóttir, ...