635 search results - page 96 / 127 » Path Optimization in Programs and Its Application to Debuggi... |
132
click to vote
COOTS
1998
15 years 3 months ago
1998
The Java programming language has gained substantial popularity in the past two years. Java's networking features, along with the growing number of Web browsers that execute J...
123
click to vote
ENTCS
2006
15 years 2 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
116
Voted
CC
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
126
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
We consider complex scheduling problems that can be captured as optimization under hard and soft constraints. The objective of such an optimization problem is to satisfy as many h...
100
click to vote
OOPSLA
1997
Springer
15 years 6 months ago
1997
Springer
Class libraries are generally designed with an emphasis on versatility and extensibility. Applications that use a library typically exercise only part of the library’s functiona...