3713 search results - page 475 / 743 » Constructing a Calculus of Programs |
118
click to vote
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
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. ...
111
click to vote
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
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...
114
click to vote
CP
1997
Springer
15 years 8 months ago
1997
Springer
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...
126
click to vote
ICPP
1996
IEEE
15 years 8 months ago
1996
IEEE
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...
112
click to vote
ISSS
1996
IEEE
15 years 8 months ago
1996
IEEE
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...