4029 search results - page 510 / 806 » Reconfigurable Systems in Education |
214
click to vote
TEDU
2010
15 years 5 months ago
2010
In training and gaming systems, distributed multimedia are often used, in which the basic content elements must be conveyed or presented in a synchronized order at synchronized mom...
204
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
206
click to vote
FECS
2010
15 years 5 months ago
2010
In this paper, we present a method to help teach computer architecture (or computer organization) by developing an in class system where the students, themselves, compile high-leve...
188
Voted
CORR
2009
Springer
15 years 5 months ago
2009
Springer
The minimal deterministic finite automaton is generally used to determine regular languages equality. Using Brzozowski's notion of derivative, Antimirov and Mosses proposed a...
183
click to vote
ERCIMDL
2009
Springer
15 years 5 months ago
2009
Springer
This paper presents a hybrid scavenger grid as an underlying hardware architecture for search services within digital libraries. The hybrid scavenger grid consists of both dedicate...