CompEuro 88 - System Design: Concepts, Methods and Tools, 11-14 April 1988, Brussels, Belgium (Englisch)
1988
-
ISBN:
- Konferenzband / Print
-
Titel:CompEuro 88 - System Design: Concepts, Methods and Tools, 11-14 April 1988, Brussels, Belgium
-
Weitere Titelangaben:CompEuro 88 - Systementwurf: Konzepte, Methoden und Moeglichkeiten
-
Verlag:
- Neue Suche nach: IEEE Comput. Soc. Press
-
Erscheinungsort:Washington
-
Erscheinungsdatum:1988
-
Format / Umfang:369 Seiten
-
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:PROGRAMMIERUMGEBUNG , SOFTWARE-WERKZEUG , RECHNERUNTERSTUETZTER SCHALTUNGSENTWURF , SPRACHE , ALGORITHMUS , VLSI-SCHALTUNG , KUENSTLICHE INTELLIGENZ , PROGRAMMENTWICKLUNG , COMPILER-PROGRAMM , LAYOUT , RECHNERARCHITEKTUR , SYSTEMENTWURF , NETZWERKSYNTHESE , EXPERTENSYSTEM , FUNKTIONSPRUEFUNG , FORMALE SPRACHE , SOFTWARE , PRUEFUNG INTEGRIERTER SCHALTUNGEN
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 0_1
-
CompEuro 88 - System Design: Concepts, Methods and Tools (Cat. No.88CH2548-6)| 1988
- 2
-
Object-oriented programming: conceptsGoossenaerts, J. / Lewi, J. et al. | 1988
- 9
-
Generalized combinators in functional languages and their applicationsDe Man, J. et al. | 1988
- 16
-
Execution of Ward's transformation schema on the graphic specification and prototyping tool specsPulli, P. / Dahler, J. / Gisiger, H.P. / Kundig, A. et al. | 1988
- 26
-
Patil array-a Petri net hardware implementationHartenstein, R.W. / Hirschbiel, A. / Weber, M. et al. | 1988
- 36
-
A graph-based silicon compiler for concurrent VLSI systemsBergamaschi, R. / Allerton, D.J. et al. | 1988
- 48
-
Predictive tools in VLSI system design: timing aspectsShragowitz, E. / Youssef, H. / Bening, L.C. et al. | 1988
- 56
-
Design model on performance prediction for VLSI systemsKaminska, B. / Savaria, Y. / Houle, J.L. et al. | 1988
- 62
-
Algebraic data type specifications-language, method and toolsDuponcheel, L. / Heyman, J. / Van Puymbroeck, W. et al. | 1988
- 71
-
The use of many-valued and nonmonotonic logics for design decisionsZimmermann, W. et al. | 1988
- 81
-
Consistency of compatibility constraints in configuration managementGribomont, E.P. / Lacroix, M. / Lavency, P. et al. | 1988
- 90
-
Guided synthesis and formal verification techniques for parameterized hardware modulesClaesen, L. / Johannes, P. / Verkest, D. / De Man, H. et al. | 1988
- 100
-
Tool for system design verificationBrezocnik, Z. / Horvat, B. / Gerkes, M. et al. | 1988
- 108
-
Architectural study for an integrated fixed and floating-point VLSI-ASIC processorOklobdzija, V.G. / Grohosky, G. et al. | 1988
- 118
-
Toccata & Fuga: a rule-based system for interactive pipeline designExman, I. / Perkalski, E. et al. | 1988
- 127
-
Knowledge-based disk I/O system design aidCho, K. / Cragon, H.G. et al. | 1988
- 134
-
Automatic design evaluation and refinement using the blackboard model of controlSharp, H. / Easteal, C. et al. | 1988
- 146
-
Current industrial practice in VLSI designClaasen, T.A.C.M. et al. | 1988
- 150
-
YNCCDB: a new database representation of VLSI circuits for fast navigation and layout verification applicationsShiran, Y. et al. | 1988
- 156
-
Accelerated logic simulation using parallel processingHoppe, F. et al. | 1988
- 166
-
Charms of programming (requirements for a theory of . . .)Durieux, J.L. et al. | 1988
- 175
-
Coupling conceptual and numerical models in decision supportJarke, M. et al. | 1988
- 184
-
On the shortcomings of the axiomatic approach as presently used in computer scienceBoute, R.T. et al. | 1988
- 196
-
Testing word oriented embedded RAMs using built-in self testBaanen, P. et al. | 1988
- 203
-
A technique for fault detection in C-testable orthogonal iterative arraysHuang, W.K. / Lombardi, F. et al. | 1988
- 214
-
A formalisation of design structuresFejs, L.M.G. et al. | 1988
- 230
-
Formalizing software development methodsDziergowski, D. / Gregoire, E. et al. | 1988
- 240
-
Formal specifications: an industrial case studyVan Horebeek, I. / Vergauwen, B. / Lewi, J. et al. | 1988
- 255
-
Optimal routing in the shuffle-exchange networks for multiprocessor systemsTan, X.N. / Sevcik, K.C. / Hong, J.W. et al. | 1988
- 265
-
A method for programming matrix algorithms in array processorsBisio, G.M. / Arduini, F. / Curatelli, F. / Di Zitti, E. / Parodi, G.C. / Zini, A. et al. | 1988
- 274
-
MME: a new integrated programming support environment for distributed embedded systemsGatti, S. / Zoccolante, L. et al. | 1988
- 279
-
A typing system for software development environmentsJamart, P. / Baudhuin, A. / Vandersmissen, M. / Vanhoedenaghe, M. et al. | 1988
- 288
-
A computer-aided design environment for distributed realtime systemsSenft, C. et al. | 1988
- 300
-
Algebraic description of reusable software componentsWirsing, M. et al. | 1988
- 314
-
Functional testing of array processorsSciuto, D. / Lombardi, F. et al. | 1988
- 324
-
Computer-aided design of self-testable VLSI circuitsKalinowski, J. / Albicki, A. et al. | 1988
- 330
-
The automatic generation of graphical user interfacesGabriel, R. et al. | 1988
- 340
-
An executable system specification to support the JSD methodologyKozaczynski, W. / Jindal, A. et al. | 1988
- 352
-
Software structuring principles for VLSI CADKatzenelson, J. / Zippel, R. et al. | 1988
- 362
-
Software engineering environmentsOddy, G.C. et al. | 1988