127 search results - page 25 / 26 » System Combination for Machine Translation of Spoken and Wri... |
DISCO
1993
13 years 11 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
MICRO
2003
IEEE
14 years 21 days ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...
HYBRID
2005
Springer
14 years 29 days ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
PEPM
1999
ACM
13 years 11 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...