2278 search results - page 190 / 456 » Specification Techniques for Automatic Performance Analysis ... |
177
click to vote
FMOODS
2003
15 years 7 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
185
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
192
click to vote
EMSOFT
2005
Springer
16 years 14 hour ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
174
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
160
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
State-of-the-art automatic reliability analyses as used in system-level design approaches mainly rely on Binary Decision Diagrams (BDDs) and, thus, face two serious problems: (1) ...