1847 search results - page 6 / 370 » Hybrid Functional Interpretations |
HYBRID
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
ADCM
2004
14 years 9 months ago
2004
We give an algebraic interpretation of the well
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
CIE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...