4451 search results - page 550 / 891 » On Random Ordering Constraints |
167
click to vote
CSCLP
2005
Springer
16 years 7 days ago
2005
Springer
CSP search algorithms are exponential in the worst-case. A trivial upper bound on the time complexity of CSP search algorithms is O∗ (dn ), where n and d are the number of variab...
135
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
168
click to vote
FROCOS
2005
Springer
16 years 7 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
150
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
165
click to vote
HPCC
2005
Springer
16 years 7 days ago
2005
Springer
Historically, high performance systems use schedulers and intelligent resource managers in order to optimize system usage and application performance. Most of the times, applicatio...