12272 search results - page 443 / 2455 » Experimental program analysis |
168
click to vote
IRAL
2000
ACM
15 years 11 months ago
2000
ACM
We propose a method to create process flow graphs automatically from textbooks for cooking programs. This is realized by understanding context by narrowing down the domain to cook...
182
click to vote
IFIP
1999
Springer
15 years 11 months ago
1999
Springer
We want to understand organizational process as the temporal making of meanings, but our vocabulary for doing so is predominantly spatial. Some mistakes this has led to in my own ...
192
Voted
LCTRTS
1999
Springer
15 years 11 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
179
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
193
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...