13101 search results - page 137 / 2621 » The design and implementation of microdrivers |
DSD
2002
IEEE
15 years 2 months ago
2002
IEEE
The Complex Streamed Instruction (CSI) set is an instruction set extension targeted at multimedia applications. CSI instructions process two-dimensional data streams stored in mem...
106
click to vote
TACAS
2001
Springer
15 years 2 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
DSN
2000
IEEE
15 years 2 months ago
2000
IEEE
Distributed applications should be able to make use of an object group service in a number of application specific ways. Three main modes of interactions can be identified: (i) re...
CCS
2000
ACM
15 years 2 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...
TECS
2002
14 years 9 months ago
2002
les to further raise the abstraction level of the initial specification, where dynamic data sets can be specified without low-level details. Our method is suited for hardware and s...