514 search results - page 40 / 103 » Dependency Analysis of Ada Programs |
CLUSTER
2003
IEEE
14 years 1 months ago
2003
IEEE
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
CEC
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper studies the difference between Persistent Random Constants (PRC) and Digit Concatenation as methods for generating constants. It has been shown that certain problems hav...
SAC
2006
ACM
13 years 8 months ago
2006
ACM
In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object inst...
IPPS
1999
IEEE
14 years 24 days ago
1999
IEEE
Parallelizing compiler technology has improved in recent years. One area in which compilers have made progress is in handling DOACROSS loops, where crossprocessor data dependencie...
APLAS
2011
ACM
12 years 8 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...