1179 search results - page 171 / 236 » Programming in Hybrid Constraint Languages |
ECMDAFA
2008
Springer
14 years 12 days ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
CADE
2010
Springer
13 years 11 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
POPL
2008
ACM
14 years 11 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
ASPLOS
2011
ACM
13 years 2 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...
UM
2007
Springer
14 years 4 months ago
2007
Springer
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...