Detail page

Media

Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen

SFB-Bericht / Sonderforschungsbereich 342, Institut für Informatik, Technische Universität München. Reihe A

München: [Verlag nicht ermittelbar], 1990-

Title	SFB-Bericht / Sonderforschungsbereich 342, Institut für Informatik, Technische Universität München. Reihe A
Involved	Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen (Verfasser)
Published	München: [Verlag nicht ermittelbar] 1990-
Publication history	1990 -
Language	Deutsch
Country	Deutschland
Topic	Informatik
Further information	Einzelne Bände zugleich Bände von: Report on the collaborative research project between TUM and Sun Microsystems Zugl. alle Bd. von: Institut für Informatik, Technische Universität München : TUM I Orig.Zählung z.B. Nr. 342/2/90 A
Record ID	016149718
In this series show all A combination technique for the solution of sparse grid problems A deadlock-sensitive congruence for action refinement A definition of efficiency of parallel programs in multi tasking environments A denotational model for mobile many to many data flow networks A denotational model for mobile point to point dataflow networks A domain oriented multilevel algorithm : implementation and parallelization A formal method for hardware, software co-design A framework for parallel processing of aggregate and scalar functions in object relational DBMS A functional rephrasing of the assumption, commitment specification style A multi-level algorithm for the finite element solution of general second order elliptic differential equations on adaptive sparse grids A parallelizable and vectorizable multi-level-algorithm on sparse grids A proof of convergence for the combination technique for the Laplace equation using tools of symbolic computation A refinement relation supporting the transition from unbounded to bounded communication buffers A simple toy example of a distributed system : on the design of a connecting switch A simulator for VLIW architectures A survey of virtually shared memory schemes Abstracts of the Workshop "Massively Parallel Inference Systems" : December 17 - 18, 1990 Adaptive parallele Multilevel-Methoden zur Lösung elliptischer Randwertprobleme An adaptive poisson solver using hierarchical bases and sparse grids An asymptotic solution for the singularity at the angular point of the lid driven cavity An attempt to embed a restricted version of SDL as a target language in foucs Answers for disjunctive logic programs Applying a new search space partitioning method to parallel test generation for sequential circuits Assumption, commitment rules for data flow networks : with an emphasis on completeness Assumption, commitment rules for networks of asynchronously communicating agents Asynchronous communication of Petri nets and the refinements of transitions Auto-correlation of lag k for customers departing from semi-Markov processes Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme Bisimulation and action refinement Branching time and abstraction in bisimulation semantics Characterizing the behavior of reactive systems by trace sets Convergence of the combination technique for the finite element solution of Poisson's equation Cooperative parallel automated theorem proving Corolla partitioning for distributed logic simulation of VLSI circuits Coupled problems in microsystem technology Dataflow semantics for Petri nets DBFW: a simple database framework for the evaluation and maintenance of automated theorem prover data : (incl. documentation) Deriving efficient parallel programs by systemating coarsing specification parallelism Developing multicomputer applications on networks of workstations using NXLib Development and implementation of a communication protocol : an exercise in FOCUS Development of a distributed min max component Die Rolle der Lastverteilung bei der numerischen Parallelprogrammierung Eine Methode zur formalen Modellierung von Betriebssystemkonzepten Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme Einsatz eines automatischen Theorembeweisers in einer taktikgesteuerten Beweisumgebung zur Lösung eines Beispiels aus der Hardware-Verifikation : Fallstudie Elements of a temporal logic coping with concurrency Embedding graphs with bounded treewidth into optimal hypercubes Equivalences and refinement Extrapolation, combination, and sparse grid techniques for elliptic boundary value problems Faster sorting and routing on grids with diagonals Fluid structure interaction : 3D-numerical simulation and visualization of a micropump Formal design of a model N counter Formale Syntax zur logischen Kernsprache der Focus-Entwicklungsmethodik Formalisms and languages for specifying parallel inference systems Formalizing and verifying time warp with FOCUS Fouriertransformation auf dünnen Gittern mit hierarchischen Basen Functional modelling of operating sytem [system] structures by timed higher order stream processing functions Funktionale Modellierung eines Postsystems Funktionale Spezifikation eines Kommunikationsprotokolls Gauss' adaptive relaxation for the multilevel solution of partial differential equations on sparse grids

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

SFB-Bericht / Sonderforschungsbereich 342, Institut für Informatik, Technische Universität München. Reihe A

A combination technique for the solution of sparse grid problems

A deadlock-sensitive congruence for action refinement

A definition of efficiency of parallel programs in multi tasking environments

A denotational model for mobile many to many data flow networks

A denotational model for mobile point to point dataflow networks

A domain oriented multilevel algorithm : implementation and parallelization

A formal method for hardware, software co-design

A framework for parallel processing of aggregate and scalar functions in object relational DBMS

A functional rephrasing of the assumption, commitment specification style

A multi-level algorithm for the finite element solution of general second order elliptic differential equations on adaptive sparse grids

A parallelizable and vectorizable multi-level-algorithm on sparse grids

A proof of convergence for the combination technique for the Laplace equation using tools of symbolic computation

A refinement relation supporting the transition from unbounded to bounded communication buffers

A simple toy example of a distributed system : on the design of a connecting switch

A simulator for VLIW architectures

A survey of virtually shared memory schemes

Abstracts of the Workshop "Massively Parallel Inference Systems" : December 17 - 18, 1990

Adaptive parallele Multilevel-Methoden zur Lösung elliptischer Randwertprobleme

An adaptive poisson solver using hierarchical bases and sparse grids

An asymptotic solution for the singularity at the angular point of the lid driven cavity

An attempt to embed a restricted version of SDL as a target language in foucs

Answers for disjunctive logic programs

Applying a new search space partitioning method to parallel test generation for sequential circuits

Assumption, commitment rules for data flow networks : with an emphasis on completeness

Assumption, commitment rules for networks of asynchronously communicating agents

Asynchronous communication of Petri nets and the refinements of transitions

Auto-correlation of lag k for customers departing from semi-Markov processes

Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme

Bisimulation and action refinement

Branching time and abstraction in bisimulation semantics

Characterizing the behavior of reactive systems by trace sets

Convergence of the combination technique for the finite element solution of Poisson's equation

Cooperative parallel automated theorem proving

Corolla partitioning for distributed logic simulation of VLSI circuits

Coupled problems in microsystem technology

Dataflow semantics for Petri nets

DBFW: a simple database framework for the evaluation and maintenance of automated theorem prover data : (incl. documentation)

Deriving efficient parallel programs by systemating coarsing specification parallelism

Developing multicomputer applications on networks of workstations using NXLib

Development and implementation of a communication protocol : an exercise in FOCUS

Development of a distributed min max component

Die Rolle der Lastverteilung bei der numerischen Parallelprogrammierung

Eine Methode zur formalen Modellierung von Betriebssystemkonzepten

Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme

Einsatz eines automatischen Theorembeweisers in einer taktikgesteuerten Beweisumgebung zur Lösung eines Beispiels aus der Hardware-Verifikation : Fallstudie

Elements of a temporal logic coping with concurrency

Embedding graphs with bounded treewidth into optimal hypercubes

Equivalences and refinement

Extrapolation, combination, and sparse grid techniques for elliptic boundary value problems

Faster sorting and routing on grids with diagonals

Fluid structure interaction : 3D-numerical simulation and visualization of a micropump

Formal design of a model N counter

Formale Syntax zur logischen Kernsprache der Focus-Entwicklungsmethodik

Formalisms and languages for specifying parallel inference systems

Formalizing and verifying time warp with FOCUS

Fouriertransformation auf dünnen Gittern mit hierarchischen Basen

Functional modelling of operating sytem [system] structures by timed higher order stream processing functions

Funktionale Modellierung eines Postsystems

Funktionale Spezifikation eines Kommunikationsprotokolls

Gauss' adaptive relaxation for the multilevel solution of partial differential equations on sparse grids