13 search results - page 2 / 3 » An Introduction to Certificate Translation |
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
ACL
2007
13 years 6 months ago
2007
In this paper we present several extensions of MARIE1 , a freely available N-gram-based statistical machine translation (SMT) decoder. The extensions mainly consist of the ability...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
Distributed Hash Tables (DHTs) provide a means to build a completely decentralized, large-scale persistent storage service from the individual storage capacities contributed by ea...
NJC
2000
13 years 4 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
IESS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...