Memorandum / Universiteit Twente, Faculteit der Informatica
Tumult, a multi-processor system : its architecture and communication / Pierre G. Jansen, Gerard J.M. SmitA view in the tremendous literature of testing / E. MolenkampMetastability and its consequences for the Tumult-interface / Paul J.M. Havinga, Gerard J.M. Smit & Pierre G. JansenTwo type deduction systems with conjunction types / Mirjam GerritsenComparison of two graph rewrite systems / P.M. van den BroekAn experiment in making a LOTOS verifier / Peter van EijkModelling and simulation in a functional programming language : a case study / S. JoostenResolution-based deduction / P.M. Wognum, N.J.I. MarsSeparation of hierarchies in VLSI design demonstrated on adders / C. Huijs and L. SpaanenburgExploring AI in VLSI-CAD systems / G.R. Tjon Joek TjienConfluence of indirection reductions in graph rewrite systems / P.M. van den BroekA study of the three instruction machine / M.M. RamaerFout-tolerante computersystemen : een overzicht van enkele methoden en technieken / L.J.M. NieuwenhuisOn the semantics of non-atomic actions / Arend RensinkTUMULT : the Twente University Multiprocessor / J. Scholten, P.G. JansenSpecification of the Tumult communication in Lotos / Gerrit NiemeijerConstraint specification in BSDM / Rolf A. de ByFormalizing the data and knowledge model / Maurice A.W. Houtsma, Herman BalstersOplossingsprocessen bij leren funktioneel programmeren / Klaas van den Berg ... [et al.]High level synchronization services of OSI : commitment, concurrency and recovery / Ibrahim Ajubi, Marten van SinderenInterconnection of continuous bitstream and stream oriented networks : architectural considerations / authors: Aiko Pras, Jeroen SchotIntegrated services digital network : overview and architectural concepts / Jeroen Schot, Aiko PrasFunctional specification: a case study / S. JoostenFunctional system specification / S. JoostenDynamic queueing networks / Boudewijn R. Haverkort, Ignas G. NiemegeersThe use of first principles in diagnosing complex technical devices / D.C. van Soest ... [et al.]Explanation in knowledge-based systems / P.M. Wognum, N.J.I. MarsProcessor controlpath synthesis : literature survey and preliminary analysis / A.J.W.M. ten BergAn overview of some methods for the high-level specification of synchronization / J.J. LuursemaA logic query language and its algebraic optimization for a multiprocessor database machine / Maurice A.W. Houtsma ... [et al.]Analyse van de tutor LISP-ITS van de Carnegie-Mellon University / J. Stijnen, M. OffereinsA qualitative way of solving the pole balancing problem / A. MakarovicA case study relating the Yourdon methodology to other design methods / W.A. VervoortGeneesmiddelen distributie in het ziekenhuis de Stadsmaten / S. JoostenTUMULT-64 : a real-time multiprocessor system / Pierre G. Jansen, Gerard J.M. SmitProbleemoplossen met SQL : verslag van een vooronderzoek / E.M.A.G. van DijkImplementing PRISMA/DB in an OOPL / Paul Grefen ... [et al.]Review of the Graham-Glanville Code-Generation scheme / Albert NijmeijerA method of software development using functional programming / S.M.M. JoostenA theory of describing performability models / Boudewijn R. Haverkort, Ignas G. Niemegeers
isPartOf
mainEntity
Memorandum / Universiteit Twente, Faculteit der Informatica
author
inLanguage
issn
mainEntityOfPage
name
Memorandum
publication
sameAs
label
Memorandum / Universiteit Twente, Faculteit der Informatica