Sciweavers

684 search results - page 26 / 137
» Compiler Tools in APL
Sort
View
OTM
2007
Springer
14 years 4 months ago
Compiler Assisted Elliptic Curve Cryptography
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
Manuel Barbosa, Andrew Moss, Dan Page
ICS
1997
Tsinghua U.
14 years 2 months ago
Compiler and Run-Time Support for Semi-Structured Applications
Adaptive mesh re nement (AMR) is a very important scienti c application. Several libraries implementing speci c distribution policies havebeen written for AMR. In this paper, we p...
Nikos Chrisochoides, Induprakas Kodukula, Keshav P...
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
14 years 1 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
COLING
1996
13 years 11 months ago
Compiling a Partition-Based Two-Level Formalism
This paper describes an algorithm for the compilation of a two (or more) level orthographic or phonological rule notation into finite state transducers. The notation is an alterna...
Edmund Grimley-Evans, George Anton Kiraz, Stephen ...
AINA
2008
IEEE
14 years 4 months ago
WS-BPEL Process Compiler for Resource-Constrained Embedded Systems
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
Hendrik Bohn, Andreas Bobek, Frank Golatowski