4426 search results - page 102 / 886 » Concurrent Constraint Programming |
187
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
167
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
146
Voted
POS
1998
Springer
15 years 8 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
121
Voted
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
125
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...