Sciweavers

2032 search results - page 39 / 407
» Improving Java performance using hardware translation
Sort
View
RTA
2011
Springer
14 years 5 months ago
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
LREC
2010
156views Education» more  LREC 2010»
15 years 3 months ago
Dictionary and Monolingual Corpus-based Query Translation for Basque-English CLIR
This paper deals with the main problems that arise in the query translation process in dictionary-based Cross-lingual Information Retrieval (CLIR): translation selection, presence...
Xabier Saralegi, Maddalen Lopez de Lacalle
EMNLP
2009
15 years 7 days ago
Acquiring Translation Equivalences of Multiword Expressions by Normalized Correlation Frequencies
In this paper, we present an algorithm for extracting translations of any given multiword expression from parallel corpora. Given a multiword expression to be translated, the meth...
Ming-Hong Bai, Jia-Ming You, Keh-Jiann Chen, Jason...
HPCA
2001
IEEE
16 years 2 months ago
Reevaluating Online Superpage Promotion with Hardware Support
fipical translation lookaside buffers (TLBs)can map a far smaller region of memory than application footprints demand, and the cost of handling TLB misses therefore limits the per...
Zhen Fang, Lixin Zhang, John B. Carter, Wilson C. ...
CASES
2005
ACM
15 years 4 months ago
A post-compilation register reassignment technique for improving hamming distance code compression
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...
Montserrat Ros, Peter Sutton