Sciweavers

133 search results - page 7 / 27
» On a Fully Abstract Model for a Quantum Linear Functional La...
Sort
View
DLOG
2004
13 years 8 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
ECOOP
2007
Springer
14 years 1 months ago
A Machine Model for Aspect-Oriented Programming
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
Michael Haupt, Hans Schippers
ECML
2005
Springer
14 years 1 months ago
On Discriminative Joint Density Modeling
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...
Jarkko Salojärvi, Kai Puolamäki, Samuel ...
TOOLS
1999
IEEE
13 years 11 months ago
Two-Level Modeling
Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It es, ho...
Anthony Lauder, Stuart Kent
IWOMP
2010
Springer
14 years 7 days ago
Enabling Low-Overhead Hybrid MPI/OpenMP Parallelism with MPC
Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...
Patrick Carribault, Marc Pérache, Herv&eacu...