Sciweavers

1636 search results - page 6 / 328
» InfoPad - An Experiment in System Level Design and Integrati...
Sort
View
IESS
2009
Springer
182views Hardware» more  IESS 2009»
14 years 9 months ago
Modeling Cache Effects at the Transaction Level
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
Ardavan Pedram, David Craven, Andreas Gerstlauer
ICRA
2000
IEEE
78views Robotics» more  ICRA 2000»
15 years 4 months ago
Hybrid System Design for Singularityless Task Level Robot Controllers
This paper presents a hybrid system approach in the design of a singularityless task level controller. To achieve a singularityless motion control in the neighborhood of singulari...
Jindong Tan, Ning Xi
MSE
2005
IEEE
148views Hardware» more  MSE 2005»
15 years 5 months ago
Teaching System-Level Design Using SpecC and SystemC
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
Robert D. Walstrom, Joseph Schneider, Diane T. Rov...
ICSE
2009
IEEE-ACM
14 years 9 months ago
Model checking flight control systems: The Airbus experience
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
Thomas Bochot, Pierre Virelizier, Hél&egrav...
DATE
2000
IEEE
92views Hardware» more  DATE 2000»
15 years 4 months ago
Standards for System-Level Design: Practical Reality or Solution in Search of a Question?
: We address the issue of standards development for the system-level design space. System-level design IP re-use standards are key to the future of the VSIA. However, the concept o...
Christopher K. Lennard, Patrick Schaumont, Gjalt G...