Sciweavers

502 search results - page 80 / 101
» Evolving Hardware on a Large Scale
Sort
View
SC
2005
ACM
14 years 3 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
14 years 3 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
14 years 3 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»
14 years 3 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
14 years 2 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