2940 search results - page 148 / 588 » Relational Parametricity and Control |
110
click to vote
IJMMS
2006
15 years 4 months ago
2006
For human operators supervising a complex system it is crucial to have a powerful and flexible information presentation system. In order to reduce the cognitive load operators oft...
148
click to vote
SCL
2010
15 years 3 months ago
2010
We discuss the use of Krylov subspace methods with regard to the problem of model order reduction. The focus lies on bilinear control systems, a special class of nonlinear systems...
164
click to vote
MASS
2010
14 years 11 months ago
2010
Abstract--The impact of a jamming attack on wireless communication depends on a number of physical characteristics and network protocol parameters. In particular, it depends on the...
148
click to vote
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
110
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...