Petri net based interface analysis for fast IP-core integration

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210084 ◽

2003 ◽

Author(s):

J.A. de Oliveira Filho ◽

M.E. de Lima ◽

P.R. Maciel

Keyword(s):

Petri Net ◽

Ip Core ◽

Interface Analysis ◽

Core Integration

Download Full-text

An IP core integration tool-flow for prototyping software-defined radios using static dataflow with access patterns

2017 International Conference on Field Programmable Technology (ICFPT) ◽

10.1109/fpt.2017.8280125 ◽

2017 ◽

Author(s):

Lekhobola J. Tsoeunyane ◽

Simon Winberg ◽

Michael Inggs

Keyword(s):

Ip Core ◽

Software Defined Radios ◽

Core Integration ◽

Access Patterns

Download Full-text

A fast IP-core integration methodology for SoC design

16th Symposium on Integrated Circuits and Systems Design 2003 SBCCI 2003 Proceedings SBCCI-03 ◽

10.1109/sbcci.2003.1232818 ◽

2004 ◽

Author(s):

J.Ad.'O. Filho ◽

M.E. de Lima ◽

P.R. Maciel ◽

J. Moura ◽

B. Celso

Keyword(s):

Ip Core ◽

Core Integration

Download Full-text

Insert & Save: Energy Optimization in IP Core Integration for FPGA-based Real-time Systems

2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS) ◽

10.1109/rtas52030.2021.00015 ◽

2021 ◽

Author(s):

Martin Geier ◽

Marian Brandle ◽

Samarjit Chakraborty

Keyword(s):

Real Time ◽

Energy Optimization ◽

Real Time Systems ◽

Ip Core ◽

Save Energy ◽

Core Integration ◽

Download Full-text

IP Core Protection and Hardware-Assisted Security for Consumer Electronics

10.1049/pbcs060e ◽

2019 ◽

Author(s):

Anirban Sengupta ◽

Saraju P. Mohanty

Keyword(s):

Consumer Electronics ◽

Download Full-text

Generation of the Petri net by means of the resources of the dis-crete-continuous nets in the algorithm formation for the self-tuning of the coordinating control system

ELECTRICAL AND COMPUTER SYSTEMS ◽

10.15276/eltecs.26.102.2017.9 ◽

2017 ◽

Vol 26 (102) ◽

pp. 78-87 ◽

Author(s):

A. A. Gurskiy ◽

◽

A. E. Goncharenko ◽

A. V. Denisenko

Keyword(s):

Control System ◽

Petri Net ◽

The Self ◽

Self Tuning ◽

Coordinating Control

Download Full-text

Computational Complexity of Liveness Problem of Normal Petri Net

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e92.a.2717 ◽

2009 ◽

Vol E92-A (11) ◽

pp. 2717-2722 ◽

Author(s):

Atsushi OHTA ◽

Kohkichi TSUJI

Keyword(s):

Computational Complexity ◽

Download Full-text

A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v5i12.290295 ◽

2017 ◽

Vol 5 (12) ◽

pp. 290-295

Author(s):

R. Barik ◽

◽

◽

◽

◽

...

Keyword(s):

Collision Avoidance ◽

Petri Net ◽

Signalling System ◽

Railway Signalling

Download Full-text

An agent-based Flexible Manufacturing System controller with Petri-net enabled algebraic deadlock avoidance

Reports in Mechanical Engineering ◽

10.31181/rme200101077m ◽

2020 ◽

Vol 1 (1) ◽

pp. 77-92

Author(s):

Sotirios Messinis ◽

◽

George Vosniakos ◽

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Manufacturing System ◽

Flexible Manufacturing System ◽

Deadlock Avoidance ◽

Agent Based ◽

System Controller

Download Full-text

Service-oriented design in aspect-oriented and Petri net-based approach

10.31274/rtd-180813-17180 ◽

2007 ◽

Author(s):

Tae-hyung Kim

Keyword(s):

Petri Net ◽

Service Oriented

Download Full-text

Modeling and application of an embedded real-time system based on real-time colored Petri net

Journal Européen des Systèmes Automatisés ◽

10.3166/jesa.51.333-345 ◽

2018 ◽

Vol 51 (4-6) ◽

pp. 333-345

Author(s):

Lianli HUANG ◽

Kui ZHOU

Keyword(s):

Real Time ◽

Petri Net ◽

Colored Petri Net ◽

Time System ◽

Real Time System

Download Full-text