Sciweavers

3457 search results - page 297 / 692
» A Symbol Is Not a Symbol
Sort
View
DSN
2007
IEEE
15 years 10 months ago
Determining Fault Tolerance of XOR-Based Erasure Codes Efficiently
We propose a new fault tolerance metric for XOR-based erasure codes: the minimal erasures list (MEL). A minimal erasure is a set of erasures that leads to irrecoverable data loss ...
Jay J. Wylie, Ram Swaminathan
CORR
2011
Springer
144views Education» more  CORR 2011»
15 years 1 months ago
Schema Redescription in Cellular Automata: Revisiting Emergence in Complex Systems
—We present a method to eliminate redundancy in the transition tables of Boolean automata: schema redescription with two symbols. One symbol is used to capture redundancy of indi...
Manuel Marques-Pita, Luis Mateus Rocha
EUROSYS
2010
ACM
16 years 3 months ago
Execution Synthesis: A Technique for Automated Software Debugging
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
Cristian Zamfir, George Candea
TIT
2002
99views more  TIT 2002»
15 years 6 months ago
Feedback strategies for white Gaussian interference networks
A white Gaussian interference network is a channel with transmitters and receivers where the received symbols are linear combinations of the transmitted symbols and white Gaussian ...
Gerhard Kramer
LICS
2010
IEEE
15 years 5 months ago
Addition-Invariant FO and Regularity
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
Nicole Schweikardt, Luc Segoufin