345 search results - page 4 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
HASKELL
2007
ACM
13 years 9 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
VMCAI
2009
Springer
14 years 3 days ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
ICVS
2001
Springer
13 years 9 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
