511 search results - page 56 / 103 » CCALoop: scalable design of a distributed component framewor... |
WETICE
2005
IEEE
15 years 3 months ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
82
Voted
CLUSTER
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a middleware framework for storing, accessing and analyzing massive-scale semantic graphs. The framework, MSSG, targets scale-free semantic graphs with O(1012 ...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
112
click to vote
SIGCOMM
2004
ACM
15 years 3 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
81
Voted
ATVA
2009
Springer
15 years 2 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...