Sciweavers

3830 search results - page 296 / 766
» From Reference Model to Component Model
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 3 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
140
Voted
ICSE
2005
IEEE-ACM
16 years 5 months ago
An adaptive object model with dynamic role binding
To achieve the goalof realizingobject adaptationto environments, a new role-based model Epsilon and a language EpsilonJ is proposed. In Epsilon, an environment is defined as a fie...
Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama
ICCD
2006
IEEE
117views Hardware» more  ICCD 2006»
16 years 2 months ago
System-Level Energy Modeling for Heterogeneous Reconfigurable Chip Multiprocessors
—Field-Programmable Gate Array (FPGA) technology is characterized by continuous improvements that provide new opportunities in system design. Multiprocessors-ona-Programmable-Chi...
Xiaofang Wang, Sotirios G. Ziavras
113
Voted
IROS
2006
IEEE
97views Robotics» more  IROS 2006»
15 years 11 months ago
A quasi-passive model of human leg function in level-ground walking
- In this paper, we seek to understand how leg muscles and tendons work mechanically during walking in order to motivate the design of efficient robotic legs. We hypothesize that a...
Ken Endo, Daniel Paluska, Hugh M. Herr
ISCAS
2005
IEEE
166views Hardware» more  ISCAS 2005»
15 years 10 months ago
Extending SystemC to support mixed discrete-continuous system modeling and simulation
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
Alain Vachoux, Christoph Grimm, Karsten Einwich