25.8k citations
- Central European Institute of TechnologyCZ145 papers
- Centre National de la Recherche ScientifiqueFR42 papers
- Masaryk UniversityCZ41 papers
- TU WienAT34 papers
- Université Grenoble AlpesFR24 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ22 papers
- University of ViennaAT21 papers
- Charles UniversityCZ17 papers
- Central European Institute of Technology – Masaryk UniversityCZ16 papers
- Kempelen Institute of Intelligent Technologies13 papers
- Laboratoire National des Champs Magnétiques IntensesFR13 papers
- Military University of Technology in WarsawPL13 papers
10 papers · 1 filter
Pointer Race Freedom
Frédéric Haziza, Lukáš Holík, Roland Meyer +1
We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the…
PAC Learning-Based Verification and Model Synthesis
Yu-Fang Chen, Chiao Hsieh, Ondřej Lengál +4
We introduce a novel technique for verification and model synthesis of sequential programs. Our technique is based on learning a regular model of the set of feasible paths in a pro…
From Low-Level Pointers to High-Level Containers
Kamil Dudka, Lukáš Holík, Petr Peringer +2
We propose a method that transforms a C program manipulating containers using low-level pointer statements into an equivalent program where the containers are manipulated via calls…
Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator
Vladimir Vesely, Marcel Marek, Tomas Hykel +1
Recursive InterNetwork Architecture is a clean-slate approach to how to deal with the current issues of the Internet based on the traditional TCP/IP networking stack. Instead of us…
Technical Report: Image Captioning with Semantically Similar Images
Martin Kolář, Michal Hradiš, Pavel Zemčík
This report presents our submission to the MS COCO Captioning Challenge 2015. The method uses Convolutional Neural Network activations as an embedding to find semantically similar…
Numerical Algorithm for Nonlinear Delayed Differential Systems of th Order
Josef Rebenda, Zdeněk Šmarda
The purpose of this paper is to propose a semi-analytical technique convenient for numerical approximation of solutions of the initial value problem for -dimensional delayed and…