5235 search results - page 621 / 1047 » Analysis of Multithreaded Programs |
218
click to vote
IJISEC
2007
15 years 7 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
225
click to vote
MP
1998
15 years 7 months ago
1998
In the last 25 years approximation algorithms for discrete optimization problems have been in the center of research in the fields of mathematical programming and computer science...
238
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
235
click to vote
IWMM
2011
Springer
14 years 10 months ago
2011
Springer
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...
209
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...