831 search results - page 138 / 167 » Parallel error correcting codes |
OSDI
2008
ACM
16 years 25 days ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
115
click to vote
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
— A very promising way to achieve high spectral efficiency in wireless communication is the use of multiple transmit and receive antennas. However, in combination with multicarr...
126
click to vote
MICRO
2006
IEEE
15 years 15 days ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
135
Voted
DCOSS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
106
Voted
ECBS
2006
IEEE
15 years 6 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...