Sciweavers

2610 search results - page 194 / 522
» codes 2007
Sort
View
ECOOP
2007
Springer
15 years 10 months ago
AOP vs Software Evolution: a Score in Favor of the Blueprint
All software systems are subject to evolution, independently by the developing technique. Aspect oriented software in addition to separate the different concerns during the softwar...
Walter Cazzola, Sonia Pini
EUROPAR
2007
Springer
15 years 10 months ago
Auto-parallelisation of Sieve C++ Programs
We describe an approach to automatic parallelisation of programs written in Sieve C++ (Codeplay’s C++ extension), using the Sieve compiler and runtime system. In Sieve C++, the p...
Alastair F. Donaldson, Colin Riley, Anton Lokhmoto...
FASE
2007
Springer
15 years 10 months ago
S2A: A Compiler for Multi-modal UML Sequence Diagrams
We report on S2A, a compiler that translates Modal UML Sequence Diagrams (MSDs), a UML-compliant version of Live Sequence Charts (LSCs), into AspectJ code. It thus provides full co...
David Harel, Asaf Kleinbort, Shahar Maoz
PPAM
2007
Springer
15 years 10 months ago
New Data Structures for Matrices and Specialized Inner Kernels: Low Overhead for High Performance
Dense linear algebra codes are often expressed and coded in terms of BLAS calls. This approach, however, achieves suboptimal performance due to the overheads associated to such cal...
José R. Herrero
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
15 years 8 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova