4426 search results - page 26 / 886 » Concurrent Constraint Programming |
130
click to vote
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of...
147
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
111
click to vote
CP
1998
Springer
15 years 6 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
124
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...
130
click to vote
HASKELL
2007
ACM
15 years 6 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...