4426 search results - page 349 / 886 » Concurrent Constraint Programming |
213
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
195
click to vote
CACM
2010
15 years 6 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
184
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
208
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
166
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...