41 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik 2
jump to filter-options41 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik
2
Mixed level modelling and simulation of VLSI systems
In: Logic design and simulation, Vol. 1986, page 95-134
A multilevel cybernetic model of the design process
In: Methodologies for computer system design / Working Conference on Methodologies for Computer System Design <1983, Lille>, Vol. 1985, page 87-103Multilevel simulation techniques
In: VLSI and computers / First International Conference on Computer Technology, Systems and Applications, Hamburg, May 11-15, 1987, COMPEURO 87, Vol. 1.1987, page 188-192On genuinely time bounded computations
In: STACS 1989, Vol. 1989, page 1-16Petri net based description, analysis and simulation of concurrent processes
In: ACM SIGDA Newsletters, Vol. 1977, page 15-27A polynomial linear search algorithm for the N-dimensional Knapsack problem
In: Journal of the Association for Computing Machinery, Vol. 1984, page 668-676SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikIn: Die Zukunft der Informationssysteme, Vol. 1986, page 634-643Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Vol. 3.1993 Poster session, 267 pagesSpeeding up random access machines by few processors
In: STACS 1986, Vol. 1986, page 142-152Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Vol. 1980, page 279-294Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Vol. 1992, page 303-334An universal hardware editor based on an algebraic model of the time-behaviour of digital circuits
In: Discrete Systems = Diskretnye Sistemy, Vol. 5: Section GH : analysis and simulation , IFAC-Symposium Discrete Systems : (Dresden) : 1977.03.14-19, Vol. 1977, page 36-45Using transaction import statements for integrity control optimization
In: Computer applications and design abstraction, 1992 / Energy Sources Technology Conference and Exhibition <1992, Houston, Tex.>, Vol. 1992, page 91-98