59 search results - page 9 / 12 » Hardware Scripting in Gel |
ROBOCUP
2009
Springer
15 years 8 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...
120
Voted
CAV
2003
Springer
15 years 7 months 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...
119
Voted
ROBOCUP
1999
Springer
15 years 6 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...
115
Voted
EUROSYS
2007
ACM
15 years 5 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...
145
Voted
USENIX
2008
15 years 4 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...