5235 search results - page 653 / 1047 » Analysis of Multithreaded Programs |
166
click to vote
ISCA
2003
IEEE
16 years 3 days ago
2003
IEEE
In a single second a modern processor can execute billions of instructions. Obtaining a bird’s eye view of the behavior of a program at these speeds can be a difficult task whe...
157
click to vote
KBSE
2003
IEEE
16 years 2 days ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
192
click to vote
SCAM
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
176
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
216
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...