4029 search results - page 572 / 806 » Reconfigurable Systems in Education |
176
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents one MEMS design tool with total six design flows, which makes it possible that the MEMS designers are able to choose the most suitable design flow for their sp...
168
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
For general memoryless systems, the typical information theoretic solution - when exists - has a "single-letter" form. This reflects the fact that optimum performance ca...
195
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention ...
232
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
191
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We present here a first prototype of a "Speed Limit Support" Advance Driving Assistance System (ADAS) producing permanent reliable information on the current speed limit...