10848 search results - page 270 / 2170 » Programming in Biomolecular Computation |
177
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
177
click to vote
CIE
2009
Springer
16 years 15 days ago
2009
Springer
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
152
click to vote
ICLP
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
176
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
133
click to vote
EUROPAR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...