2203 search results - page 61 / 441 » Temporal Abstract Interpretation |
123
click to vote
ASPDAC
1999
ACM
15 years 7 months ago
1999
ACM
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
111
click to vote
ESOP
1990
Springer
15 years 7 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
117
Voted
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
Abstract A (general) preferential entailment is defined by a “preference relation” among “states”. States can be either interpretations or sets of interpretations, or “c...
118
Voted
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
141
click to vote
BIOINFORMATICS
2012
13 years 5 months ago
2012
d Abstract) Leonid Chindelevitch1 , Daniel Ziemek1, , Ahmed Enayetallah2 , Ranjit Randhawa1 , Ben Sidders3 , Christoph Brockel4 , and Enoch Huang1 1 Computational Sciences Center o...