Sciweavers

510 search results - page 76 / 102
» On the importance function in splitting simulation
Sort
View
AROBOTS
2004
77views more  AROBOTS 2004»
13 years 7 months ago
Planetary Cliff Descent Using Cooperative Robots
Future robotic planetary exploration will need to traverse geographically diverse and challenging terrain. Cliffs, ravines, and fissures are of great scientific interest because th...
Erik Mumm, Shane Farritor, Paolo Pirjanian, Chris ...
CONCURRENCY
2004
93views more  CONCURRENCY 2004»
13 years 7 months ago
Studying protein folding on the Grid: experiences using CHARMM on NPACI resources under Legion
-- One of the benefits of a computational grid is the ability to run high-performance applications over distributed resources simply and securely. We demonstrated this benefit with...
Anand Natrajan, Michael Crowley, Nancy Wilkins-Die...
WCNC
2010
IEEE
13 years 6 months ago
Codebook Design for Memory-Based Quantization of Precoder Matrix in Low-Rate Feedback MIMO Systems with Temporally Correlated Fa
—An important transmitter adaptation technique used in multiple-input multiple-output (MIMO) communication systems is precoding based on the dominant right-singular vectors of th...
Pradeepa Yahampath, Are Hjørungnes
EMSOFT
2010
Springer
13 years 6 months ago
Reducing stack with intra-task threshold priorities in real-time systems
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
Gang Yao, Giorgio C. Buttazzo
SAFECOMP
2010
Springer
13 years 5 months ago
Experiences in Applying Formal Verification in Robotics
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Dennis Walter, Holger Täubig, Christoph L&uum...