1809 search results - page 87 / 362 » Using GDE in Educational Systems |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Dynamic observers can switch sensors on or off, thus ...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We consider a distributed source coding system in which several observations must be encoded separately and communicated to the decoder by using limited transmission rate. We intro...
CORR
2000
Springer
14 years 10 months ago
2000
Springer
Finite-state morphology in the general tradition of the Two-Level and Xerox implementations has proved very successful in the production of robust morphological analyzer-generator...
SIGCSE
1998
ACM
14 years 9 months ago
1998
ACM
This paper describes our use of a 1970's era PDP-11/10 to support an hour long module which we have incorporated into our computer organization course for the past few semest...