4426 search results - page 265 / 886 » Concurrent Constraint Programming |
191
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
182
click to vote
PPOPP
2006
ACM
16 years 16 days ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
161
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
161
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
177
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the proble...