525 search results - page 66 / 105 » Static Interpretation of Modules |
AUTOMATICA
2004
14 years 9 months ago
2004
We study linear anti-windup augmentation for linear control systems with saturated linear plants in the special case when the anti-windup compensator can only modify the input and...
TAP
2010
Springer
14 years 7 months ago
2010
Springer
An important component of Empirical Software Engineering (ESE) research involves the measurement, observation, analysis and understanding of software engineering in practice. Resul...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
The lip-region can be interpreted as either a genetic or behavioural biometric trait depending on whether static or dynamic information is used. In this paper, we use a texture de...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
—We introduce an inexpensive, low complexity power surface system capable of simultaneously providing wireless power and bidirectional communication from a surface to multiple mo...