540 search results - page 87 / 108 » Protection in Programming-Language Translations |
VEE
2006
ACM
15 years 3 months ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciļ¬...
76
Voted
SAC
2005
ACM
15 years 3 months ago
2005
ACM
A mixin is a reusable module that provides uniform extend modiļ¬cations to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...
CP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been deļ¬ned. The framework allows to deļ¬ne different not...