1880 search results - page 132 / 376 » A Static Analysis for Beta-Binders |
177
Voted
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose a novel approach for activity analysis in multiple synchronized but uncalibrated static camera views. We assume that the topology of camera views is unknown and quite a...
189
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
179
click to vote
ACSAC
2007
IEEE
16 years 18 days 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 ...
149
Voted
SAS
2007
Springer
16 years 11 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
151
click to vote
ISQED
2006
IEEE
16 years 8 days ago
2006
IEEE
This paper is concerned with statically analyzing the susceptibility of arbitrary combinational circuits to single event upsets that are becoming a significant concern for reliabi...