1138 search results - page 142 / 228 » Parallel Implementation of Constraint Solving |
174
click to vote
IPPS
2008
IEEE
16 years 21 days ago
2008
IEEE
High-performance microprocessors, e.g., multithreaded and multicore processors, are being implemented in embedded real-time systems because of the increasing computational require...
144
click to vote
HPDC
2007
IEEE
16 years 19 days ago
2007
IEEE
Large-scale donation-based distributed infrastructures need to cope with the inherent unreliability of participant nodes. A widely-used work scheduling technique in such environme...
165
click to vote
APLAS
2000
ACM
15 years 10 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
170
click to vote
ISSTA
2009
ACM
16 years 24 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
209
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
A wide variety of machine learning problems can be described as minimizing a regularized risk functional, with different algorithms using different notions of risk and different r...