505 search results - page 49 / 101 » Implementation of Belief Change Operators Using BDDs |
73
Voted
ICCAD
2002
IEEE
15 years 2 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
110
click to vote
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
—Many emerging information processing applications require applying various fork and join type operations such as correlation, aggregation, and encoding/decoding to data streams ...
80
Voted
EUROSYS
2010
ACM
15 years 2 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
USENIX
2003
14 years 11 months ago
2003
We present the design and implementation of PLACE, a gray-box library for controlling file layout on top of FFSlike file systems. PLACE exploits its knowledge of FFS layout poli...
108
click to vote
ASC
2004
14 years 9 months ago
2004
This paper proposes the applications of soft computing to deal with the constraints in conventional modelling techniques of the dynamic extrusion process. The proposed technique i...