Journal: Elektronische Informationsverarbeitung und Kybernetik

Found 28 papers in total
Reading data in a hierarchical memory
Reading data in a hierarchical memory
1991,
In 1987 A Aggarwal, A.K. Chandra and M. Snir developed a model of hierarchical memory...
On relational database schemes having unique minimal key
On relational database schemes having unique minimal key
1991,
The relational database schemes having unique minimal key are completely...
On Time Petri nets
On Time Petri nets
1991,
This paper shows how to study boundedness and liveness of a finite Time Petri net in a...
Reliability bounds based on network splitting
Reliability bounds based on network splitting
1991,
The K -terminal reliability is the probability that all K -vertices in a stochastic...
A special problem on rectangular floorplans solvable in polynomial time
A special problem on rectangular floorplans solvable in polynomial time
1991,
S.L. Hakimi has studied the problem of packing rectangles with given areas and...
A three-dimensional bin packing algorithm
A three-dimensional bin packing algorithm
1991,
In this paper an approximation algorithm for the three-dimensional bin packing problem...
Minimal area sizing of power supply nets in VLSI circuits
Minimal area sizing of power supply nets in VLSI circuits
1990,
The paper presents a simple dynamic programming approach to find minimum area sizings...
An finite capacity telecommunication system with repeated calls
An finite capacity telecommunication system with repeated calls
1989,
The performance of a finite capacity random access telecommunication system with...
Reliability analysis of a complex renewable system with fast repair
Reliability analysis of a complex renewable system with fast repair
1989,
The present paper is concerned with an asymptotic analysis of a complex renewable...
Graphs-theoretical properties and chain code picture languages
Graphs-theoretical properties and chain code picture languages
1989,
The paper describes pictures by words over the alphabet {up, down, right, left} whose...
Graphs and automata in the theory of signature analysis
Graphs and automata in the theory of signature analysis
1990,
Signature analysis is a compact method in digital testing. Applying this method, a...
Solving generalized equations over infinite trees
Solving generalized equations over infinite trees
1989,
In the paper a nondeterministic algorithm for solving sets of equations between terms...
Lower bounds proofs via Voronoi diagrams
Lower bounds proofs via Voronoi diagrams
1989,
It is shown that the large class of geometric problems satisfying an ¦[( n log...
A time logic for hierarchical modelling of dynamic systems
A time logic for hierarchical modelling of dynamic systems
1989,
The paper surveys hierarchical modelling, with emphasis on temporal hierarchical...
Algebraic specification of modules and configuration families
Algebraic specification of modules and configuration families
1989,
Modular software systems usually evolve during a longer period of time, in which...
A Generalized Multi-commodity Location-Allocation Model
A Generalized Multi-commodity Location-Allocation Model
1989,
The aim of this paper is to present a Generalized Multi-commodity Location-Allocation...
On optimal pair sequences
On optimal pair sequences
1989,
Given two disjoint groups X and Y , each containing n people. Suppose an experiment...
Hamiltonian properties of the Cartesian sum of hypergraphs
Hamiltonian properties of the Cartesian sum of hypergraphs
1989,
The paper presents sufficient conditions guaranteeing traceability and Hamiltonicity...
Asymptotic reliability of some complex systems with repair operating in random environments
Asymptotic reliability of some complex systems with repair operating in random environments
1989,
The paper is concerned with an asymptotic reliability analysis of some complex systems...
A random access telecommunication system
A random access telecommunication system
1988,
The performance of a random access telecommunication system with repeated calls in...
About closed sets of linear functions in many-valued logics
About closed sets of linear functions in many-valued logics
1988,
In this paper all closed sets of the set L k of linear functions of k -valued logic...
Graph controlled table Lindenmayer systems
Graph controlled table Lindenmayer systems
1988,
A new type of Lindenmayer systems-graph controlled table Lindenmayer system-is...
On keys in the relational data model
On keys in the relational data model
1988,
The main purpose of this paper is to prove that for a given relation there exists a...
Individual call blocking probabilities in the loss systems SM+M/M/N and G+M/M/N
Individual call blocking probabilities in the loss systems SM+M/M/N and G+M/M/N
1988,
A method is derived for calculating the individual call blocking probabilities which...
Papers per page: