Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Reiner Kolla

dblp:41/4118 · DBLP profile ↗
← Back
20ranked-venue papers
3as first author
0since 2021 · last 2017
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 13 · 1 first-authorTheory of computation · 3 · 2 first-authorApplied, interdisciplinary, general and emerging computing · 3Computer networks · 2Software engineering, systems software and programming languages · 1Databases, data management, data science and information retrieval · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
4 papers
Electronic design automation · 76% Parallel and multicore computing · 24%

Topics — the 9 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation › high-level synthesis › scheduling
dataflow graph scheduling
0.012003
Disproving the Perfect-Rate Property of Data-Flow Graphs Unfolded by the Least Common Multiple of the Number of Loop Registers · IEEE Trans. Computers 2003
Electronic design automation
logic synthesis
0.021998
Boolean Matching for Large Libraries · DAC 1998
A cell-based approach to performance optimization of fanout-free circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1992
Electronic design automation › logic synthesis
technology mapping
0.011998
Boolean Matching for Large Libraries · DAC 1998
Electronic design automation › logic synthesis
circuit optimization
0.011992
A cell-based approach to performance optimization of fanout-free circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1992
Electronic design automation › logic synthesis › technology mapping
library mapping
0.011992
A cell-based approach to performance optimization of fanout-free circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1992
Electronic design automation
physical design
0.011992
A cell-based approach to performance optimization of fanout-free circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1992
Electronic design automation › logic synthesis
boolean matching
0.011998
Boolean Matching for Large Libraries · DAC 1998
Electronic design automation › design methodology
hierarchical design
0.011987
Hierarchical Design Based on a Calculus of Nets · DAC 1987
Electronic design automation › circuit sizing
transistor sizing
0.011992
A cell-based approach to performance optimization of fanout-free circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1992

Methods — techniques the papers use, named apart from their topics

