Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

name

• Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Authored works

• Annual report : For the academic year 1983-1984
• Report : For the years 1984-1986

Works contributed to

• [my]C* : a hybrid redundant fault-tolerant multimicroprocessor
• [my]CAOS : a symmetric multiprocessor operating system supporting hybrid redundant computing
• A comparative study of methods for efficient reachability analysis
• A comparison of Pr/T-Net based FIFO channel models
• A failure model of a distributed transaction processing system
• A graph manipulation system
• A graph model for efficient reachability analysis of description languages
• A high-level net model of a video on demand system
• A logical basis for C/E-systems
• A management model of computer system design based on graph grammars
• A model for representing and invoking robot bodily skills
• A multiprocessor reliability model
• A performance modeling methodology for multiple processor systems
• A Petri-net model for a hybrid-redundant output system
• A PrT-net representation of graph grammars
• A structural, programmable text editor based on graph grammars
• A survey of fault-tolerant clock synchronization
• About the implementation of numerical control of machine tools by multimicroprocessor systems
• An application of teaching to intelligent robot behavior
• An automatatheoretical approach to concurrency
• An implementation of the LISPKIT LISP system
• An induction theorem for ring protocols of processes described with predicate/transition nets
• An interactive PrT-net tool for verification of SDL-specifications
• An interactive user interface for a graph manipulation system
• Artificial intelligence related research and education in Finland 1983
• Asiantuntijajärjestelmät
• Autoepistemic logic as a unified basis for nonmonotonic reasoning
• Automated interpretation of S-invariants of predicate/transition nets : an application of non-classical logics
• Circuits insensitive to delays in transistors and wires
• Computer numerical control and multimicroprocessors
• Computer systems as parts of flexible manufacturing systems
• Constructing combinatorial designs by local search
• Constructing covering designs by simulated annealing
• Constructing spherical codes by global optimization methods
• Constructions of mixed covering codes
• Design and implementation of a reduction tool for PrT-nets
• Design of a simulation model for performance evaluation of the multimicroprocessor system "MUMI"
• Dialectical nets : a categorical approach to net theory
• Digital systems laboratory : annual report for the academic year 1975-1976
• Dynamical analysis of SDL programs with predicate/transition nets
• Efficient algorithms for computing S-invariants for predicate/transition nets
• Efficient detection of deadlocks in Petri nets
• Efficient implementation of the stable model semantics for normal logic programs
• Esitutkimus epämonotonisesta logiikasta
• Graph grammar approach to natural language parsing and understanding
• Hardware support of concurrent process interaction and synchronization : on the principle of autocorrect implementation
• Helsinki logic machine : a system for logical expertise
• Henkilökohtaisten mikrotietokoneiden kohderyhmä- ja ominaisuustarkastelu
• High level distributed transition systems in categories
• Implementation of local grounding for logic programs with stable model semantics
• Interfacing and transforming knowledge bases in a graph grammar based documentation system
• Introduction of Combinatorial Extended Petri Nets
• Lexicographic ordering as a basis of priorities in default reasoning
• Logic in Petri net analysis
• Luonnollisen kielen ymmärtämisen tarkastelua
• Minimum-energy point charge configurations on a circular disk
• Modelling message protocols for the Byzantine generals problem with PrT-nets
• Modelling oral message solution protocols for agreement problems in fault-tolerant distributed systems using predicate/transition nets
• Moniprosessorijärjestelmien ohjelmistoarkkitehtuuritutkimuksen suuntaviivat Digitaalitekniikan laboratoriossa vuosille 1979-1981
• Multimicroprocessors as numerical control systems for machine tools
• Net-theoretical methods in modelling Byzantine consensus protocols in agreement problems
• Non-monotonic systems : a framework for analyzing semantics and structural properties of non-monotonic reasoning
• On the compositionality and analysis of algebraic high-level nets
• On the implementation of decentralized operative computer control for flexible manufacturing systems
• On the implementation of recursive computers
• On the notion of dialectical nets
• On the performance evaluation of multimicroprocessor systems
• On the performance of the hybrid redundant multimicroprocessor [my]C*
• On the structure of delegation networks
• On the structure of high-level nets
• On the stubborn set method in reduced state space generation
• Performance analysis of a traffic control system using Stochastic Petri Nets
• Performance analysis of a video on demand system using stochastic Petri nets : a case study
• Petri nets in algebraic theories : a category theory approach
• Priorities and nonmonotonic reasoning
• Proceedings of the HeCSE Workshop on Emerging Technologies in Distributed Systems
• Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning
• PROD reference manual
• PROD-A Pr/T-net reachability analysis tool
• Program synthesis based on graph grammars
• Raportti tutustumismatkasta Varsovan teknillisen korkeakoulun tietojenkäsittelytekniikan laitokselle 19-26.2.1979
• ReFIEx : an experimental tool for special-purpose processor code generation
• Report from a study and research tour to the Leningrad Electrotechnical University (LETI) 3.1.-7.4.1978
• Resource allocation in a distributed data acquisition network
• Semantics of semaphores
• Some unsolved problems in modelling self-timed circuits using Petri Nets
• Specification of a net description language compiler
• SPNA, a Stochastic Petri Net Analyzer
• Stratification and tractability in nonmonotonic reasoning
• Suomenkielen automaattinen tulkinta verkkokielten avulla : ensimmäisiä tuloksia
• Tampereen yliopiston Liiketalouden tutkimuskeskuksen julkaisuja
• Tekoäly : lyhyt katsaus
• Tekoälytutkimuksen kaupalliset sovellutukset ja markkinat
• Tekoälytutkimuksen uusi tuleminen : katsaus alan järjestö-, konferenssi- ja julkaisutoimintaan maailmalla
• Tietojenkäsittelyteorian käsiterakenteiden käytöstä luonnollisen kielen ymmärtämisen kuvaamisessa
• Tools for verifying specifications
• Towards automatic interpretation of S-invariants of predicate/transition nets
• Towards constraint satisfaction through logic programs and the stable model sematics
• Towards optimizing code generation by domain-sensitive macro expansion
• Utilizing Petri net models for multiprocessor synchronization and scheduling
• Weakened negative introspection in autoepistemic reasoning
• What operational semantics is adequate for nonsequential systems?

Works about Teknillinen korkeakoulu. Digitaalitekniikan laboratorio