89 search results - page 17 / 18 » Compiled Labelled Deductive Systems for Access Control |
137
Voted
ARCS
2009
Springer
15 years 10 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
156
Voted
LCTRTS
2007
Springer
15 years 9 months ago
2007
Springer
Set-associative caches are traditionally managed using hardwarebased lookup and replacement schemes that have high energy overheads. Ideally, the caching strategy should be tailor...
170
Voted
SIGSOFT
2006
ACM
15 years 9 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
158
Voted
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
144
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...