221 search results - page 11 / 45 » Design, runtime, and analysis of multi-agent systems |
DAC
2005
ACM
15 years 10 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
86
Voted
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
72
Voted
ENTCS
2006
14 years 9 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
168
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
LCPC
1997
Springer
15 years 1 months ago
1997
Springer
This paper describes an ongoing e ort supported by ARPA PCRC (Parallel Compiler Runtime Consortium) project. In particular, we discuess the design and implementation of an HPF com...