3708 search results - page 519 / 742 » Programming with C Exceptions |
214
click to vote
NMR
2004
Springer
16 years 12 days ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
199
Voted
SEKE
2004
Springer
16 years 11 days ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
189
Voted
TACAS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
195
Voted
CGO
2003
IEEE
16 years 10 days ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...
174
click to vote
CSB
2003
IEEE
16 years 10 days ago
2003
IEEE
The problem addressed by this paper is accurate and automatic gene annotation following precise identification/annotation of exon and intron boundaries of biologically verified ...