2974 search results - page 364 / 595 » Model-Driven Constraint Programming |
146
Voted
ASPLOS
2006
ACM
16 years 1 months 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...
221
Voted
SSD
2005
Springer
16 years 15 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...
198
Voted
CC
2004
Springer
16 years 13 days 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) ...
188
Voted
ICLP
2004
Springer
16 years 12 days 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...
175
Voted
COMPSAC
2003
IEEE
16 years 10 days 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...