4426 search results - page 87 / 886 » Concurrent Constraint Programming |
140
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
136
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
162
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
113
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
The shift from single to multiple core architectures means that programmers must write concurrent, multithreaded programs in order to increase application performance. Unfortunate...
131
Voted
SEUS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...