1681 search results - page 222 / 337 » Formal Design of Distributed Control Systems with Lustre |
SASO
2008
IEEE
15 years 4 months ago
2008
IEEE
Publish/subscribe (P/S) is a communication paradigm of growing popularity for information dissemination in largescale distributed systems. The strong decoupling between informatio...
106
click to vote
WDAG
2010
Springer
14 years 8 months ago
2010
Springer
Abstract: Due the multiplicity of loci of control, a main issue distributed systems have to cope with lies in the uncertainty on the system state created by the adversaries that ar...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
117
click to vote
HPDC
2005
IEEE
15 years 3 months ago
2005
IEEE
Scheduling strategies for parallel and distributed computing have mostly been oriented toward performance, while striving to achieve some notion of fairness. With the increase in ...
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
—We consider a multiuser two-way relay network where multiple pairs of users communicate with their pre-assigned partners, using a common intermediate relay node, in a twophase c...