1880 search results - page 223 / 376 » A Static Analysis for Beta-Binders |
192
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
178
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper addresses the disturbance attenuation problem by output feedback for multivariable linear systems with delayed inputs. To solve this problem, a feedback compensator is u...
147
click to vote
EJC
2010
15 years 6 months ago
2010
In our previous paper, we presented the combinatorial theory for minimal isostatic pinned frameworks - Assur graphs - which arise in the analysis of mechanical linkages. In this p...
131
click to vote
ENTCS
2010
15 years 6 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
141
click to vote
ENTCS
2008
15 years 6 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...