392 search results - page 8 / 79 » APROL: a Hybrid Language |
177
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
316
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
194
Voted
HYBRID
2004
Springer
16 years 24 days ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
162
Voted
GECCO
2003
Springer
16 years 19 days ago
2003
Springer
Abstract. A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph and can perform one simple operation only on the w...
172
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...