967 search results - page 78 / 194 » Probabilistic Predicative Programming |
118
Voted
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
117
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
117
Voted
CC
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
127
Voted
DIS
2006
Springer
15 years 6 months ago
2006
Springer
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
110
Voted
ICLP
1991
Springer
15 years 6 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...