1342 search results - page 201 / 269 » Ordered Programs as Abductive Systems |
INAP
2001
Springer
14 years 1 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
CASES
2007
ACM
14 years 23 days ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...
VEE
2012
ACM
12 years 4 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
PPL
2011
12 years 11 months ago
2011
Petascale parallel computers with more than a million processing cores are expected to be available in a couple of years. Although MPI is the dominant programming interface today ...
ICDCS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...