68 search results - page 11 / 14 » Self-Calibrating Clocks for Globally Asynchronous Locally Sy... |
168
click to vote
TCAD
2008
15 years 5 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
173
click to vote
INTERNET
2006
15 years 5 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
156
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We present a new polynomial-space algorithm, called Adopt, for distributed constraint optimization (DCOP). DCOP is able to model a large class of collaboration problems in multi-a...
167
click to vote
CDC
2008
IEEE
16 years 5 days ago
2008
IEEE
In this paper we consider Loosely Time-Triggered Architectures (LTTA) as a networked infrastructure for deploying discrete control. LTTA are distributed architectures in which 1/ ...
197
click to vote
MOBICOM
2009
ACM
16 years 6 days ago
2009
ACM
Establishing a control channel for medium access control is a challenging problem in multi-channel and dynamic spectrum access (DSA) networks. In the design of multi-channel MAC p...