797 search results - page 71 / 160 » MODULA-2 and Its Compilation |
145
click to vote
EMSOFT
2003
Springer
15 years 11 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...
135
click to vote
PLILP
1994
Springer
15 years 10 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...
157
click to vote
ICCS
2007
Springer
15 years 10 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...
187
click to vote
TIC
2000
Springer
15 years 9 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...
182
click to vote
EPEW
2008
Springer
15 years 7 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...