1761 search results - page 27 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
CODES
1996
IEEE
13 years 12 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
WOSP
2004
ACM
14 years 1 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
PPSC
1989
13 years 8 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...