Sciweavers

17298 search results - page 113 / 3460
» Abstract computing machines
Sort
View
123
Voted
EACL
2009
ACL Anthology
16 years 3 months ago
N-Gram-Based Statistical Machine Translation versus Syntax Augmented Machine Translation: Comparison and System Combination
In this paper we compare and contrast two approaches to Machine Translation (MT): the CMU-UKA Syntax Augmented Machine Translation system (SAMT) and UPC-TALP N-gram-based Statisti...
José A. R. Fonollosa, Maxim Khalilov
ASM
2004
ASM
15 years 8 months ago
An ASM Semantics for SSA Intermediate Representations
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
Sabine Glesner
ML
2006
ACM
15 years 2 months ago
Type-sensitive control-flow analysis
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
John H. Reppy
87
Voted
SAC
2010
ACM
15 years 9 months ago
An operating system abstraction layer for portable applications in wireless sensor networks
Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohl...
IEEESCC
2009
IEEE
15 years 9 months ago
A Task Abstraction and Mapping Approach to the Shimming Problem in Scientific Workflows
Cui Lin, Shiyong Lu, Xubo Fei, Darshan Pai, Jing H...