780 search results - page 142 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
142
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
116
click to vote
ICS
2009
Tsinghua U.
15 years 8 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...
178
Voted
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
138
click to vote
POPL
2010
ACM
15 years 4 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
90
Voted
JCDL
2005
ACM
15 years 7 months ago
2005
ACM
In this paper, we propose a machine learning approach to title extraction from general documents. By general documents, we mean documents that can belong to any one of a number of...