3713 search results - page 570 / 743 » Constructing a Calculus of Programs |
75
Voted
HPDC
1993
IEEE
15 years 2 months ago
1993
IEEE
Wepresent an object-oriented framework for constructing parallel implementations of stencil algorithms. This framework simplifres the development process by encapsulating the comm...
ICRA
1993
IEEE
15 years 2 months ago
1993
IEEE
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...
127
click to vote
MFCS
1994
Springer
15 years 2 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
PNPM
1989
15 years 2 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
AINA
2007
IEEE
15 years 2 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...