Sciweavers

3713 search results - page 475 / 743
» Constructing a Calculus of Programs
Sort
View
IFIP
1998
Springer
15 years 8 months ago
Media Transformations for the Representation and Communication of Multimedia Production Activities
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...
S. Morris
SIGADA
1998
Springer
15 years 8 months ago
Building Fault Tolerant Distributed Systems Using IP Multicast
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
Samuel Tardieu, Laurent Pautet
CP
1997
Springer
15 years 8 months ago
GENIUS-CP: a Generic Single-Vehicle Routing Algorithm
This paper describes the combination of a well-known tsp heuristic, genius, with a constraint programming model for routing problems. The result, genius-cp, is an e cient heuristic...
Gilles Pesant, Michel Gendreau, Jean-Marc Rousseau
ICPP
1996
IEEE
15 years 8 months ago
Mechanisms for Mapping High-Level Parallel Performance Data
A primary problem in the performance measurement of high-level parallel programming languages is to map lowlevel events to high-level programming constructs. We discuss several as...
R. Bruce Irvin, Barton P. Miller
ISSS
1996
IEEE
103views Hardware» more  ISSS 1996»
15 years 8 months ago
Instruction Set Design and Optimizations for Address Computation in DSP Architectures
In this paper we investigate the problem of code generation for address computation for DSP processors. This work is divided into four parts. First, we propose a branch instructio...
Guido Araujo, Ashok Sudarsanam, Sharad Malik