45 search results - page 8 / 9 » Executing multi-robot cases through a single coordinator |
61
Voted
SOSP
2001
ACM
15 years 6 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
BIOCOMP
2007
14 years 11 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
82
Voted
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...