Sciweavers

1202 search results - page 44 / 241
» Sortings for Reactive Systems
Sort
View
SIGMETRICS
2003
ACM
115views Hardware» more  SIGMETRICS 2003»
15 years 4 months ago
Measuring the effects of internet path faults on reactive routing
Empirical evidence suggests that reactive routing systems improve resilience to Internet path failures. They detect and route around faulty paths based on measurements of path per...
Nick Feamster, David G. Andersen, Hari Balakrishna...
76
Voted
CPHYSICS
2008
86views more  CPHYSICS 2008»
14 years 11 months ago
On ERI sorting for SIMD execution of large-scale Hartree-Fock SCF
Given the resurgent attractiveness of single-instruction-multiple-data (SIMD) processing, it is important for high-performance computing applications to be SIMD-capable. The Hartr...
Tirath Ramdas, Gregory K. Egan, David Abramson, Ki...
118
Voted
CICLING
2009
Springer
16 years 7 days ago
Generating Executable Scenarios from Natural Language
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
Michal Gordon, David Harel
FLAIRS
2006
15 years 1 months ago
Robot Navigation Using Integrated Retrieval of Behaviors and Routes
RUPART1 is a hybrid robot control system for navigating a real-world, academic building. Hybrid robot control systems provide robust low-level navigation together with strategic p...
Susan Eileen Fox, Peter Anderson-Sprecher
IJIT
2004
15 years 1 months ago
Consistent Hybrid Knowledge Representation in Order-Sorted Logic
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
Nwe Ni Tun, Satoshi Tojo