Search Sciweavers | Sciweavers

25

SEFM
2005
IEEE

106views Software Engineering» more SEFM 2005»

Safe Concurrency for Aggregate Objects with Invariants

14 years 3 months ago

Developing safe multithreaded software systems is difﬁcult due to the potential unwanted interference among concurrent threads. This paper presents a ﬂexible methodology for o...

Bart Jacobs 0002, Frank Piessens, K. Rustan M. Lei...

claim paper

Read More »

36

click to vote

HPCA
2008
IEEE

159views Distributed And Parallel Com...» more HPCA 2008»

Thread-safe dynamic binary translation using transactional memory

14 years 10 months ago

Download csl.stanford.edu

Dynamic binary translation (DBT) is a runtime instrumentation technique commonly used to support profiling, optimization, secure execution, and bug detection tools for application...

JaeWoong Chung, Michael Dalton, Hari Kannan, Chris...

claim paper

Read More »

25

click to vote

PLDI
2003
ACM

140views Programming Languages» more PLDI 2003»

A type and effect system for atomicity

14 years 3 months ago

Download slang.soe.ucsc.edu

Ensuring the correctness of multithreaded programs is difﬁcult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...

Cormac Flanagan, Shaz Qadeer

claim paper

Read More »

33

click to vote

SPIN
2000
Springer

96views Theoretical Computer Science» more SPIN 2000»

Using Runtime Analysis to Guide Model Checking of Java Programs

14 years 1 months ago

Download spinroot.com

This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...

Klaus Havelund

claim paper

Read More »

24

click to vote

CVPR
2008
IEEE

170views Computer Vision» more CVPR 2008»

Learning object motion patterns for anomaly detection and improved object detection

14 years 4 months ago

Download eecs.ucf.edu

Arslan Basharat, Alexei Gritai, Mubarak Shah

claim paper