1179 search results - page 99 / 236 » Programming in Hybrid Constraint Languages |
109
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
NAND flash-based storage is widely used in embedded systems due to its numerous benefits: low cost, high density, small form factor and so on. However, NAND flash-based storage is...
115
click to vote
EACL
2009
ACL Anthology
14 years 11 months ago
2009
ACL Anthology
We show how global constraints such as transitivity can be treated intensionally in a Zero-One Integer Linear Programming (ILP) framework which is geared to find the optimal and c...
140
click to vote
DSRT
2008
IEEE
15 years 3 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...
106
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
110
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...