224 search results - page 7 / 45 » Model-based runtime analysis of distributed reactive systems |
159
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
168
click to vote
APN
2000
Springer
15 years 8 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
159
Voted
UML
2004
Springer
15 years 10 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
164
click to vote
ASWSD
2004
Springer
15 years 10 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
176
Voted
ASPLOS
1996
ACM
15 years 9 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...