Sciweavers

7080 search results - page 122 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
104
Voted
DAC
2007
ACM
16 years 5 months 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»
15 years 2 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 11 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 10 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
156
Voted
ISOLA
2010
Springer
15 years 2 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