Formal Verification of Annotated Use-Cases
Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
2012 - anglický Klíčová slova: specification; use-cases; behavior modeling; verification; temporal logic; formalization Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický Klíčová slova: software architecture; software connectors; constraint solving; middleware-based connectors; connector theory; Alloy Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický Klíčová slova: CO2 modelling; satellite CO2 observation; regional scale Eulerian models; CO2 fluxes Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický 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. Klíčová slova: embedded-systems; real-time systems; software variability; software architecture modes; SOFA Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický 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. Klíčová slova: embedded-systems; real-time systems; software variability; software architecture modes; SOFA Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický Klíčová slova: unconstrained optimization; test problems Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický Klíčová slova: linear regression; robust regression; scalar score regression; beta-prime regression Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. 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 - anglický Klíčová slova: multidimensional data analysis; prediction diagnostics Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický Klíčová slova: component model; architecture evolution; dynamic reconfiguration Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Fine-grained Entities in Component Architectures

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