4426 search results - page 42 / 886 » Concurrent Constraint Programming |
103
click to vote
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...
119
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
91
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
104
Voted
CC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
96
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...