433 search results - page 31 / 87 » Contracts: From Analysis to C Implementation |
ICNP
1998
IEEE
15 years 2 months ago
1998
IEEE
The Internet is rapidly changing from a set of wires and switches that carry packets into a sophisticated infrastructure that delivers a set of complex value-added services to end...
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
ICS
2007
Tsinghua U.
15 years 3 months ago
2007
Tsinghua U.
Building commodity networked storage systems is an important architectural trend; Commodity servers hosting a moderate number of consumer-grade disks and interconnected with a hig...
PEWASUN
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we present EDAT, a tool designed for the analysis of trace files from network simulations and experiments. The EDAT framework encapsulates analysis steps in extensib...
152
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...