14244 search results - page 563 / 2849 » Modeling Program Predictability |
153
Voted
PACT
1997
Springer
15 years 10 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
174
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
169
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
186
click to vote
FLAIRS
2007
15 years 8 months ago
2007
The desire to predict power generation at a given point in time is essential to power scheduling, energy trading, and availability modeling. The research conducted within is conce...
187
click to vote
LOPSTR
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...