Sciweavers

510 search results - page 85 / 102
» An Algebraic Framework for Urgency
Sort
View
FPGA
2007
ACM
185views FPGA» more  FPGA 2007»
16 years 9 days ago
Power-aware FPGA logic synthesis using binary decision diagrams
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
Kevin Oo Tinmaung, David Howland, Russell Tessier
PKDD
2007
Springer
102views Data Mining» more  PKDD 2007»
16 years 8 days ago
Towards Data Mining Without Information on Knowledge Structure
Most knowledge discovery processes are biased since some part of the knowledge structure must be given before extraction. We propose a framework that avoids this bias by supporting...
Alexandre Vautier, Marie-Odile Cordier, Rene Quini...
DATE
2005
IEEE
153views Hardware» more  DATE 2005»
15 years 11 months ago
Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on ...
Smita Krishnaswamy, George F. Viamontes, Igor L. M...
BIRTHDAY
2005
Springer
15 years 11 months ago
Compiled Labelled Deductive Systems for Access Control
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
Krysia Broda, Alessandra Russo
ADBIS
2004
Springer
124views Database» more  ADBIS 2004»
15 years 11 months ago
Vague Spatial Data Types, Set Operations, and Predicates
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague n...
Alejandro Pauly, Markus Schneider