345 search results - page 4 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
164
click to vote
HASKELL
2007
ACM
15 years 10 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...
162
click to vote
OOPSLA
2010
Springer
15 years 4 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 ...
156
Voted
VMCAI
2009
Springer
16 years 1 months 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 ...
206
click to vote
ICVS
2001
Springer
15 years 10 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...
120
Voted
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
