Sciweavers

485 search results - page 48 / 97
» Operational requirements for scalable search systems
Sort
View
ICANN
2010
Springer
14 years 8 months ago
Autonomous Generation of Internal Representations for Associative Learning
In this contribution, we explore the possibilities of learning in large-scale, multimodal processing systems operating under real-world conditions. Using an instance of a large-sca...
Michaël Garcia Ortiz, Benjamin Dittes, Jannik...
HOTOS
2007
IEEE
15 years 1 months ago
Is the Optimism in Optimistic Concurrency Warranted?
Optimistic synchronization allows concurrent execution of critical sections while performing dynamic conflict detection and recovery. Optimistic synchronization will increase perf...
Donald E. Porter, Owen S. Hofmann, Emmett Witchel
IROS
2008
IEEE
141views Robotics» more  IROS 2008»
15 years 4 months ago
Development of on-line simulation system for multi camera based wide field of view display
— IRS Soryu is rescue robot which used for victim search in disaster area. We aim at development of display method for wide view angle and high definition images for controlling...
Naoki Midorikawa, Kazunori Ohno, Satoshi Saga, Sat...
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 4 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
ICS
2004
Tsinghua U.
15 years 3 months ago
Adaptive incremental checkpointing for massively parallel systems
Given the scale of massively parallel systems, occurrence of faults is no longer an exception but a regular event. Periodic checkpointing is becoming increasingly important in the...
Saurabh Agarwal, Rahul Garg, Meeta Sharma Gupta, J...