525 search results - page 66 / 105 » Static Interpretation of Modules |
104
Voted
AUTOMATICA
2004
15 years 3 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...
118
Voted
TAP
2010
Springer
15 years 1 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...
131
Voted
ICASSP
2011
IEEE
14 years 7 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...
138
Voted
POPL
2012
ACM
13 years 11 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....
154
Voted
ICRA
2008
IEEE
15 years 10 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...