2171 search results - page 129 / 435 » Cooperative Validation in Distributed Control Systems Design |
106
click to vote
IWSOS
2009
Springer
15 years 8 months ago
2009
Springer
We present a new distributed algorithm for creating and maintaining power-efficient topologies in a wireless network. The wireless nodes establish links to neighbouring nodes in a ...
134
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
113
click to vote
VTC
2010
IEEE
15 years 3 days ago
2010
IEEE
Abstract—This paper presents an Irregular Distributed Hybrid Concatenated Differential (Ir-DHCD) coding scheme contrived for the relayaided differential decode-and-forward (DDF) ...
130
Voted
BIOADIT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
140
click to vote
FM
1997
Springer
15 years 5 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...