277 search results - page 8 / 56 » Timing-Sensitive Information Flow Analysis for Synchronous S... |
85
Voted
ACSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
LATIN
2004
Springer
15 years 2 months ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
100
click to vote
ASIAN
2009
Springer
14 years 7 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 ...
85
Voted
SPAA
2006
ACM
15 years 3 months ago
2006
ACM
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
CC
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...