2974 search results - page 364 / 595 » Model-Driven Constraint Programming |
133
click to vote
ASPLOS
2006
ACM
16 years 16 days ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
201
click to vote
SSD
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Evacuation planning is critical for numerous important applications, e.g. disaster emergency management and homeland defense preparation. Efficient tools are needed to pr...
183
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
169
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
162
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...