4722 search results - page 511 / 945 » Representation-independent program analysis |
197
click to vote
HPCC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Tracing parallel programs to observe their performance introduces intrusion as the result of trace measurement overhead. If post-mortem trace analysis does not compensate...
203
click to vote
ESOP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
157
click to vote
NIME
2004
Springer
16 years 4 days ago
2004
Springer
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
215
click to vote
ICSM
2003
IEEE
16 years 1 days ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
179
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...