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 50
Page 266
4) (“ (input-output output) ; connection-types 'terminal-type)) ; that are counted (
get-attribute (control attrib-value); [R3) ("node : control is a node whose '(node-
type))) : node-type is requested (test (attrib-value) : [R4] Vdd (" (lambda (att-val ...
4) (“ (input-output output) ; connection-types 'terminal-type)) ; that are counted (
get-attribute (control attrib-value); [R3) ("node : control is a node whose '(node-
type))) : node-type is requested (test (attrib-value) : [R4] Vdd (" (lambda (att-val ...
Page 596
... select the relevant paths using node expressions which can define a set of
nodes by nested (unary) queries, enumeration, bound_predicates, extreme
node_predicates and order predicates (which in turn can refer to a (possibly
different) set ...
... select the relevant paths using node expressions which can define a set of
nodes by nested (unary) queries, enumeration, bound_predicates, extreme
node_predicates and order predicates (which in turn can refer to a (possibly
different) set ...
Page 666
stored on a node requires its loading into the main memory of the node. After a
static distribution, theories can only be loaded into the main memory of a node if
they are stored in its secondary memory. A request to a theory stored on another
...
stored on a node requires its loading into the main memory of the node. After a
static distribution, theories can only be loaded into the main memory of a node if
they are stored in its secondary memory. A request to a theory stored on another
...
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Technology Transfer from Research to Development Project 97 Pype P Van Meerbergen J De Man | 5 |
Materials and Devices Toward ThreeDimensional Integration Project 245 Cahill C G Dunne B OFlanagan S Hobbs L Mathewson A | 21 |
Physical ºquivalentCircuit Models for GaAs Mesſets Project 255 Ghione G Naldi C Pettenpaul E Ponse F | 52 |
Copyright | |
50 other sections not shown
Other editions - View all
Common terms and phrases
abstract abstract machine algorithm allows analysis Aphrodite application approach architecture Artificial Intelligence basic behaviour BFNEW BICMOS cell chip circuit CMOS complex components Computer concepts constraints DAIDA database defined definition described devices distributed domain dynamic environment error Esprit Project etch evaluation example execution expert systems Figure function GaAs gate global goal graphical GRASPIN IEEE implementation information system input integrated interaction interpreter knowledge base knowledge representation language layer LFSR logic programming machine mapping MESFET metaclass method methodology migration module node object-oriented objects operations output parallel parameters partial evaluation PCTE performance phase PIMS possible predicates problem procedure processor programming language project management Prolog Prolog III prototype query representation requirements rules semantic signal simulation specification structure subcircuit task techniques transistor transputer UNIX user interface VLSI 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 |