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
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)
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
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 ...
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
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 ...
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
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
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
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
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze