Sciweavers

7080 search results - page 122 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
DAC
2007
ACM
16 years 7 days ago
Chip Multi-Processor Generator
The drive for low-power, high performance computation coupled with the extremely high design costs for ASIC designs, has driven a number of designers to try to create a flexible, ...
Alex Solomatnikov, Amin Firoozshahian, Wajahat Qad...
ICECCS
2009
IEEE
166views Hardware» more  ICECCS 2009»
14 years 9 months ago
ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richar...
IROS
2009
IEEE
162views Robotics» more  IROS 2009»
15 years 5 months ago
Novel mechanical design of biped robot SHERPA using 2 DOF cable differential modular joints
— This paper discusses the mechanical kinematics solutions and design aspects of the biped robot SHERPA, a bipedal platform able to walk and carry load. Starting from the analysi...
Ionut Mihai Constantin Olaru, Sébastien Kru...
VTC
2006
IEEE
15 years 5 months ago
Capacity Enhancement for Integrated HAPS-Terrestrial CDMA System
— In this paper, we consider the uplink capacity of an integrated high altitude platform station (HAPS)-terrestrial code division multiple access (CDMA) system in which sharing b...
Jeng-Ji Huang, Wei-Ting Wang, Huei-Wen Ferng
ISOLA
2010
Springer
14 years 9 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle