350 search results - page 13 / 70 » From control effects to typed continuation passing |
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The purpose of this paper is to apply and evaluate the bibliometric method Bradfordizing for information retrieval (IR) experiments. Bradfordizing is used for generating core docu...
WSC
1997
13 years 10 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...