3546 search results - page 572 / 710 » A Causal Logic of Logic Programming |
154
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
163
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
243
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
167
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...
169
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...