Sciweavers

5722 search results - page 136 / 1145
» the future of experimental research
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
ISPASS
2007
IEEE
16 years 21 days ago
An Analysis of Microarchitecture Vulnerability to Soft Errors on Simultaneous Multithreaded Architectures
Semiconductor transient faults (i.e. soft errors) have become an increasingly important threat to microprocessor reliability. Simultaneous multithreaded (SMT) architectures exploi...
Wangyuan Zhang, Xin Fu, Tao Li, José A. B. ...
ISER
1993
Springer
123views Robotics» more  ISER 1993»
15 years 10 months ago
Mobile Robot Miniaturisation: A Tool for Investigation in Control Algorithms
The interaction of an autonomous mobile robot with the real world critically depends on the robots morphology and on its environment. Building a model of these aspects is extremel...
Francesco Mondada, Edoardo Franzi, Paolo Ienne
MLMTA
2007
15 years 7 months ago
Prediction of Protein Secondary Structures with a Novel Kernel Density Estimator
- Though prediction of protein secondary structures has been an active research issue in bioinformatics for quite a few years and many approaches have been proposed, a new challeng...
Yen-Jen Oyang, Darby Tien-Hao Chang, Yu-Yen Ou, Ha...
NN
1998
Springer
151views Neural Networks» more  NN 1998»
15 years 6 months ago
Evolutionary neurocontrollers for autonomous mobile robots
In this article we describe a methodology for evolving neurocontrollers of autonomous mobile robots without human intervention. The presentation, which spans from technological an...
Dario Floreano, Francesco Mondada