8413 search results - page 1605 / 1683 » Ordering Problem Subgoals |
195
click to vote
STOC
1997
ACM
15 years 7 months ago
1997
ACM
We present randomized constructions of linear-time encodable and decodable codes that can transmit over lossy channels at rates extremely close to capacity. The encoding and decod...
108
Voted
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
135
click to vote
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
126
click to vote
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
When a performance crisis occurs in a datacenter, rapid recovery requires quickly recognizing whether a similar incident occurred before, in which case a known remedy may apply, o...
144
click to vote
ICS
2010
Tsinghua U.
15 years 7 months ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...