Sciweavers

170 search results - page 6 / 34
» Constructing Small-Bias Sets from Algebraic-Geometric Codes
Sort
View
COMBINATORICS
2002
83views more  COMBINATORICS 2002»
14 years 11 months ago
Identifying Codes with Small Radius in Some Infinite Regular Graphs
Let G = (V, E) be a connected undirected graph and S a subset of vertices. If for all vertices v V , the sets Br(v) S are all nonempty and different, where Br(v) denotes the set...
Irène Charon, Olivier Hudry, Antoine Lobste...
95
Voted
RTA
2005
Springer
15 years 5 months ago
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
Amy P. Felty
COMSIS
2010
14 years 9 months ago
Annotation based parser generator
Abstract--The paper presents innovative parser construction method and parser generator prototype which generates a computer language parser from a set of annotated classes in cont...
Jaroslav Porubän, Michal Forgac, Miroslav Sab...
COOTS
1997
15 years 1 months ago
MiSFIT: A Tool for Constructing Safe Extensible C++ Systems
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
Christopher Small
CNSR
2005
IEEE
15 years 1 months ago
An Integrated Error Control and Constrained Sequence Code Based on Multimode Coding
We present a method of integrating constrained sequence (CS) and error control (EC) codes for digital communication systems. This technique is based on multimode coding where a si...
A. Hughes, I. J. Fair