234 search results - page 14 / 47 » Architecture Implementation Using the Machine Description La... |
185
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
160
click to vote
TAL
2004
Springer
15 years 10 months ago
2004
Springer
In our research, we have developed a transfer-based machine translation architecture for the translation from Japanese into German. One main feature of the system is the fully auto...
144
click to vote
DAC
2006
ACM
15 years 11 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
129
click to vote
PDCAT
2007
Springer
15 years 11 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...
158
click to vote
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
Presently, Architecture Description Languages (ADLs) are widely used to raise the abstraction level of the design space exploration of Application Specific Instruction-set Proces...