1485 search results - page 156 / 297 » Whole Program Paths |
135
click to vote
JSAC
2007
15 years 2 months ago
2007
Abstract— In this paper we consider the problem of provisioning spare capacity in two-layer backbone networks using shared backup path protection. First, two spare capacity alloc...
128
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
117
click to vote
SIGSOFT
1995
ACM
15 years 5 months ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
222
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
137
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...