1816 search results - page 292 / 364 » Trace oblivious computation |
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
SACMAT
2010
ACM
14 years 1 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
EUROPAR
2001
Springer
14 years 1 months ago
2001
Springer
Distributed-system observation tools require an efficient data structure to store and query the partial-order of execution. Such data structures typically use vector timestamps to...
ICPR
2000
IEEE
14 years 1 months ago
2000
IEEE
Methods for automatic detection of left ventricular endocardium in echocardiograms are required to quantitatively evaluate the functional performance of the left ventricle. This s...
SIGSOFT
1998
ACM
14 years 29 days ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...