| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing
|
Pontes, Rodrigo P.
|
|
2009
|
42 |
21 |
p. 66-71
6 p.
|
artikel
|
| 2 |
Adaptive algorithms robust to impulsive noise with low computational cost using Order Statistic
|
Soria, Emilio
|
|
2009
|
42 |
21 |
p. 149-153
5 p.
|
artikel
|
| 3 |
A High Level Modeling Approach for Reconfigurable System Architecting
|
Dorie, L.
|
|
2009
|
42 |
21 |
p. 7-12
6 p.
|
artikel
|
| 4 |
Algebra-Logical Diagnosis and Repair Method for SoC Memory
|
Hahanov, Vladimir
|
|
2009
|
42 |
21 |
p. 13-18
6 p.
|
artikel
|
| 5 |
Algebra-Logical Fault Diagnosis Method For SOC Functional Blocks
|
Hahanov, Vladimir
|
|
2009
|
42 |
21 |
p. 42-48
7 p.
|
artikel
|
| 6 |
Analysis of Concurrent Discrete Systems by Means of Reduced Reachability Graphs
|
Karatkevich, Andrei G.
|
|
2009
|
42 |
21 |
p. 49-54
6 p.
|
artikel
|
| 7 |
Analysis of Resource Utilization in Compositional Microprogram Control Unit with Elementary Operational Linear Chains
|
Kołopieńczyk, Małgorzata
|
|
2009
|
42 |
21 |
p. 205-208
4 p.
|
artikel
|
| 8 |
A notion of r-admissibility and its application in logic synthesis
|
Borowik, Grzegorz
|
|
2009
|
42 |
21 |
p. 172-177
6 p.
|
artikel
|
| 9 |
Apnea Detection Using Cardiac Rhythm and its Hardware Implementation
|
Guerrero-Martinez, J.
|
|
2009
|
42 |
21 |
p. 90-94
5 p.
|
artikel
|
| 10 |
ASMs in High Level Synthesis of EDA tool Abelite
|
Baranov, Samary
|
|
2009
|
42 |
21 |
p. 160-165
6 p.
|
artikel
|
| 11 |
A System Level Design Flow for Embedded Systems based on Model of Computation Mappings
|
Molter, H. Gregor
|
|
2009
|
42 |
21 |
p. 30-35
6 p.
|
artikel
|
| 12 |
Bit accurate timing analysis on a frame based CAN model
|
Müller, Marcus
|
|
2009
|
42 |
21 |
p. 114-119
6 p.
|
artikel
|
| 13 |
Certificate Based Security at Device Level of Automation System
|
Post, Olli
|
|
2009
|
42 |
21 |
p. 120-124
5 p.
|
artikel
|
| 14 |
Communication with autonomous mobile vehicles
|
Bayer, Jiří
|
|
2009
|
42 |
21 |
p. 108-113
6 p.
|
artikel
|
| 15 |
Design of Reconfigurable Logic Controllers from Petri Net-based specifications
|
Adamski, Marian
|
|
2009
|
42 |
21 |
p. 195-200
6 p.
|
artikel
|
| 16 |
Digital Controller Design Based on Logic Neural Networks
|
Pop, Emil
|
|
2009
|
42 |
21 |
p. 154-159
6 p.
|
artikel
|
| 17 |
Digital System Design Process Automation Using Place/Transition Petri Nets
|
Marranghello, Norian
|
|
2009
|
42 |
21 |
p. 84-89
6 p.
|
artikel
|
| 18 |
Dynamic partial reconfiguration of CPU-s for Programmable Logic Controllers executing control programs developed in the Ladder Diagram language
|
Chmiel, M.
|
|
2009
|
42 |
21 |
p. 55-60
6 p.
|
artikel
|
| 19 |
Embedded WWW Server in Wireless Sensor Networks
|
Grobelna, Iwona
|
|
2009
|
42 |
21 |
p. 220-225
6 p.
|
artikel
|
| 20 |
Enhanced Interpreted Petri Nets for Industrial Processes
|
Al-Hajri, Eid M.
|
|
2009
|
42 |
21 |
p. 95-101
7 p.
|
artikel
|
| 21 |
Firmware Optimization for Embedded Logic Control
|
Dvorak, Vaclav
|
|
2009
|
42 |
21 |
p. 102-107
6 p.
|
artikel
|
| 22 |
FOREWORD
|
Rosado, Alfredo
|
|
2009
|
42 |
21 |
p. iv-
1 p.
|
artikel
|
| 23 |
Frequency Multiplication with Utilisation of Walsh Functions
|
Hrynkiewicz, Edward
|
|
2009
|
42 |
21 |
p. 166-171
6 p.
|
artikel
|
| 24 |
Hardware Implementation of a Robust Adaptive Filter: Two Approaches based in High-Level Synthesis Design Tools
|
Bataller-Mompean, M.
|
|
2009
|
42 |
21 |
p. 190-194
5 p.
|
artikel
|
| 25 |
Ladder diagram implementation of Control Interpreted Petri Nets: a state equation approach
|
Moreira, Marcos V.
|
|
2009
|
42 |
21 |
p. 78-83
6 p.
|
artikel
|
| 26 |
Minimizing the number of PAL macrocells for Moore FSM
|
Barkalov, A.
|
|
2009
|
42 |
21 |
p. 25-29
5 p.
|
artikel
|
| 27 |
Modeling of production processes using UML and Petri nets.
|
Lasota, Agnieszka
|
|
2009
|
42 |
21 |
p. 209-214
6 p.
|
artikel
|
| 28 |
Multi-Level Implementation of Asynchronous Logic Using Two-Level Nodes
|
Lemberski, Igor
|
|
2009
|
42 |
21 |
p. 178-183
6 p.
|
artikel
|
| 29 |
Partitioning of Mealy Finite State Machines
|
Bukowiec, Arkadiusz
|
|
2009
|
42 |
21 |
p. 19-24
6 p.
|
artikel
|
| 30 |
Performance Analysis of Reconfigurable Clusters to Design Good Error Correcting Codes in Communications
|
Gómez-Pulido, Juan A.
|
|
2009
|
42 |
21 |
p. 125-130
6 p.
|
artikel
|
| 31 |
RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems
|
Madlener, Felix
|
|
2009
|
42 |
21 |
p. 137-142
6 p.
|
artikel
|
| 32 |
Reconfiguration Strategy for FPGA Dependability Characteristics Improvement based on Stochastic Petri Net
|
Kohlík, Martin
|
|
2009
|
42 |
21 |
p. 215-219
5 p.
|
artikel
|
| 33 |
Remote, web-based laboratory for Programmable Logic Devices
|
Iskra, Przemyslaw
|
|
2009
|
42 |
21 |
p. 143-148
6 p.
|
artikel
|
| 34 |
Representation of the State of Timed-Place Petri Nets Using Stretching
|
Aybar, Aydin
|
|
2009
|
42 |
21 |
p. 72-77
6 p.
|
artikel
|
| 35 |
Shared Memory Networks On Chip Architecture
|
Dziurzanski, Piotr
|
|
2009
|
42 |
21 |
p. 131-136
6 p.
|
artikel
|
| 36 |
Smoothing and simplification algorithm for Computer Aided Manufacturing paths with complex curves
|
Lamas, J.
|
|
2009
|
42 |
21 |
p. 61-65
5 p.
|
artikel
|
| 37 |
Statechart Diagrams Implementation in FPGA Structures with Embedded Memory Blocks
|
Łabiak, G.
|
|
2009
|
42 |
21 |
p. 184-189
6 p.
|
artikel
|
| 38 |
Straight encoding method of supervisor implementation for structured discrete dynamic event system.
|
Ambartsumyan, A.A.
|
|
2009
|
42 |
21 |
p. 1-6
6 p.
|
artikel
|
| 39 |
Supervisory control in structured dynamic discrete-event systems
|
Ambartsumyan, Alexander A.
|
|
2009
|
42 |
21 |
p. 36-41
6 p.
|
artikel
|
| 40 |
Synthesis of Microprogram Control Unit with Control Microinstructions
|
Barkalov, Alexander
|
|
2009
|
42 |
21 |
p. 201-204
4 p.
|
artikel
|
| 41 |
Technical Program
|
|
|
2009
|
42 |
21 |
p. ifc1, i-iii, v-vii
|
artikel
|
Tijdschrift beschrijving