3889 search results - page 324 / 778 » The Use of Program Dependence Graphs in Software Engineering |
133
Voted
ICSM
1999
IEEE
15 years 9 months ago
1999
IEEE
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
141
Voted
SIGSOFT
1994
ACM
15 years 9 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
143
Voted
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...
123
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
244
click to vote
TCAD
2011
15 years 2 hour ago
2011
Abstract—This work introduces GRIP, a global routing technique via integer programming. GRIP optimizes wirelength and via cost directly without going through a traditional layer ...