Formal Verification of Annotated Use-Cases
Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
2012 - English Keywords: specification; use-cases; behavior modeling; verification; temporal logic; formalization Available at various institutes of the ASCR Formal Verification of Annotated Use-Cases

Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
Ústav informatiky, 2012

Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)
Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
2012 - English Keywords: software architecture; software connectors; constraint solving; middleware-based connectors; connector theory; Alloy Available at various institutes of the ASCR Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)

Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
Ústav informatiky, 2012

Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions
Pelikán, Emil; Juruš, Pavel; Musílek, P.; Brabec, Marek; Krč, Pavel; Paluš, Milan; Vejmelka, Martin
2011 - English Keywords: CO2 modelling; satellite CO2 observation; regional scale Eulerian models; CO2 fluxes Available at various institutes of the ASCR Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions

Pelikán, Emil; Juruš, Pavel; Musílek, P.; Brabec, Marek; Krč, Pavel; Paluš, Milan; Vejmelka, Martin
Ústav informatiky, 2011

Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments
Outlý, M.; Pop, T.; Bureš, Tomáš
2011 - English The document describes and examines possibilities of run-time vari- ability in real-time embedded component systems. Namely it formally describes sup- port of operating modes. The report introduces a recon guration mechanism based on properties and relations between them. The mechanism is designed to facilitate a straight forward modeling of operating modes and recon guration rules and pre- serves re-usability of assembled components. The report also presents a realization of the mechanism suitable for the domain of embedded real-time systems. Keywords: embedded-systems; real-time systems; software variability; software architecture modes; SOFA Available at various institutes of the ASCR Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments

The document describes and examines possibilities of run-time vari- ability in real-time embedded component systems. Namely it formally describes sup- port of operating modes. The report introduces a ...

Outlý, M.; Pop, T.; Bureš, Tomáš
Ústav informatiky, 2011

Feasibility study of weather components prediction along expected vehicle trajectory
Novák, M.; Bouchner, P.; Pelikán, Emil; Novotný, S.; Derbek, P.; Eben, Kryštof; Juruš, Pavel
2011 - English Available at various institutes of the ASCR Feasibility study of weather components prediction along expected vehicle trajectory

Novák, M.; Bouchner, P.; Pelikán, Emil; Novotný, S.; Derbek, P.; Eben, Kryštof; Juruš, Pavel
Ústav informatiky, 2011

Ferdinand Project Middleware List
Keznikl, Jaroslav; Malohlava, M.; Marek, L.; Tůma, P.
2011 - English The purpose of this report is to provide an overview of the middleware environments used in the Ferdinand project. The environment selection has been based on four major criteria: Implementation available in source form (necessary for investigating potential performance anomalies). Multiple comparable implementations available (necessary for generalizing performance evaluation results). Environment widely in use in contemporary applications. Realistic workloads available. This report is intended to serve as a (continuously updated) reference for project partners, care is therefore taken to include links to web sites of the individual technologies as much as possible. Keywords: embedded-systems; real-time systems; software variability; software architecture modes; SOFA Available at various institutes of the ASCR Ferdinand Project Middleware List

The purpose of this report is to provide an overview of the middleware environments used in the Ferdinand project. The environment selection has been based on four major criteria: Implementation ...

Keznikl, Jaroslav; Malohlava, M.; Marek, L.; Tůma, P.
Ústav informatiky, 2011

Sparse Test Problems for Unconstrained Optimization
Lukšan, Ladislav; Matonoha, Ctirad; Vlček, Jan
2010 - English Keywords: unconstrained optimization; test problems Available at various institutes of the ASCR Sparse Test Problems for Unconstrained Optimization

Lukšan, Ladislav; Matonoha, Ctirad; Vlček, Jan
Ústav informatiky, 2010

Linear Regression with Arbitrarily Distributed Residuals
Fabián, Zdeněk; Jiřina, Marcel; Jiřina jr., M.
2010 - English Keywords: linear regression; robust regression; scalar score regression; beta-prime regression Available on request at various institutes of the ASCR Linear Regression with Arbitrarily Distributed Residuals

Fabián, Zdeněk; Jiřina, Marcel; Jiřina jr., M.
Ústav informatiky, 2010

Significance of Multidimensional Data Analysis and Multidimensional Prediction Diagnostics
Novák, Mirko
2009 - English Keywords: multidimensional data analysis; prediction diagnostics Available at various institutes of the ASCR Significance of Multidimensional Data Analysis and Multidimensional Prediction Diagnostics

Novák, Mirko
Ústav informatiky, 2009

Fine-grained Entities in Component Architectures
Bureš, Tomáš; Ježek, P.; Malohlava, M.; Poch, T.; Šerý, O.
2009 - English Keywords: component model; architecture evolution; dynamic reconfiguration Available at various institutes of the ASCR Fine-grained Entities in Component Architectures

Bureš, Tomáš; Ježek, P.; Malohlava, M.; Poch, T.; Šerý, O.
Ústav informatiky, 2009