Sciweavers

1737 search results - page 215 / 348
» On Interpolation in Existence Logics
Sort
View
FPL
2003
Springer
95views Hardware» more  FPL 2003»
15 years 11 months ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari
GI
2003
Springer
15 years 11 months ago
Policy Based Management for Critical Infrastructure Protection
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...
Gwendal Le Grand, Franck Springinsfeld, Michel Rig...
IICS
2003
Springer
15 years 11 months ago
Aggregation Transformation of XML Schemas to Object-Relational Databases
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML sees as a dat...
Nathalia Devina Widjaya, David Taniar, J. Wenny Ra...
DATE
2010
IEEE
156views Hardware» more  DATE 2010»
15 years 11 months ago
Spintronic memristor devices and application
—Spintronic memristor devices based upon spin torque induced magnetization motion are presented and potential application examples are given. The structure and material of these ...
Xiaobin Wang, Yiran Chen
DATE
2010
IEEE
145views Hardware» more  DATE 2010»
15 years 11 months ago
An evaluation of a slice fault aware tool chain
Abstract—As FPGA sizes and densities grow, their manufacturing yields decrease. This work looks toward reclaiming some of this lost yield. Several previous works have suggested f...
Adwait Gupte, Phillip Jones