7961 search results - page 159 / 1593 » Input-Output Model Programs |
109
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
118
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
131
click to vote
PDP
1997
IEEE
15 years 7 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
136
click to vote
LOPSTR
1994
Springer
15 years 7 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
141
click to vote
CP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...