Sciweavers

3056 search results - page 368 / 612
» Open Implementation Analysis and Design
Sort
View
NIPS
2000
15 years 7 months ago
Foundations for a Circuit Complexity Theory of Sensory Processing
We introduce total wire length as salient complexity measure for an analysis of the circuit complexity of sensory processing in biological neural systems and neuromorphic engineer...
Robert A. Legenstein, Wolfgang Maass
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
GROUP
2009
ACM
15 years 4 months ago
Supporting collaborative sensemaking in map-based emergency management and planning
Emergency management and planning often involves multiple domain experts with diverse knowledge backgrounds and responsibilities. Current practices in emergency management and pla...
Anna Wu, Xiaolong Zhang
ICEIS
2009
IEEE
15 years 4 months ago
Pattern Recognition for Downhole Dynamometer Card in Oil Rod Pump System using Artificial Neural Networks
: This paper presents the development of an Artificial Neural Network system for Dynamometer Card pattern recognition in oil well rod pump systems. It covers the establishment of p...
Marco A. D. Bezerra, Leizer Schnitman, Manuel de A...
CODES
2008
IEEE
16 years 1 months ago
Distributed flit-buffer flow control for networks-on-chip
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...
Nicola Concer, Michele Petracca, Luca P. Carloni