Title | ||
---|---|---|
Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation |
Abstract | ||
---|---|---|
Writing software for simulating, controlling or diagnosing real-world physical devices is non-trivial, as it requires encoding the complex interactions of device components and processes. Model-based computing is an approach to developing such software that employs multi-use declarative machine descriptions to derive information from which machine software can be constructed automatically. Specifically, we have been using this approach to develop code for scheduling reprographic machines. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/3-540-60299-2_39 | CP |
Keywords | Field | DocType |
model-based computing,concurrent constraint programming,model compilation,process model | Constraint satisfaction,Programming language,Programming paradigm,Computer science,Constraint programming,Inductive programming,Concurrent constraint logic programming,Software,Reactive programming,Constraint logic programming | Conference |
ISBN | Citations | PageRank |
3-540-60299-2 | 9 | 0.65 |
References | Authors | |
2 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Markus P. J. Fromherz | 1 | 804 | 57.86 |
Vijay A. Saraswat | 2 | 2446 | 178.27 |