1027 search results - page 91 / 206 » Callgraph properties of executables |
101
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Optimal behavior is a very desirable property of autonomous agents and, as such, has received much attention over the years. However, making optimal decisions and executing optima...
113
Voted
SRDS
1999
IEEE
15 years 5 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
118
click to vote
ICECCS
1998
IEEE
15 years 5 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
110
Voted
IPPS
1996
IEEE
15 years 5 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
75
Voted
LCPC
1993
Springer
15 years 5 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...