7430 search results - page 393 / 1486 » Programming Applications in CIFF |
169
Voted
CC
2005
Springer
16 years 7 days ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
182
Voted
LOPSTR
2004
Springer
16 years 3 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
175
Voted
PATAT
2004
Springer
16 years 3 days ago
2004
Springer
Timetabling problems have been frequently studied due to their wide range of applications. However, they are often solved manually because of the lack of appropriate computer tools...
194
click to vote
PEPM
2004
ACM
16 years 3 days ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
168
click to vote
ICPPW
2003
IEEE
16 years 1 days ago
2003
IEEE
Recent work in high-performance computing has shifted attention to PC clusters.. For PC-clusters, member nodes are independent computers connected by generalpurpose networks. The ...