Sciweavers

4814 search results - page 863 / 963
» Combining abstract interpreters
Sort
View
ETS
2011
IEEE
212views Hardware» more  ETS 2011»
12 years 9 months ago
Structural Test for Graceful Degradation of NoC Switches
Abstract—Networks-on-Chip (NoCs) are implicitly fault tolerant due to their inherent redundancy. They can overcome defective cores, links and switches. As a side effect, yield is...
Atefe Dalirsani, Stefan Holst, Melanie Elm, Hans-J...
ASPDAC
2012
ACM
241views Hardware» more  ASPDAC 2012»
12 years 5 months ago
Post-fabrication reconfiguration for power-optimized tuning of optically connected multi-core systems
Abstract— Integrating optical interconnects into the nextgeneration multi-/many-core architecture has been considered a viable solution to addressing the limitations in throughpu...
Yan Zheng, Peter Lisherness, Saeed Shamshiri, Amir...
FOSSACS
2012
Springer
12 years 5 months ago
A Coalgebraic Perspective on Minimization and Determinization
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
Jirí Adámek, Filippo Bonchi, Mathias...
MICRO
2010
IEEE
121views Hardware» more  MICRO 2010»
13 years 8 months ago
Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPs
Abstract--Emerging many-core chip multiprocessors will integrate dozens of small processing cores with an on-chip interconnect consisting of point-to-point links. The interconnect ...
Michael M. Lee, John Kim, Dennis Abts, Michael R. ...
IJCV
2012
12 years 14 days ago
Impact of Landmark Parametrization on Monocular EKF-SLAM with Points and Lines
Abstract This paper explores the impact that landmark parametrization has in the performance of monocular, EKFbased, 6-DOF simultaneous localization and mapping (SLAM) in the conte...
Joan Solà, Teresa A. Vidal-Calleja, Javier ...