403 search results - page 46 / 81 » Bits through ARQs |
166
click to vote
GLVLSI
1998
IEEE
15 years 9 months ago
1998
IEEE
In this research, we devised a new simple technique for statically holding analog weights, which does not require periodic refreshing. It further contains a mechanism to locally u...
166
click to vote
CAV
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
151
click to vote
NSDI
2007
15 years 7 months ago
2007
Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sou...
152
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract-- We consider the problem of two transmitters wishing to exchange information through a relay in the middle. The channels between the transmitters and the relay are assume...
183
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: The SYMBIOmatics Specific Support Action (SSA) is "an information gathering and dissemination activity" that seeks "to identify synergies between the bi...