Browsing by author "De Jong, Gjalt"
Now showing items 1-20 of 22
-
A communicating Petri Net model for the design of concurrent asynchronous modules
De Jong, Gjalt; Lin, Bill (1994) -
A system design methodology for telecommunication network applications
Da Silva, Julio; Couvreur, Chantal; De Jong, Gjalt; Lin, Bill; De Man, Hugo (1997) -
A time abstraction method for efficient verification of communicating systems
Verlind, Eric; Kolks, Tilman; De Jong, Gjalt; Lin, Bill; De Man, Hugo (1994) -
Background memory management for dynamic data structure intensive processing systems
De Jong, Gjalt; Lin, Bill; Verdonck, Carl; Wuytack, Sven; Catthoor, Francky (1995) -
Derivation of formal representations from process-based specification and implementation models
Vercauteren, Steven; Verkest, Diederik; De Jong, Gjalt; Lin, Bill (1997) -
Efficient partial enumeration for timing analysis of asynchronous systems
Verlind, Eric; De Jong, Gjalt; Lin, Bill (1996) -
Efficient system exploration and synthesis of applications with dynamic data storage and intensive data transfer
Leao da Silva, J.; Ykman-Couvreur, C.; Miranda, Miguel; Croes, Kris; Wuytack, Sven; De Jong, Gjalt; Catthoor, Francky; Verkest, Diederik; Six, Paul; De Man, Hugo (1998) -
Efficient timing analysis of highly concurrent systems
Verlind, Eric; De Jong, Gjalt; Lin, Bill (1995) -
Efficient verification using generalized partial order analysis
Vercauteren, Steven; Verkest, Diederik; De Jong, Gjalt; Lin, Bill (1998) -
Fast and extensive system-level memory exploration for ATM applications
Slock, Peter; Wuytack, Sven; Catthoor, Francky; De Jong, Gjalt (1997) -
Flow graph balancing for minimizing the required memory bandwidth
Wuytack, Sven; Catthoor, Francky; De Jong, Gjalt; Lin, Bill; De Man, Hugo (1996) -
Hierarchical optimization of asynchronous circuits
Lin, Bill; De Jong, Gjalt; Kolks, Tilman (1995) -
MATISSE : a concurrent and object-oriented system specification language
Leao da Silva, J.; Ykman, C.; De Jong, Gjalt (1997) -
Matisse: a system-on-chip design methodology emphasizing dynamic memory management
Verkest, Diederik; Da Silva, Julio; Couvreur, Chantal; Croes, Kris; Miranda, Miguel; Wuytack, Sven; De Jong, Gjalt; Catthoor, Francky; De Man, Hugo (1999) -
Mattisse: a system-on-chip design methodology emphasizing dynamic memory management
Verkest, Diederik; Da Silva, Julio; Couvreur, Chantal; Croes, Kris; Miranda, Miguel; Wuytack, Sven; De Jong, Gjalt; Catthoor, Francky; De Man, Hugo (1998) -
Memory management for embedded network applications
Wuytack, Sven; Da Silva, Julio; Catthoor, Francky; De Jong, Gjalt; Couvreur, Chantal (1999) -
Minimizing the required memory bandwidth in VLSI system realizations
Wuytack, Sven; Catthoor, Francky; De Jong, Gjalt; De Man, Hugo (1999) -
Modeling and optimization of hierarchical synchronous circuits
Lin, Bill; De Jong, Gjalt; Kolks, Tilman (1995) -
Multi-thread graph: a system model for real-time embedded software synthesis
Thoen, Filip; Van Der Steen, Jan; De Jong, Gjalt; Goossens, Gert; De Man, Hugo (1997) -
On the use of C++ for system-on-chip design
Verkest, Diederik; Cockx, Johan; Potargent, Freddy; De Jong, Gjalt; De Man, Hugo (1999)