505 search results - page 35 / 101 » Implementation of Belief Change Operators Using BDDs |
110
click to vote
ISLPED
1997
ACM
15 years 6 months ago
1997
ACM
This paper presents the design of a low power spread spectrum correlator. We look at two major approaches and evaluate the best alternative for power reduction. We first consider...
ICCD
1992
IEEE
15 years 6 months ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
139
click to vote
RSP
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
OSDI
1994
ACM
15 years 3 months ago
1994
ACM
Structural changes, such as file creation and block allocation, have consistently been identified as file system performance problems in many user environments. We compare several...
112
click to vote
SKG
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...