10848 search results - page 352 / 2170 » Programming in Biomolecular Computation |
253
Voted
PLDI
2004
ACM
16 years 29 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
191
Voted
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
190
click to vote
AIIA
2007
Springer
16 years 1 months ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
213
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
196
click to vote
GI
2009
Springer
16 years 4 days ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...