Sciweavers

7778 search results - page 1124 / 1556
» Designing Controllers for Reachability
Sort
View
JSS
2008
122views more  JSS 2008»
15 years 3 months ago
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
Vahid Garousi, Lionel C. Briand, Yvan Labiche
IJRR
2010
93views more  IJRR 2010»
15 years 3 months ago
Stability Analysis of Passive Dynamic Walking of Quadrupeds
We introduce a detailed numerical simulation and analysis framework to extend the principles of passive dynamic walking to quadrupedal locomotion. Non-linear limit cycle methods a...
C. David Remy, Keith W. Buffinton, Roland Siegwart
MICRO
2010
IEEE
172views Hardware» more  MICRO 2010»
15 years 3 months ago
Architectural Support for Fair Reader-Writer Locking
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...
Enrique Vallejo, Ramón Beivide, Adriá...
MICRO
2010
IEEE
153views Hardware» more  MICRO 2010»
15 years 3 months ago
Throughput-Effective On-Chip Networks for Manycore Accelerators
As the number of cores and threads in manycore compute accelerators such as Graphics Processing Units (GPU) increases, so does the importance of on-chip interconnection network des...
Ali Bakhoda, John Kim, Tor M. Aamodt
SENSYS
2010
ACM
15 years 3 months ago
eShare: a capacitor-driven energy storage and sharing network for long-term operation
The ability to move energy around makes it feasible to build distributed energy storage systems that can robustly extend the lifetime of networked sensor systems. eShare supports ...
Ting Zhu, Yu Gu, Tian He, Zhi-Li Zhang
« Prev « First page 1124 / 1556 Last » Next »