Wszystkie pola: embedded systems software

Skocz do pozycji: 1.

Tytuł:: EMLAN: język modelowania i formalnej weryfikacji oprogramowania systemów wbudowanych
Autorzy:: Krystosik, A.
Gawkowski, P.
Data publikacji:: 2007
Słowa kluczowe:: język EMLAN
automat DT-CSM
oprogramowanie systemów wbudowanych
weryfikacja autoalarmu samochodowego
EMLAN language
embedded systems software
DT-CSM
verification of car immobilizer; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Struktura oprogramowania interfejsu graficznego w systemach wbudowanych
Autorzy:: Makowiecki, K.
Data publikacji:: 2011
Słowa kluczowe:: systemy wbudowane
HMI
embedded system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Rola i funkcjonalność wbudowanych środowisk operacyjnych w systemach wizyjnych
Autorzy:: Szpytko, J.
Hyla, P.
Data publikacji:: 2011
Słowa kluczowe:: systemy wbudowane
inteligentna kamera
systemy wizyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Wirtualne projektowanie instalacji EE pojazdu
Autorzy:: Puchalski, A.
Data publikacji:: 2011
Słowa kluczowe:: instalacja EE pojazdu
wirtualne projektowanie
architektura sprzętu i oprogramowania
systemy wbudowane sterowania
vehicle EE network
virtual designing
hardware and software architecture
embedded control systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Remote software reprogramming in embedded systems
Zdalne rekonfigurowanie oprogramowania w systemach wbudowanych
Autorzy:: Iwiński, M.
Sosnowski, J
Data publikacji:: 2013
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: embedded systems
reprogrammable software
systemy wbudowane
reprogramowanie systemów; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Adaptive GP-based algorithm for hardware/software co-design of distributed embedded systems
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2014
Wydawca:: SciTePress
Słowa kluczowe:: hardware/software co-design
genetic algorithm
adaptive systems
architecture
genetic programming
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Remote software reprogramming in embedded systems
Autorzy:: Iwiński, M.
Sosnowski, J.
Data publikacji:: 2013
Słowa kluczowe:: embedded system
reprogrammable software
systemy wbudowane
reprogramowanie systemów; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Remote software reprogramming in embedded systems
Autorzy:: Iwiński, Marcin
Współwytwórcy:: Sosnowski, Janusz
Data publikacji:: 2013
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Genetic programming based constructive algorithm with penalty function for hardware/software cosynthesis of embedded systems
Autorzy:: Ogorzałek, Maciej
Górski, Adam
Data publikacji:: 2021
Wydawca:: SciTePress
Słowa kluczowe:: penalty function
artificial intelligence
embedded systems
hardware/software co-synthesis.
genetic programming; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Automatyczna aktualizacja oprogramowania w urządzeniach embedded
Automatic software updates on Embedded devices
Autorzy:: Sawicki, M.
Różanowski, K.
Czapkowski, R.
Data publikacji:: 2013
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: aktualizacja automatyczna
systemy embedded
mikrokontrolery jednoukładowe
automatic update
embedded systems
single chip microcontrollers; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Genetic programming based algorithm for HW/SW cosynthesis of distributed embedded systems specified using conditional task graph
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2022
Wydawca:: [s.n.]
Słowa kluczowe:: architecture
hardware/software co-synthesis
conditional task graph
genetic programming.
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: GP-based methodology for HW/SW co-synthesis of multiprocessor embedded systems with increasing number of individuals obtained by mutation
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2015
Wydawca:: SciTePress
Słowa kluczowe:: hardware/software co-design
multiprocessor system
architecture
genetic programming
genetic algorithm
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Incorporating Fault Tolerance into Component-based Architectures for Embedded Systems
Autorzy:: Lu, S.
Halang, W. A.
Data publikacji:: 2009
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: software engineering
software architecture
fault tolerance
component technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Incorporating Fault Tolerance into Component-based Architectures for Embedded Systems
Autorzy:: Lu, S.
Halang, W. A.
Data publikacji:: 2009
Słowa kluczowe:: software engineering
software architecture
fault tolerance
component technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Prototypowanie programowalnych systemów wbudowanych
Autorzy:: Chabko, K.
Gracki, K.
Pawłowski, M.
Skorupski, A.
Szymański, Z.
Data publikacji:: 2016
Słowa kluczowe:: system wbudowany
mikrokontroler
mikroprocesor
środowisko programowe
embedded system
microcontroller
microprocessor
software environment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Automating Synthesis of Asynchronous Communication Mechanisms
Autorzy:: Gorgônio, K.
Xia, F.
Yakovlev, A.
Data publikacji:: 2007
Słowa kluczowe:: asynchronous communication mechanisms
Petri net
concurrent and distributed systems
embedded system
hardware and software codesign
protocols
synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: The MODUS Approach to Formal Verification
Autorzy:: Lukasz Brewka
José Soler
Michael Berger
Data publikacji:: 2014-03-01
Tematy:: software quality
formal verification
embedded systems
translation tool selection; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Metrological verification of cyber-physical systems
Autorzy:: Oleskiv, O.
Mykytyn, I.
Data publikacji:: 2015
Słowa kluczowe:: measuring instrument
software
metrological verification
cyber-physical systems
embedded control systems
intelligent sensor
przyrząd pomiarowy
oprogramowanie
kontrola metrologiczna
systemy cyberfizyczne
wbudowane systemy sterowania
czujnik inteligentny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Iterative improvement methodology for hardware/software co-synthesis of embedded systems using genetic programming
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2014
Wydawca:: Institute of Electrical and Electronics Engineers (IEEE)
Słowa kluczowe:: hardware/software co-design
genetic programming,
multiprocessor system
co-synthesis
embedded system; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Kosynteza rozproszonych systemów wbudowanych metodą programowania genetycznego
Hardware/software Co-Synthesis of Distributed Embedded Systems Using Genetic Programming
Autorzy:: Deniziak, S.
Górski, A.
Data publikacji:: 2008
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: programowanie genetyczne
kosynteza
genetic programming
hardware-software codesign; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Model formalny sprzętowo-programowych systemów cyfrowych
Autorzy:: Stasiak, A.
Skowroński, Z.
Data publikacji:: 2006
Słowa kluczowe:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded system
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Application of formal methods for hardware/software co-design of embedded systems
Autorzy:: Piotrowicz, M.
Data publikacji:: 2007
Słowa kluczowe:: ko-projektowanie sterowników
ko-projektowanie
mieszane sterowniki wbudowane
sieci Petriego
logika temporalna
metody formalne
co-design of embedded system
co-verification
mixed hardware/software systems
Petri nets
temporal logic
formal methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Wykorzystanie kompilacji iteracyjnej do optymalizacji warstwy programowej systemów wbudowanych
Exploiting iterative compilation in the software layer of embedded systems optimization
Autorzy:: Wierciński, T.
Radziewicz, M.
Burak, D.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: systemy wbudowane
kompilacja iteracyjna
programowanie równoległe
algorytm DES
embedded systems
iterative compilation
parallel programming
Data Encryption Standard; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Kosynteza rozproszonych systemów wbudowanych metodą programowania genetycznego
Autorzy:: Deniziak, S.
Górski, A.
Data publikacji:: 2008
Słowa kluczowe:: programowanie genetyczne
kosynteza
genetic programming
hardware-software codesign; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Fault injection testing of safety-critical applications
Autorzy:: Trawczyński, D.
Sosnowski, J.
Data publikacji:: 2011
Słowa kluczowe:: analiza wiarygodności
programowe wstrzykiwanie błędów
testowanie
wbudowane systemy czasu-rzeczywistego
dependability analysis
real-time embedded systems
software implemented fault injection
testing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Examples of the use of the embedded systems for the long-term collection of slowly-changing parameters in the traction of a car
Autorzy:: Wołczyński, Zbigniew
Data publikacji:: 2021
Słowa kluczowe:: embedded system
collecting data
archiving data
software
signal matching systems
real time analysis
system wbudowany
gromadzenie danych
archiwizacja danych
oprogramowanie
układy dopasowania sygnałów
analiza w czasie rzeczywistym; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Zaawansowane systemy elektroniczne, zastosowania fotoniki i inżynieria Internetu : 33 Sympozjum WILGA 2014
Autorzy:: Romaniuk, R. S.
Data publikacji:: 2014
Słowa kluczowe:: układy elektroniczne
zaawansowane systemy elektroniczne
inżynieria sieci Internet
fotonika
zastosowania elektroniki
systemy wbudowane
procesory FPGA
FPGA
VHDL
programowanie VHDL
oprogramowanie firmware
oprogramowanie software
electronic circuits
electronic systems
advanced electronic systems
Internet engineering
photonics
applications of electronics
embedded system
FPGA processors
VHDL programming
firmware
software; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Fed-agent – a Transparent ACID-Enabled Transactional Layer for Multidatabase Microservice Architectures
Autorzy:: Nikolić, Lazar
Dimitrieski, Vladimir
Data publikacji:: 2021
Słowa kluczowe:: database management systems
service-oriented architecture
transaction processing
embedded systems
microprocessor chips
multithreading
safety critical software
systemy zarządzania bazami danych
architektura zorientowana na usługi
przetwarzanie transakcji
systemy wbudowane
układy mikroprocesorowe
wielowątkowość
oprogramowanie krytyczne dla bezpieczeństwa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Optymalizacja realizacji układowej hierarchicznych sieci Petriego
Autorzy:: Stasiak, A.
Data publikacji:: 2007
Słowa kluczowe:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded system
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Wykorzystanie kompilacji iteracyjnej do optymalizacji warstwy programowej systemów wbudowanych
Autorzy:: Wierciński, T.
Radziewicz, M.
Burak, D.
Data publikacji:: 2010
Słowa kluczowe:: systemy wbudowane
kompilacja iteracyjna
programowanie równoległe
algorytm DES
embedded system
iterative compilation
parallel programming
Data Encryption Standard; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Autorzy:: Stasiak, A.
Skowroński, Z.
Data publikacji:: 2007
Słowa kluczowe:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded system
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Optymalizacja realizacji układowej hierarchicznych sieci Petriego
The implementation optimization of the hierarchical Petri nets
Autorzy:: Stasiak, A.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Biblioteka SubVI do programowania platformy CompactRIO z wbudowaną aplikacją FPGA
SubVI software library for programming the CompactRIO platform with embedded FPGA application
Autorzy:: Łukaszewski, R.
Panter, P.
Data publikacji:: 2013
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: CompactRIO
FPGA
LabVIEW
systemy pomiarowo-sterujące
systemy czasu rzeczywistego
measuring and control systems
real-time systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach
Autorzy:: Kerkouche, E.
Bourennane, E. B.
Chaoui, A.
Data publikacji:: 2018
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: embedded systems
hardware-software codesign
STARSoC tool
UML
model driven engineering
Eclipse modelling project; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Biblioteka SubVI do programowania platformy CompactRIO z wbudowaną aplikacją FPGA
Autorzy:: Łukaszewski, R.
Panter, P.
Data publikacji:: 2013
Słowa kluczowe:: CompactRIO
FPGA
LabVIEW
systemy pomiarowo-sterujące
systemy czasu rzeczywistego
measuring and control systems
real-time systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Validation and verification methods of the digital microsystem functional specification
Autorzy:: Stasiak, A.
Skowroński, Z.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Nowoczesne technologie projektowania systemów automatyki
Modern Technologies of Designing Automation Systems
Autorzy:: Pauluk, Mariusz
Data publikacji:: 2020
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: systemy wbudowane
jakość oprogramowania
kryzys oprogramowania
cykl życia oprogramowania
Model V
weryfikacja
walidacja
techniki testowania MIL
techniki testowania SIL
techniki testowania PIL
techniki testowania HIL
embedded systems
quality of software
software crisis
software life cycle
V-Model
verification
validation
MIL model-in-the-loop testing
SIL model-in-the-loop testing
PIL model-in-the-loop testing
HIL model-in-the-loop testing; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Composition of languages embedded in scala
Autorzy:: Haeri, Seyed Hossein
Keir, Paul
Data publikacji:: 2019
Słowa kluczowe:: object-oriented languages
object-oriented programming
software engineering
specification languages
języki obiektowe
programowanie obiektowe
inżynieria oprogramowania
języki specyfikacji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Technologie programistyczne do tworzenia interfejsu użytkownika w systemach wbudowanych
Autorzy:: Lisowiec, A.
Książek, L.
Gacek, A.
Makowiecki, K.
Data publikacji:: 2018
Słowa kluczowe:: interfejs GuI
Angular
SOM
GuI interfejs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Nowoczesne technologie projektowania systemów automatyki
Autorzy:: Pauluk, Mariusz
Data publikacji:: 2020
Słowa kluczowe:: systemy wbudowane
jakość oprogramowania
kryzys oprogramowania
cykl życia oprogramowania
Model V
weryfikacja
walidacja
techniki testowania MIL
techniki testowania SIL
techniki testowania PIL
techniki testowania HIL
embedded system
quality of software
software crisis
software life cycle
V-Model
verification
validation
MIL model-in-the-loop testing
SIL model-in-the-loop testing
PIL model-in-the-loop testing
HIL model-in-the-loop testing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "embedded systems software" wg kryterium: Wszystkie pola