2488 search results - page 222 / 498 » Distributed Non-binary Constraints |
162
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
165
click to vote
VTC
2008
IEEE
16 years 24 days ago
2008
IEEE
—Multiuser orthogonal frequency division multiplexing (MU-OFDM) is a promising technique for future wide-area mobile communications, which can provide scalable high data rate tra...
155
Voted
CODES
2006
IEEE
16 years 15 days ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
151
click to vote
ISQED
2006
IEEE
16 years 14 days ago
2006
IEEE
Process variation has become a major concern in the design of many nanometer circuits, including interconnect pipelines. This paper develops closed-form models to predict the dela...
142
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...