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. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Thijs Krol

dblp:k/ThijsKrol · DBLP profile ↗
← Back
10ranked-venue papers
3as first author
0since 2021 · last 2007
—ORCID · none

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

Systems, architecture and hardware · 4 · 1 first-authorSoftware engineering, systems software and programming languages · 4 · 1 first-authorComputer networks · 2 · 1 first-authorSecurity and privacy · 2 · 1 first-authorTheory of computation · 1

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.

Theoretical computer science
2 papers
Coding theory · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 67% Hardware reliability and fault tolerance · 33%

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

TopicWeightPapersLastEvidence papers
Distributed systems
distributed coordination
0.011986
(N, K) Concept Fault Tolerance · IEEE Trans. Computers 1986
Hardware reliability and fault tolerance
fault-tolerant architecture
0.011986
(N, K) Concept Fault Tolerance · IEEE Trans. Computers 1986
Distributed systems › consensus › byzantine agreement
interactive consistency
0.011986
(N, K) Concept Fault Tolerance · IEEE Trans. Computers 1986
Coding theory
error-correcting codes
0.011986
(N, K) Concept Fault Tolerance · IEEE Trans. Computers 1986
Coding theory › error-correcting codes › error detection and correction
symbol error-correcting codes
0.011986
(N, K) Concept Fault Tolerance · IEEE Trans. Computers 1986
Coding theory › error-correcting codes
convolutional codes
0.011983
MDS convolutional codes · IEEE Trans. Inf. Theory 1983
Coding theory › error-correcting codes
decoding
0.011983
MDS convolutional codes · IEEE Trans. Inf. Theory 1983
Coding theory › error-correcting codes › convolutional codes
MDS convolutional code
0.011983
MDS convolutional codes · IEEE Trans. Inf. Theory 1983

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

symbol- and bit-error correcting codes · 0.0distributed implementation · 0.0decoding procedure · 0.0algebraic construction · 0.0
YearPublicationVenuePosition
2007 Cyclostationary feature detection on a tiled-SoC
abstract
In this paper, a two-step methodology is introduced to analyse the mapping of cyclostationary feature detection (CFD) onto a multi-core processing platform. In the first step, the tasks to be executed by each core are determined in a structured way using techniques known from the design of array processors. In the second step, the implementation of tasks on a processing core is analysed. Using this methodology, it is shown that calculating a 127 times 127 discrete spectral correlation function requires approximately 140 mus on a tiled system on chip (SoC) with 4 Montium cores
André B. J. Kokkeler, Gerard J. M. Smit, Thijs Krol, Jan Kuper
DATE3
2003 Mapping Applications to an FPFA Tile
Michèl A. J. Rosien, Yuanqing Guo, Gerard J. M. Smit, Thijs Krol
DATE4
2002 The Synthesis of a Hardware Scheduler for Non-Manifest Loops
abstract
This paper addresses the hardware implementation of a dynamic scheduler for non-manifest data dependent periodic loops. Static scheduling techniques which are known to give near optimal scheduling-solutions for manifest loops, fail at scheduling non-manifest loops, since they lack the run time information needed which makes a static schedule feasible. In this paper a dynamic scheduling approach was chosen to circumvent this problem. We present a case study using VHDL where the focus lies on implementations with minimal memory usage and low communication overhead between various components of the architecture. This has resulted in an efficient and synthesisable system.
Omar Mansour, Egbert Molenkamp, Thijs Krol
DSD3
1999 Interconnecting Lock-Step Synchronous Fault-Tolerant Systems Based on Voting and Error-Correcting Codes
abstract
The correctness of the behavior of a fault-tolerant system depends among other things on the correct distribution of the data descending from unreliable I/O devices over the modules of the fault-tolerant system, the so-called input-problem. More generally, a maliciously behaving system, whether it is fault-tolerant or not, should never defeat a correctly functioning fault-tolerant system, i.e. a system which does not contain more faulty modules than it is designed to tolerate. This paper presents a new class of synchronous deterministic non-authenticated algorithms for reaching Byzantine agreement on data descending from other (fault-tolerant) devices. The algorithms are based on voting and error-correcting codes and require considerably less data communication than the existing algorithms, whereas the number of rounds and the number of modules meet the minimum bounds.
Thijs Krol
PRDC1
1997 Distributed cryptographic function application protocols
André Postma, Thijs Krol, Egbert Molenkamp
ICICS2
1996 Interactive Consistency in Quasi-Asynchronous Systems
abstract
In order to make a dependable distributed computer system resilient to arbitrary failures of its processors, deterministic interactive consistency algorithms (ICAs) are required. Thus far, in order to guarantee interactive consistency, all ICAs found in the literature require that all correct processors in the system start the algorithm simultaneously. In a distributed system, it is hard to satisfy this requirement. Therefore, in this paper, we describe a new class of self-synchronizing ICAs that guarantee interactive consistency without the above-mentioned requirement.
André Postma, Thijs Krol
ICECCS2
1986 (N, K) Concept Fault Tolerance
abstract
This paper describes a new fault-tolerant computer architecture based on a "distributed implementation" of a symbol- error correcting code. In this, as at is called, (N, K) concept the faults are masked by this code. The (N, K) concept is described in detail for N = 4 and K = 2. It is shown that symbol-error correcting codes having additional bit-error correcting capabilities make additional memory protection by means of bit-error correcting codes superfluous and a newly designed symbol- and bit-error correcting code for the (4,2) concept is presented. In order to cope with unreliable input devices, the interactive consistency problem is redefined and an algorithm is presented which solves this problem. The practical implementation of this algorithm in the (4,2) concept is described in detail.
Thijs Krol
IEEE Trans. Computers1
1984 A Proposal for a Wideband Digital Satellite Switch
A. W. M. v. d. Enden, Thijs Krol
ICC (1)2
1984 A Mathematical Description of the Behaviour of Time Division Multiplex Exchanges
Thijs Krol, A. W. M. v. d. Enden
ICC (1)1
1983 MDS convolutional codes
abstract
Maximum distance separable (MDS) convolutional codes are defined as the row space overF(D)of totally nonsingular polynomial matrices in the indeterminateD. These codes may be used to transmit information onnparallel channels when a temporary or even an infinite break can occur in some of these channels. Their algebraic properties are emphasized, and the relevant parameters are introduced. On this basis two decoding procedures are described. Both procedures correct arbitrarily long error sequences that may occur at the same time in some of thenchannels. Some specific constructions of MDS convolutional codes are presented.
Philippe Piret, Thijs Krol
IEEE Trans. Inf. Theory2