Sciweavers

632 search results - page 93 / 127
» The Basics of Performance-Monitoring Hardware
Sort
View
ISCAS
2007
IEEE
114views Hardware» more  ISCAS 2007»
15 years 6 months ago
The RunBot Architecture for Adaptive, Fast, Dynamic Walking
— In this paper we will present the architecture of the planar biped robot “RunBot”. It has been developed on the basis of three hierarchical levels: Biomechanical, Local and...
Poramate Manoonpong, Tao Geng, Bernd Porr, Florent...
ISCAS
2007
IEEE
207views Hardware» more  ISCAS 2007»
15 years 6 months ago
Low-delay View Random Access for Multi-view Video Coding
—Multi-view video coding is becoming a very active research topic, as multi-view video system provides the interactive feature which makes viewers experience the free viewpoint n...
Yanwei Liu, Qingming Huang, Debin Zhao, Wen Gao
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 6 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
CAV
2007
Springer
116views Hardware» more  CAV 2007»
15 years 6 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
IESS
2007
Springer
156views Hardware» more  IESS 2007»
15 years 6 months ago
Automatic Data Path Generation from C code for Custom Processors
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...
Jelena Trajkovic, Daniel Gajski