4029 search results - page 355 / 806 » Reconfigurable Systems in Education |
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
189
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
178
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Biometrics is the science and technology of measuring and analyzing biological data of human body, extracting a feature set from the acquired data, and comparing this set against ...
210
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
168
click to vote
TIT
2010
15 years 1 months ago
2010
Arguably, the most prominent constrained system in storage applications is the (d; k)-run-length limited (RLL) system, where every binary sequence obeys the constraint that every t...