counterexample · 0.0canonical representative · 0.0NPN equivalence · 0.0heuristics · 0.0dynamic programming · 0.0area-delay tradeoff · 0.0algebraic specification · 0.0
YearPublicationVenuePosition
2017 TwoPhases: A transmission scheme to reduce the link width at deflection routing based Network-on-Chips
Armin Runge, Reiner Kolla
J. Syst. Archit.2
2016 A wearable 1-lead necklace ECG for continuous heart rate monitoring
abstract
Nowadays, people are getting more and more concern on their own fitness conditions and it has become a digital healthy lifestyle movement. A basic activity tracker has given many data on the user's movement to fulfill their daily goal of calories burned. An advance tracker can also measure heart rate with accurate activity intense level. However, consider if these fitness devices can be used for clinical diagnosis by adding an ECG, then it can be a daily health monitoring or a health assisted device by connecting it to the internet via a smartphone. To use an ECG as a wearable device, the electrode positions has to fulfill the clinical placement. A new biomedical electrodes placement is proposed in this paper to meet the practicality of a fitness lifestyle device but has a medical ECG result for continuous heart monitoring in a form of a necklace. The device has a single lead ECG analog front end that is connected to an ARM-Cortex M4 microcontroller. It uses a 4 GB memory card, rechargeable battery, and a Bluetooth Low Energy 4.0 to communicate with an Android 4.3 smartphone. The test results were taken from a 32-year-old male subject with normal heart condition. The signal acquired from the electrode placement at the backside of the neck shows Lead I waveform with 10% from the normal position amplitude value. The R-wave of every heartbeat can be seen for heart rate calculation. Therefore, it is able to do a daily heart monitoring with a lifestyle device.
Aulia Arif Iskandar, Reiner Kolla, Klaus Schilling 0001, Wolfram Völker
HealthCom2
2016 Using benes networks at fault-tolerant and deflection routing based network-on-chips
abstract
Fault tolerance and energy consumption are two key aspects of future Network-on-Chips (NoCs). The utilization of deflection routing and Banyan networks for fault-tolerant and energy efficient router architectures was proposed recently. Compared to traditionally deployed crossbars, Banyan networks can reduce hardware costs and improve the energy efficiency of router architectures. However, they also cause substantial disadvantages in terms of fault tolerance, as they are internal blocking, single-path networks. In contrast, Benes networks have some considerable advantages if they are used for fault-tolerant NoCs, as they are rearrangeable non-blocking, multi-path networks. In this paper, we identify the problems of Banyan networks when it comes to fault tolerance. Further, we show that a router architecture, which is instead based on a Benes network, can solve all identified problems, if constructed carefully. Comparisons to existing fault-tolerant and deflection routing based NoCs are presented. The achieved results show, that compared to Banyan networks, Benes networks can improve the performance at almost no additional hardware costs.
Armin Runge, Reiner Kolla
NOCS2
2011 Precise self-calibration of ultrasound based indoor localization systems
abstract
Several ultrasound based localization systems consist of environmental anchor nodes, and mobile nodes, which estimate their own position by using a static infrastructure. For the location process, every anchor has to know its position. In most approaches, the location of all anchors has to be determined a priori manually. This procedure is time consuming and fault-prone. In this paper, we present Distribute & Erase and Explorer, two self-calibration methods for ultrasound based localization systems. The first uses a set of three pre-calibrated anchors to explore the whole localization system whereas the second refines the anchors' positions progressively. Both of our approaches require no additional hardware besides ultrasound receivers or transmitters, and radio transceivers, which have to be already available for the WSN based localization system.
Armin Runge, Marcel Baunach, Reiner Kolla
IPIN3
2007 A Method for Self-Organizing Communication in WSN Based Localization Systems: HashSlot
abstract
Localization of objects within space is a common problem in WSN research. Besides the location estimation itself, wireless communication is a central aspect within such systems. We present the novel HashSlot method for assured and collision-free transmission of radio packets from multiple sources to a common destination within a constant and predictable time. Due to self-organization, our approach needs no prior active coordination between sensor nodes and offers various techniques like selectable quality of service levels to dynamically limit the number of returned information during runtime. Thereby, precision and speed of the localization process can be adjusted, fault tolerance can be achieved and energy consumption will be reduced. This paper describes theory and application of the HashSlot method within a real WSN based localization system.
Marcel Baunach, Reiner Kolla, Clemens Mühlberger
LCN2
2007 Beyond Theory: Development of a Real World Localization Application as Low Power WSN
abstract
The real-world implementation of a just theoretically elaborated idea is sometimes cumbersome, often a couple of obstacles have to be overcome. That's likewise in the area of wireless sensor networks (WSN), but complicated by some further restrictions, e.g. little memory or low power consumption. One well-known and often required application within WSN is the geographical localization of several sensor nodes. That's why this paper deals with some problems arising during the development of a WSN using the time difference of arrival (TDoA) of ultrasound and radio signals for positioning. Its focus is on handling of microcontroller difficulties like little memory, low computational power or low energy consumption as well as hardware driven failures like inaccurate measurements or node failures.
Marcel Baunach, Reiner Kolla, Clemens Mühlberger
LCN2
2003 Disproving the Perfect-Rate Property of Data-Flow Graphs Unfolded by the Least Common Multiple of the Number of Loop Registers
abstract
In their 1991 paper "Static Rate-Optimal Scheduling of Iterative Data-Flow Programs via Optimum Unfolding", Parhi and Messerschmidt stated a perfect-rate property on unfolded data-flow graphs (DFGs). This is disproven by a simple counter example.
Frank Wolz, Reiner Kolla
IEEE Trans. Computers2
2002 A Retargetable Macro Generation Method for the Evaluation of Repetitive Configurable Architectures
Frank Wolz, Reiner Kolla
FPL2
2001 Bubble Partitioning for LUT-Based Sequential Circuits
Frank Wolz, Reiner Kolla
FPL2
1999 Spanning Tree-based State Encoding for Low Power Dissipation
abstract
In this paper we address the problem of state encoding for synchronous finite state machines. The primary goal is the reduction of switching activity in the state register. At the beginning the state transition graph is transformed into an undirected graph where the edges are labeled with the state transition probabilities. Next a maximum spanning tree of the undirected graph is constructed and we formulate the state encoding problem as an embedding of the spanning tree into a Boolean hypercube of unknown dimension. At this point a modification of Prim's maximum spanning tree algorithm is presented to limit the dimension of the hypercube for area constraints. Then we propose a polynomial time embedding heuristic, which removes the restriction of previous works, where the number of state bits used for encoding of a k-state FSM was generally limited to [log/sub 2/ k]. Next a more sophisticated embedding algorithm is presented, which takes into account the state transition probabilities not covered by the spanning tree. The resulting encodings of both algorithms often exhibit a lower switching activity and power dissipation in comparison with a known heuristic for low power state encoding.
Winfried Nöth, Reiner Kolla
DATE2
1998 Boolean Matching for Large Libraries
abstract
Boolean matching tackles the problem whether a subcircuit of a boolean network can be substituted by a cell from a cell library. In previous approaches [7, 10, 8] each pair of a subcircuit and a cell is tested for NPN equivalence. This becomes very expensive if the cell library is large. In our approach the time complexity for matching a subcircuit against a library L is almost independent of the size of L. CPU time also remains small for matching a subcircuit against the huge set of functions obtained by bridging and fixing cell inputs; but the use of these functions in technology mapping is very profitable. Our method is based on a canonical representative for each NPN equivalence class. We show how this representative can be computed efficiently and how it can be used for matching a boolcan function against a set of library functions.
Uwe Hinsberger, Reiner Kolla
DAC2
1997 Node normalization and decomposition in low power technology mapping
abstract
In CMOS technology the decomposition of the nodes of a circuit can significantly reduce the circuit power dissipation.We present a normalization algorithm which extracts the largest nodes of the given netlist.Then we examine a known node decomposition algorithm and propose a new one which is provable optimal and tractable for moderate node sizes.Reduction of the overall switching activity on standard benchmark circuits is shown for exact (ROBDD) d an uncorrelated signal probabilities.
Winfried Nöth, Reiner Kolla
ISLPED2
1996 TROY: A Tree-Based Approach to Logic Synthesis and Technology Mapping
abstract
In this paper we present a new approach to the synthesis of combinational circuits and the mapping of standard gates like NAND, NOR, AOI and OAI with arbitrary number of inputs. Our method is based on the provable optimal synthesis of the fan-out-free regions of a circuit, represented as normal AND-OR-trees. Normal AND-OR-trees enable TROY to rebalance the regions with respect to delay without loosing area and lead to a much larger search space than that used by tree matching. Fast heuristics derived from the optimal approach yield significantly faster results than SIS on many standard benchmark circuits.
Winfried Nöth, Uwe Hinsberger, Reiner Kolla
Great Lakes Symposium on VLSI3
1995 Optimal technology mapping for single output cells
abstract
This paper presents a new approach to technology mapping for arbitrary technologies with single output cells. It overcomes the restrictions of tree-mapping based methods. Optimal algorithms for special cases of DAG-mapping are presented: for minimum delay mapping and for duplication-free mapping under a class of simple cost functions (including area and delay). Heuristics for duplication of logic and for AT-tradeoffs are developed and applied to LUT-FPGAs.
Uwe Hinsberger, Reiner Kolla
Great Lakes Symposium on VLSI2
1992 A cell-based approach to performance optimization of fanout-free circuits
abstract
The following optimization problem is considered. Assume that each gate of a given circuit can be realized by one of several implementations which have different physical properties. Given this assumption, realizations of the circuit with optimal area delay tradeoff are sought. The formal model used is a discrete version of the transistor sizing problem on one hand and a special case of the library mapping problem on the other hand. It is independent of technology and applicable to even very restrictive design styles, as, for example, gate arrays or sea of gates. Since sizing of general combinational circuits is NP-complete, it is proposed to use heuristics on the base of optimal solutions for subcircuits. With this in mind, an efficient dynamic programming algorithm for minimizing the delay of a fanout-free circuit (tree) under an area constraint is presented.>
Uwe Hinsberger, Reiner Kolla
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.2
1991 The Virtual Feedback Problem in Hierarchical Representations of Combinational Circuits
Reiner Kolla, Bernd Serf
Acta Informatica1
1989 A note on hierarchical layer-assignment
Reiner Kolla, Paul Molitor
Integr.1
1988 On the Construction of Optimal Time Adders (Extended Abstract)
Bernd Becker 0001, Reiner Kolla
STACS2
1987 Hierarchical Design Based on a Calculus of Nets
abstract
We present an algebraic approach to hierarchical design of integrated circuits. This approach is based on a of nets which includes topological as well as behavioural aspects of integrated circuits. We have developed a hierarchical design system called CADIC which is build around this calculus in much the same way as e.g. Algol is build around numerics. An example for the design of a family of fast adders will demonstrate the power of this calculus. Finally we will give a summary outline on the structure of procedures which automatically transform the design into lower design levels.
Bernd Becker 0001, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof
DAC3
1983 Where-Oblivious is not Sufficient
Reiner Kolla
Inf. Process. Lett.1