7430 search results - page 797 / 1486 » Programming Applications in CIFF |
214
click to vote
IFIP
2001
Springer
16 years 1 days ago
2001
Springer
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...
214
click to vote
LCTRTS
2001
Springer
16 years 1 days ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
180
click to vote
UM
2001
Springer
16 years 1 days ago
2001
Springer
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...
198
click to vote
UM
2001
Springer
16 years 1 days ago
2001
Springer
In this paper, we suggest an integrated architecture that makes use of the objective-technical information provided by the designer and the subjectiveperceptual information supplie...
228
click to vote
AADEBUG
2000
Springer
15 years 12 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...