Sciweavers

2833 search results - page 108 / 567
» Systems Design, Process Performance and Economic Outcomes
Sort
View
ICRA
2008
IEEE
115views Robotics» more  ICRA 2008»
16 years 25 days ago
The influence of DC electric drives on sizing quadruped robots
— In legged systems design an important question applies to: "What can be inferred from the performance of a legged robot of a similarly configured system, but scaled to a s...
Panagiotis Chatzakos, Evangelos Papadopoulos
ENTCS
2006
100views more  ENTCS 2006»
15 years 6 months ago
Towards a Logic for Performance and Mobility
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Joost-Pieter Katoen, Diego Latell...
SAFECOMP
2004
Springer
15 years 11 months ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
ISCAS
2007
IEEE
104views Hardware» more  ISCAS 2007»
16 years 20 days ago
Reduction of Register File Delay Due to Process Variability in VLIW Embedded Processors
Process variation in future technologies can cause severe performance degradation since different parts of the shared Register File (RF) in VLIW processors may operate at various ...
Praveen Raghavan, José L. Ayala, David Atie...
ICDCSW
2009
IEEE
16 years 1 months ago
Embedded Virtual Machines for Robust Wireless Control Systems
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
Rahul Mangharam, Miroslav Pajic