2231 search results - page 20 / 447 » Alternation as a programming paradigm |
146
click to vote
PPL
2007
15 years 5 months ago
2007
In this paper, we present an program that enables the transformation of a nonterminating alternator into a terminating alternator. Our solution is stabilization preserving and has...
184
click to vote
IFIP
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
157
click to vote
ICCCN
2007
IEEE
16 years 9 days ago
2007
IEEE
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...
155
click to vote
FTDCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
155
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper discusses the impact of the hierarchical master-worker paradigm on performance of an application program, which solves an optimization problem by a parallel branch and ...