595 search results - page 31 / 119 » Lightweight Static Capabilities |
167
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
179
click to vote
ECRTS
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Energy and thermal considerations are increasingly driving system designers to adopt multi-core processors. In this paper, we consider the problem of scheduling periodic ...
178
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
174
click to vote
LICS
2008
IEEE
16 years 11 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
169
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper¢ presents an authorization framework for supporting fine-grained access control policies enhanced with light-weight intrusion/misuse detectors and response capabiliti...