Browsing by Author "De Jong, Gjalt"

A communicating Petri Net model for the design of concurrent asynchronous modules

A system design methodology for telecommunication network applications

A time abstraction method for efficient verification of communicating systems

Background memory management for dynamic data structure intensive processing systems

Derivation of formal representations from process-based specification and implementation models

Efficient partial enumeration for timing analysis of asynchronous systems

Efficient system exploration and synthesis of applications with dynamic data storage and intensive data transfer

Efficient timing analysis of highly concurrent systems

Efficient verification using generalized partial order analysis

Fast and extensive system-level memory exploration for ATM applications

Flow graph balancing for minimizing the required memory bandwidth

Hierarchical optimization of asynchronous circuits

MATISSE : a concurrent and object-oriented system specification language

Matisse: a system-on-chip design methodology emphasizing dynamic memory management

Mattisse: a system-on-chip design methodology emphasizing dynamic memory management

Memory management for embedded network applications

Minimizing the required memory bandwidth in VLSI system realizations

Modeling and optimization of hierarchical synchronous circuits

Multi-thread graph: a system model for real-time embedded software synthesis

On the use of C++ for system-on-chip design