160 search results - page 3 / 32 » Automated Code Generation for Industrial-Strength Systems |
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
HIPEAC
2010
Springer
13 years 9 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
The development of optimized codes is time-consuming and requires extensive architecture, compiler, and language expertise, therefore, computational scientists are often forced to ...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...