Wszystkie pola: software and hardware

Skocz do pozycji: 1.

Tytuł:: Standards for global interoperability in accelerated computing: hardware, software and organizational
Standardy przenośności dla podsystemów wspomagania obliczeń: sprzęt, oprogramowanie, organizacja
Autorzy:: Stahlberg, E.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: obliczenia dużej mocy
wspomaganie obliczeń
rekonfigurowalne tablice logiczne
HPC
FPGA
accelerating computing; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

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ł

Szczegóły

Informacja