scispace - formally typeset
Search or ask a question
Institution

Brno University of Technology

EducationBrno, 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
More filters
Journal ArticleDOI
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

Journal ArticleDOI
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

Book ChapterDOI
16 Mar 2013
TL;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

Journal ArticleDOI
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

NameH-indexPapersCitations
Georg Kresse111430244729
Patrik Schmuki10976352669
Michael Schmid8871530874
Robert M. Malina8869138277
Jiří Jaromír Klemeš6456514892
Alessandro Piccolo6228414332
René Kizek6167216554
George Danezis5920911516
Stevo Stević583749832
Edvin Lundgren5728610158
Franz Halberg5575015400
Vojtech Adam5561114442
Lukas Burget5325221375
Jan Cermak532389563
Hynek Hermansky5131714372
Network Information
Related Institutions (5)
Vienna University of Technology
49.3K papers, 1.3M citations

87% related

Polytechnic University of Catalonia
45.3K papers, 949.3K citations

86% related

Fraunhofer Society
40.1K papers, 820.8K citations

86% related

Polytechnic University of Milan
58.4K papers, 1.2M citations

86% related

Aalto University
32.6K papers, 829.6K citations

85% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
202328
2022106
20211,053
20201,010
20191,214
20181,131