59 search results - page 9 / 12 » Hardware Scripting in Gel |
ROBOCUP
2009
Springer
14 years 1 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
CAV
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
ROBOCUP
1999
Springer
13 years 11 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
EUROSYS
2007
ACM
13 years 11 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
USENIX
2008
13 years 9 months ago
2008
A common approach to benchmarking a server is to measure its behavior under load from a workload generator. Often a set of such experiments is required-perhaps with different serv...