1179 search results - page 79 / 236 » Programming in Hybrid Constraint Languages |
105
click to vote
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
112
click to vote
DAC
2002
ACM
16 years 2 months ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
126
click to vote
INAP
2005
Springer
15 years 6 months ago
2005
Springer
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
136
click to vote
MATES
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...
118
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...