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 54
Page 266
... node : control is a node whose ' ( node - type ) ) ) : node - type is requested ( test ( attrib - value ) : ( ' ( lambda ( att - val num - con ) : see text ( and ( not ( equal att - val ' clock - driven ) ) number - connections ) ...
... node : control is a node whose ' ( node - type ) ) ) : node - type is requested ( test ( attrib - value ) : ( ' ( lambda ( att - val num - con ) : see text ( and ( not ( equal att - val ' clock - driven ) ) number - connections ) ...
Page 595
... nodes of those paths that connect least upper bounds , Defining and which should be elements of node set s1 , to nodes in s2 greatest lower bounds , which should be elements of node set $ 3 , to nodes in s4 . " s1 : = { 1 , ... , 12 } ...
... nodes of those paths that connect least upper bounds , Defining and which should be elements of node set s1 , to nodes in s2 greatest lower bounds , which should be elements of node set $ 3 , to nodes in s4 . " s1 : = { 1 , ... , 12 } ...
Page 746
... node explode ( Node ) ! < = explode ( Node ) ! explode ( Node ) explode ( Node ) explode ( Node , [ ] type ( Node , inner ) . < = type ( Node , leaf ) . < - > move ( ENode , Node ) < = alias ( Node , ENode ) , type ( ENode , inner ) ...
... node explode ( Node ) ! < = explode ( Node ) ! explode ( Node ) explode ( Node ) explode ( Node , [ ] type ( Node , inner ) . < = type ( Node , leaf ) . < - > move ( ENode , Node ) < = alias ( Node , ENode ) , type ( ENode , inner ) ...
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 | |
56 other sections not shown
Common terms and phrases
abstract algorithm allows analysis Aphrodite application approach architecture array basic behaviour BICMOS cell chip circuit CMOS communication complex components Computer concepts constraints database debugging defined demonstrator described devices distributed domain dynamic efficient environment error Esprit Project etching evaluation example execution expert systems Figure function GaAs gate GEODE global goal graphical IEEE implementation inference engine input integrated integrated circuits interaction interpreter kernel knowledge base knowledge representation layer LFSR logic programming machine mechanism memory MESFET method methodology module node object-oriented objects operations optimization output parallel parameters partial evaluation PCTE performance phase possible predicates problem Proc procedure processor Prolog Prolog III prototype query relations representation requirements rule semantic sequence signal simulation specific structure subcircuit SUPERNODE task techniques transistor transputer tuple UNIX VLSI wafer