Sciweavers

3156 search results - page 116 / 632
» An address translation simulator
Sort
View
SPAA
1993
ACM
15 years 5 months ago
Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism
This paper concerns the problem of how to exploit parallelism during the phases of compilation involving syntaxdirected analysis and translation. In particular, we address the pro...
Thomas W. Reps
CSFW
2010
IEEE
15 years 5 months ago
On Protection by Layout Randomization
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
Martín Abadi, Gordon D. Plotkin
APN
2001
Springer
15 years 5 months ago
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
Peter Deussen
ACL
2006
15 years 3 months ago
Correcting ESL Errors Using Phrasal SMT Techniques
This paper presents a pilot study of the use of phrasal Statistical Machine Translation (SMT) techniques to identify and correct writing errors made by learners of English as a Se...
Chris Brockett, William B. Dolan, Michael Gamon
COLING
1990
15 years 2 months ago
Reading Distinction in MT
In any system for Natural Language Processing having a dictionary, the question arises as to whiclh entries are included in it. In this paper, I address the subquestion as to whet...
Pius ten Hacken