13101 search results - page 2531 / 2621 » The design and implementation of microdrivers |
153
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
210
click to vote
EUROCRYPT
2008
Springer
15 years 7 months ago
2008
Springer
Recently, Aumann and Lindell introduced a new realistic security model for secure computation, namely, security against covert adversaries. The main motivation was to obtain secure...
171
click to vote
FPGA
2008
ACM
15 years 7 months ago
2008
ACM
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
161
click to vote
DATESO
2007
15 years 7 months ago
2007
Authors are looking within their research grant new original web local search algorithm respecting specifics of Czech national environment. We would like to initiate further debate...
166
click to vote
DGO
2008
15 years 7 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...