578 search results - page 56 / 116 » Analysis of Programs with Exception-Handling Constructs |
CSMR
2008
IEEE
14 years 2 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...
IFIP
2007
Springer
14 years 1 months ago
2007
Springer
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
ICRA
1999
IEEE
13 years 12 months ago
1999
IEEE
We presentthe first configurationspacecomputationalgorithm for pairs of rigid parts that move along fixed spatial axes. The motivation is contactanalysisformechanical design of sp...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...