1179 search results - page 152 / 236 » Programming in Hybrid Constraint Languages |
106
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
133
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
137
click to vote
CGO
2011
IEEE
14 years 5 months ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
138
click to vote
ILP
2004
Springer
15 years 6 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
121
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...