PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 50, nr 2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2002
Identyfikatory
Zawartość wolumenu
Vol. 50, nr 2
artykuł:
The BDD Space Complexity of Different Forms of Concurrency
(
Baldamus M.
,
Schneider K.
), s. 111-133
artykuł:
A structural encoding technique for the synthesis of asynchronous circuits
(
Carmona J.
,
Cortadella J.
,
Pastor E.
), s. 135-154
artykuł:
Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using Stage Reorganization and Optimal Stage Parameter Estimation
(
Garnica O.
,
Lanchares J.
,
Hermida R.
), s. 155-174
artykuł:
Synthesising Elementary Net Systems with Inhibitor Ares from Step Transition Systems
(
Pietkiewicz-Koutny M.
), s. 175-203
artykuł:
Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis
(
Xia F.
,
Clark I.
), s. 205-222
artykuł:
Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems
(
Zuberek W.M.
), s. 223-241
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.