1691 search results - page 311 / 339 » Designing communication strategies for heterogeneous paralle... |
104
Voted
PODC
2004
ACM
15 years 7 months ago
2004
ACM
We establish a new worst-case upper bound on the Membership problem: We present a simple algorithm that is able to always achieve Agreement on Views within a single message latenc...
105
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
89
Voted
CLUSTER
2007
IEEE
15 years 8 months ago
2007
IEEE
-Jul 2 - Santa Clara Conv Ctr - abstracts by 4/30 Asilomar Conference on Signals, Systems, and Computers due by June 1 [more] - Nov 1-4, 2009 - Asilomar Conf Grounds, Pacific Grove...
204
click to vote
ICCAD
2003
IEEE
15 years 7 months ago
2003
IEEE
While performance, area, and power constraints have been the driving force in designing current communication-enabled embedded systems, post-fabrication and run-time adaptability ...
105
Voted
ISSS
1998
IEEE
15 years 6 months ago
1998
IEEE
Designing a cost effective superscalar architecture for x86 compatible microprocessors is a challenging task in terms of both technical difficulty and commercial value. One of the...