Sciweavers

1512 search results - page 188 / 303
» Principles of IEEE 802.11s
Sort
View
122
Voted
IPPS
2009
IEEE
15 years 10 months ago
A metascalable computing framework for large spatiotemporal-scale atomistic simulations
A metascalable (or “design once, scale on new architectures”) parallel computing framework has been developed for large spatiotemporal-scale atomistic simulations of materials...
Ken-ichi Nomura, Richard Seymour, Weiqiang Wang, H...
IROS
2009
IEEE
199views Robotics» more  IROS 2009»
15 years 10 months ago
A controller for dynamic walking in bipedal robots
Abstract— This paper presents an approach for the closedloop control of actuated biped that allows natural looking and energy efficient walking. Rather than prescribe kinematic ...
David J. Braun, Michael Goldfarb
99
Voted
IROS
2009
IEEE
186views Robotics» more  IROS 2009»
15 years 10 months ago
Robotic submerged microhandling controlled by pH swithching
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
Jérôme Dejeu, Patrick Rougeot, Micha&...
141
Voted
ISORC
2009
IEEE
15 years 10 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
TPHOL
2009
IEEE
15 years 10 months ago
The HOL-Omega Logic
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
Peter V. Homeier