2814 search results - page 559 / 563 » Can We Make Operating Systems Reliable and Secure |
179
click to vote
FPGA
2010
ACM
15 years 4 months ago
2010
ACM
We use reconfigurable hardware to construct a high throughput Bayesian computing machine (BCM) capable of evaluating probabilistic networks with arbitrary DAG (directed acyclic gr...
150
click to vote
LOGCOM
2010
14 years 11 months ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
157
click to vote
MOBICOM
2004
ACM
15 years 9 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eï...
127
click to vote
NOSSDAV
2004
Springer
15 years 9 months ago
2004
Springer
Despite many years of research, fair queuing still faces a number of implementation challenges in high speed routers. In particular, in spite of proposals such as DiffServ, the st...
132
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In most cases safety stock is determined based on the variability of the demand and lead time. The focus has been on the statistics and past performance, and the existing framewor...