Institution
Brno University of Technology
Education•Brno, Czechia•
About: Brno University of Technology is a education organization based out in Brno, Czechia. It is known for research contribution in the topics: Fracture mechanics & Filter (video). The organization has 6339 authors who have published 15226 publications receiving 194088 citations. The organization is also known as: Vysoké učení technické v Brně & BUT.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: In this paper, a general approach to regular model checking based on inference of regular languages is proposed. But this approach is restricted to finite state systems with reachability relations and termination is not guaranteed in general.
55 citations
••
TL;DR: In this article, the authors used red-clay ceramic powders and a varying amount of Na2O/SiO2 activator to synthesize a geopolymer from metakaolin, fly ash, or blast furnace slag.
55 citations
••
16 Mar 2013TL;DR: A technique for automatically verifying safety properties of concurrent programs, in particular programs which rely on subtle dependencies of local states of different threads, such as lock-free implementations of stacks and queues in an environment without garbage collection is presented.
Abstract: We present a technique for automatically verifying safety properties of concurrent programs, in particular programs which rely on subtle dependencies of local states of different threads, such as lock-free implementations of stacks and queues in an environment without garbage collection Our technique addresses the joint challenges of infinite-state specifications, an unbounded number of threads, and an unbounded heap managed by explicit memory allocation Our technique builds on the automata-theoretic approach to model checking, in which a specification is given by an automaton that observes the execution of a program and accepts executions that violate the intended specification We extend this approach by allowing specifications to be given by a class of infinite-state automata We show how such automata can be used to specify queues, stacks, and other data structures, by extending a data-independence argument For verification, we develop a shape analysis, which tracks correlations between pairs of threads, and a novel abstraction to make the analysis practical We have implemented our method and used it to verify programs, some of which have not been verified by any other automatic method before
55 citations
01 Feb 2009
TL;DR: In this article, a new active element for the realization of current-mode analog blocks Current Follower Transconductance Amplifier (CFTA) is presented, which is a combination of the current follower (CF) and the balanced output transconductance amplifier (BOTA).
Abstract: In this paper a new active element for the realization of current-mode analog blocks Current Follower Transconductance Amplifier (CFTA) is presented. The element is a combination of the Current Follower (CF) and the Balanced Output Transconductance Amplifier (BOTA). In the paper we also document another extended active element CFTA which has more current outputs than can be realized by the UCC-N1B circuit, which was developed at our workplace. The application of this active element is shown on the realization of current-mode second-order universal frequency filters of the type SIMO (single-inputmulti-output). The circuit structure consists of three active and three passive elements. The circuit was analyzed using signal-flow graphs. The properties of the proposed universal filter were subjected to a sensitivity analysis and AC analysis using PSpice software.
55 citations
••
TL;DR: Following the previous results for the wave equation system, approximate evolution operators for the linearized Euler equations are derived and error estimates for the finite volume evolution Galerkin scheme for linear systems with constant coefficients are proved.
55 citations
Authors
Showing all 6383 results
Name | H-index | Papers | Citations |
---|---|---|---|
Georg Kresse | 111 | 430 | 244729 |
Patrik Schmuki | 109 | 763 | 52669 |
Michael Schmid | 88 | 715 | 30874 |
Robert M. Malina | 88 | 691 | 38277 |
Jiří Jaromír Klemeš | 64 | 565 | 14892 |
Alessandro Piccolo | 62 | 284 | 14332 |
René Kizek | 61 | 672 | 16554 |
George Danezis | 59 | 209 | 11516 |
Stevo Stević | 58 | 374 | 9832 |
Edvin Lundgren | 57 | 286 | 10158 |
Franz Halberg | 55 | 750 | 15400 |
Vojtech Adam | 55 | 611 | 14442 |
Lukas Burget | 53 | 252 | 21375 |
Jan Cermak | 53 | 238 | 9563 |
Hynek Hermansky | 51 | 317 | 14372 |