489 search results - page 27 / 98 » Communication Complexity of Permutation-Invariant Functions |
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
70
Voted
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
—In this contribution we propose and investigate a transmitter preprocessing scheme designed for downlink transmission in multicarrier direct-sequence code-division multiple-acce...
ASAP
2005
IEEE
15 years 4 months ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...
CODES
2005
IEEE
15 years 4 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...