215 search results - page 3 / 43 » Algebraic simulations |
TVLSI
2008
13 years 7 months ago
2008
IANDC
2002
13 years 7 months ago
2002
LOGCOM
2002
13 years 7 months ago
2002
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
ISSRE
2003
IEEE
14 years 22 days ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...