391 search results - page 18 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
113
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
133
Voted
CL
2010
Springer
15 years 20 days ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
91
Voted
PQCRYPTO
2010
15 years 4 months ago
2010
The best known non-structural attacks against code-based cryptosystems are based on information-set decoding. Stern’s algorithm and its improvements are well optimized and the co...
130
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Network coding is emerging as a promising alternative to traditional content distribution approaches in P2P networks. By allowing information mixture in peers, it simpli...
164
click to vote
TMC
2012
13 years 3 months ago
2012
—We investigate the following fundamental question—how fast can information be collected from a wireless sensor network organized as tree? To address this, we explore and evalu...