79 search results - page 4 / 16 » Verifying Reference Counting Implementations |
ECOOP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
IWMM
1992
Springer
13 years 10 months ago
1992
Springer
A purely functional le system has been built on top of pure Scheme. It provides persistent structures and massive storage expected of le systems, without explicit side-e ects like ...
ACSAC
2001
IEEE
13 years 10 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...
DATE
2009
IEEE
14 years 1 months ago
2009
IEEE
—Multiprocessor System on Chip (MPSoC) architecture is rapidly gaining momentum for modern embedded devices. The vulnerabilities in software on MPSoCs are often exploited to caus...
SIGCOMM
2009
ACM
14 years 23 days ago
2009
ACM
Many network applications have stringent end-to-end latency requirements, including VoIP and interactive video conferencing, automated trading, and high-performance computing—wh...