Sciweavers

807 search results - page 96 / 162
» Vehicle Simulation System: Controls and Virtual-reality-base...
Sort
View
109
Voted
MEMOCODE
2005
IEEE
15 years 9 months ago
Synthesis of synchronous assertions with guarded atomic actions
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyu...
112
Voted
ICCS
2001
Springer
15 years 8 months ago
Supporting Car-Parrinello Molecular Dynamics with UNICORE
This paper presents the integration of application specific interfaces in the UNICORE Grid infrastructure. UNICORE provides a seamless and secure mechanism to access distributed s...
Valentina Huber
124
Voted
RAS
2006
105views more  RAS 2006»
15 years 3 months ago
Reinforcement learning for quasi-passive dynamic walking of an unstable biped robot
A class of biped locomotion called Passive Dynamic Walking (PDW) has been recognized to be efficient in energy consumption and a key to understand human walking. Although PDW is s...
Kentarou Hitomi, Tomohiro Shibata, Yutaka Nakamura...
119
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
Band-Preference Dynamic Spectrum Management in a DSL Environment
— This paper introduces an algorithm for spectrum management for digital subscriber line (DSL) systems based on band preference. The proposed method influences the usage of spec...
Wooyul Lee, Youngjae Kim, Mark H. Brady, John M. C...
105
Voted
ICNP
2005
IEEE
15 years 9 months ago
Robust Multiclass Signaling Overload Control
We propose multi-class signaling overload control algorithms, for telecommunication switches, that are robust against different input traffic patterns and system upgrades. In ord...
Sneha Kumar Kasera, José Pinheiro, Catherin...