4469 search results - page 172 / 894 » Dynamic Program Slicing |
135
click to vote
SC
2000
ACM
15 years 6 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
136
click to vote
SC
2000
ACM
15 years 6 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
171
click to vote
ECOOP
1991
Springer
15 years 5 months ago
1991
Springer
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...
123
click to vote
EMSOFT
2010
Springer
15 years 4 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
140
click to vote
ASIAN
2009
Springer
14 years 12 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...