Sciweavers

5387 search results - page 125 / 1078
» Generating generic functions
Sort
View
69
Voted
ANLP
1994
70views more  ANLP 1994»
15 years 2 months ago
English Adverb Generation in Japanese to English Machine Translation
This paper proposes an English adverb ordering method based on adverb grammatical functions (subjuncts, adjuncts, disjuncts and conjuncts) and meanings (process, space, time etc.)...
Kentaro Ogura, Francis Bond, Satoru Ikehara
92
Voted
FASE
2009
Springer
15 years 7 months ago
A Formal Way from Text to Code Templates
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
Guido Wachsmuth
84
Voted
JFP
2010
82views more  JFP 2010»
14 years 11 months ago
Formal polytypic programs and proofs
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
IEEEINTERACT
2003
IEEE
15 years 6 months ago
High Performance Code Generation through Lazy Activation Records
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...
Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth ...
79
Voted
FPL
2007
Springer
133views Hardware» more  FPL 2007»
15 years 7 months ago
Efficient Modeling and Floorplanning of Embedded-FPGA Fabric
In this paper we present an automatic design flow for generating customized embedded FPGA (eFPGA) fabric and a domain specific SOC+eFPGA architecture. This design flow encompas...
Sumanta Chaudhuri, Jean-Luc Danger, Sylvain Guille...