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 5
Page 353
... Petri nets . Design principles and techniques are strongly influenced by the systems implementation language CDL2 [ Bayer et al . 1981 ] . Algebraic methods give a precise mathematical interpretation for high - level pro- gramming ...
... Petri nets . Design principles and techniques are strongly influenced by the systems implementation language CDL2 [ Bayer et al . 1981 ] . Algebraic methods give a precise mathematical interpretation for high - level pro- gramming ...
Page 355
... net analysis which supports reliable programming of nonsequential software by investigating properties like lifeness and safeness of Petri nets . For supporting all the applications using rewriting approaches an autonomous tool for ...
... net analysis which supports reliable programming of nonsequential software by investigating properties like lifeness and safeness of Petri nets . For supporting all the applications using rewriting approaches an autonomous tool for ...
Page 364
... Petri Nets and Abstract Data Types for the Specification of Distributed Systems . Proc . 9th Int . Conf . on ... [ Petri 1976 ] Petri , C. A .: General Net Theory . In : Proc . of the Joint IBM University of New- castle upon Tyne Seminar ...
... Petri Nets and Abstract Data Types for the Specification of Distributed Systems . Proc . 9th Int . Conf . on ... [ Petri 1976 ] Petri , C. A .: General Net Theory . In : Proc . of the Joint IBM University of New- castle upon Tyne Seminar ...
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