Sciweavers

3239 search results - page 493 / 648
» A Logical Process Calculus
Sort
View
FPL
2003
Springer
95views Hardware» more  FPL 2003»
15 years 8 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
GCC
2003
Springer
15 years 8 months ago
An Engineering Computation Oriented Visual Grid Framework
Grid computing technology is a focused field in high performance computing. This paper describes an engineering computation oriented visual grid framework VGrid, which is capable t...
Guiyi Wei, Yao Zheng, Jifa Zhang, Guanghua Song
112
Voted
DATE
2010
IEEE
141views Hardware» more  DATE 2010»
15 years 8 months ago
Carbon nanotube circuits: Living with imperfections and variations
Carbon Nanotube Field-Effect Transistors (CNFETs) can potentially provide significant energy-delay-product benefits compared to silicon CMOS. However, CNFET circuits are subject t...
Jie Zhang, Nishant Patil, Albert Lin, H.-S. Philip...
APCCAS
2002
IEEE
92views Hardware» more  APCCAS 2002»
15 years 8 months ago
A cellular-automaton-type image extraction algorithm and its implementation using an FPGA
This paper proposes a new region extraction algorithm based on cellular automaton operation, which only utilizes the region boundary information of the image. A simple pixel circu...
Teppei Nakano, Takashi Morie, Makoto Nagata, Atsus...
134
Voted
VTS
2002
IEEE
101views Hardware» more  VTS 2002»
15 years 8 months ago
Speeding Up The Byzantine Fault Diagnosis Using Symbolic Simulation
Fault diagnosis is to predict the potential fault sites in a logic IC. In this paper, we particularly address the problem of diagnosing faults that exhibit the so-called Byzantine...
Shi-Yu Huang