Sciweavers

234 search results - page 12 / 47
» On Bus Graph Realizability
Sort
View
ICRA
2006
IEEE
124views Robotics» more  ICRA 2006»
14 years 1 months ago
Conformable and Scalable Tactile Sensor Skin for Curved Surfaces
Abstract— We present the design and realization of a conformable tactile sensor skin(patent pending). The skin is organized as a network of self-contained modules consisting of t...
Yoshiyuki Ohmura, Yasuo Kuniyoshi, Akihiko Nagakub...
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
14 years 19 days ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
14 years 14 days ago
Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
Karthik Lakshmanan, Gaurav Bhatia, Ragunathan Rajk...
ICCAD
1999
IEEE
115views Hardware» more  ICCAD 1999»
13 years 11 months ago
Fast performance analysis of bus-based system-on-chip communication architectures
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
Kanishka Lahiri, Anand Raghunathan, Sujit Dey
STOC
1998
ACM
129views Algorithms» more  STOC 1998»
13 years 11 months ago
Planar Map Graphs
We introduce and study a modi ed notion of planarity, in which two regions of a map are considered adjacent when they share any point of their boundaries not an edge, as standard...
Zhi-Zhong Chen, Michelangelo Grigni, Christos H. P...