Sciweavers

647 search results - page 46 / 130
» Implementation of MAP: A system for mobile assistant program...
Sort
View
ADAEUROPE
2010
Springer
15 years 10 months ago
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann...
SIGMOD
1997
ACM
107views Database» more  SIGMOD 1997»
15 years 10 months ago
Picture Programming Project
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
Nita Goyal, Charles Hoch, Ravi Krishnamurthy, Bria...
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 6 months ago
Model-Driven Constraint Programming
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
Raphaël Chenouard, Laurent Granvilliers, Rica...
ICLP
2007
Springer
16 years 5 days ago
Logic Programming Approach to Automata-Based Decision Procedures
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
Gulay Ünel, David Toman
SIGMOD
2003
ACM
115views Database» more  SIGMOD 2003»
16 years 6 months ago
Rondo: A Programming Platform for Generic Model Management
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
Sergey Melnik, Erhard Rahm, Philip A. Bernstein