362 search results - page 45 / 73 » Mechanizing and Improving Dependency Pairs |
ICN
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. A PIM-SM-built multicast tree must be restructured/recovered when the underlying unicast routing tables change. In this article we describe the PIM-SM recovery mechanisms...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
ECOOPWEXCEPTION
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
IJCAI
2007
13 years 10 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
DKE
2006
13 years 8 months ago
2006
Density biased sampling (DBS) has been proposed to address the limitations of Uniform sampling, by producing the desired probability distribution in the sample. The ease of produc...