Sciweavers

502 search results - page 80 / 101
» Evolving Hardware on a Large Scale
Sort
View
SC
2005
ACM
15 years 11 months ago
Fault Tolerance Techniques for the Merrimac Streaming Supercomputer
As device scales shrink, higher transistor counts are available while soft-errors, even in logic, become a major concern. A new class of architectures, such as Merrimac and the IB...
Mattan Erez, Nuwan Jayasena, Timothy J. Knight, Wi...
ICANN
2005
Springer
15 years 11 months ago
A Real-Time, FPGA Based, Biologically Plausible Neural Network Processor
Abstract. A real-time, large scale, leaky-integrate-and-fire neural network processor realized using FPGA is presented. This has been designed, as part of a collaborative project,...
Martin J. Pearson, Ian Gilhespy, Kevin N. Gurney, ...
IPTPS
2005
Springer
15 years 11 months ago
OverCite: A Cooperative Digital Research Library
CiteSeer is a well-known online resource for the computer science research community, allowing users to search and browse a large archive of research papers. Unfortunately, its cu...
Jeremy Stribling, Isaac G. Councill, Jinyang Li, M...
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 11 months ago
DPLL( T): Fast Decision Procedures
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
Harald Ganzinger, George Hagen, Robert Nieuwenhuis...
SI3D
2003
ACM
15 years 11 months ago
Pattern based procedural textures
Numerous real-time applications such computer games or flight simulators require non-repetitive high-resolution texturing on large landscapes. We propose an algorithm which proce...
Sylvain Lefebvre, Fabrice Neyret