50 search results - page 7 / 10 » Unifying type checking and property checking for low-level c... |
112
click to vote
TIT
2002
15 years 2 months ago
2002
Abstract-- This paper starts a systematic study of capacityachieving sequences of low-density parity-check codes for the erasure channel. We introduce a class Aof analytic function...
101
Voted
CSDA
2008
15 years 3 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
127
click to vote
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
131
click to vote
CL
2002
Springer
15 years 2 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
117
click to vote
ESOP
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...