2187 search results - page 396 / 438 » Performance analysis of distributed embedded systems |
206
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
112
click to vote
HASE
2002
IEEE
15 years 8 months ago
2002
IEEE
Web services received significant attention recently and several important web service platforms such as .NET are now available. The testing and evaluation of web services are imp...
131
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
130
click to vote
SIMUTOOLS
2008
15 years 4 months ago
2008
The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and ot...
129
Voted
JNW
2007
15 years 3 months ago
2007
— This paper presents a fail-safe platform on which cooperative mobile robots rely for their motion. The platform consists of a collision prevention protocol for a dynamic group ...