ESPRIT '88: Putting the Technology to Use : Proceedings of the 5th Annual ESPRIT Conference, Brussels, November 14-17, 1988, Part 1North-Holland, 1988 - 1759 pages Part1. Advanced microelectronics. VLSI technologies - comparisons and prospects. Software technology. Advanced information processing. Part2. Office systems.Computer integrated manufacturing. Information exchange system. |
From inside the book
Results 1-3 of 77
Page 373
2.5 Evaluation First, we introduce in Section 2.5.1 the notions of Pico-values and
Value-environments. Next, evaluation of PICO programs is defined in Section 2.5.
2. 2.5.1 Values and value environments The only values that may occur during ...
2.5 Evaluation First, we introduce in Section 2.5.1 the notions of Pico-values and
Value-environments. Next, evaluation of PICO programs is defined in Section 2.5.
2. 2.5.1 Values and value environments The only values that may occur during ...
Page 753
3 Use of Partial Evaluation Partial evaluation is an optimization technique dating
back to Kleene's s-m-n theorem. The basic principle is to evaluate parts of
programs which have enough input data and to keep unchanged those parts
which are ...
3 Use of Partial Evaluation Partial evaluation is an optimization technique dating
back to Kleene's s-m-n theorem. The basic principle is to evaluate parts of
programs which have enough input data and to keep unchanged those parts
which are ...
Page 758
The application of partial evaluation to meta-programming has already been
studied and proposed by many authors, referring to Prolog (TF86], [Gal&6], to
functional languages [JSS86], to Concurrent Prolog (Sass5], [SS86], and has
been ...
The application of partial evaluation to meta-programming has already been
studied and proposed by many authors, referring to Prolog (TF86], [Gal&6], to
functional languages [JSS86], to Concurrent Prolog (Sass5], [SS86], and has
been ...
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
A Technology Transfer from Research to Development Project | 3 |
BitRate Reduction of High Quality Audio Signals Using FloatingPoint | 13 |
Materials and Devices Toward ThreeDimensional Integration Project 245 | 22 |
Copyright | |
55 other sections not shown
Other editions - View all
Common terms and phrases
achieved active algorithm allows analysis application approach architecture basic block called cell chip circuit CMOS combination communication complex components concepts connected considered consists constraints contains defined definition demonstrator described devices direction distributed efficient environment error ESPRIT etch evaluation example execution Figure function gate given goal implementation important input integrated interface interpreter knowledge language layer logic machine material means measurements memory metal method module node objects obtained operator output parallel pattern PCTE performance phase possible presented problem processor prototype reference representation represented requirements rules selected sequence shown shows signal simulation single specification step structure task techniques theory transistor verification wafer
Bibliographic information
| Title | ESPRIT '88: Putting the Technology to Use : Proceedings of the 5th Annual ESPRIT Conference, Brussels, November 14-17, 1988, Part 1 Volume 5 of ESPRIT : annual conference : proceedings ESPRIT '88: Putting the Technology to Use : Proceedings of the 5th Annual ESPRIT Conference, Brussels, November 14-17, 1988, Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation Volume 11852 of EUR (Brussels), ISSN 0303-755X Volume 11852 of EUR (Series) Publication no. EUR 11852 of the Commission of the European Communities, Directorate-General Telecommunications, Information Industries, and Innovation, Luxembourg |
| Author | Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation |
| Publisher | North-Holland, 1988 |
| Original from | the University of California |
| Digitized | 6 Nov 2009 |
| ISBN | 0444871454, 9780444871459 |
| Length | 1759 pages |
| Export Citation | BiBTeX EndNote RefMan |