797 search results - page 71 / 160 » MODULA-2 and Its Compilation |
129
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
114
click to vote
PLILP
1994
Springer
15 years 8 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
141
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
A new approach is proposed to generate workflow scenarios of scientific applications such as Molecular Dynamics and Monte-Carlo simulations in a distributed environment. The approa...
161
click to vote
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
147
click to vote
EPEW
2008
Springer
15 years 6 months ago
2008
Springer
Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In th...