5090 search results - page 821 / 1018 » Constructing Strategies for Programming |
157
click to vote
NCA
2007
IEEE
16 years 24 days ago
2007
IEEE
Although database replication has been a standard feature in database management systems for a long time, third party solutions have been enjoying an increasing popularity. These ...
174
click to vote
TASE
2007
IEEE
16 years 24 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
163
click to vote
APPT
2007
Springer
16 years 21 days ago
2007
Springer
It is a great challenge to map network processing tasks to processing resources of advanced network processors, which are heterogeneous and multi-threading multiprocessor System-on...
141
click to vote
CP
2007
Springer
16 years 21 days ago
2007
Springer
Ordering heuristics are a powerful tool in CSP search algorithms. Among the most successful ordering heuristics are heuristics which enforce a fail first strategy by using the mi...
163
click to vote
FROCOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...