|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 14 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev |
An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.  |
FM  |
2008 |
DBLP DOI BibTeX RDF |
Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS |
| 1 | Eric Verhulst, Gjalt G. de Jong |
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gjalt G. de Jong |
A UML-Based Design Methodology for Real-Time and Embedded Sytems. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, J. Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong |
C/C++: progress or deadlock in system-level specification. |
DATE |
2001 |
DBLP DOI BibTeX RDF |
C++, C |
| 1 | Alex Niemegeers, Gjalt G. de Jong |
An Incremental Specification Flow for Real Time Embedded Systems. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher K. Lennard, Patrick Schaumont, Gjalt G. de Jong, Anssi Haverinen, Pete Hardee |
Standards for System-Level Design: Practical Reality or Solution in Search of a Question? |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Wuytack, Julio Leao da Silva Jr., Francky Catthoor, Gjalt G. de Jong, Chantal Ykman-Couvreur |
Memory management for embedded network applications. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Hugo De Man |
Minimizing the required memory bandwidth in VLSI system realizations. |
IEEE Trans. VLSI Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Diederik Verkest, Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Kris Croes, Miguel Miranda, Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Hugo De Man |
Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory Management. |
VLSI Signal Processing |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Genoe, Christopher K. Lennard, Joachim Kunkel, Brian Bailey, Gjalt G. de Jong, Grant Martin, M. M. Kamal Hashmi, Shay Ben-Chorin, Anssi Haverinen |
How standards will enable hardware/software co-design. |
CODES |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Miguel Miranda, Kris Croes, Sven Wuytack, Gjalt G. de Jong, Francky Catthoor, Diederik Verkest, Paul Six, Hugo De Man |
Efficient System Exploration and Synthesis of Applications with Dynamic Data Storage and Intensive Data Transfer. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
technology mapping, programmable logic devices, PLA-style logic blocks |
| 1 | Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin |
Efficient Verification using Generalized Partial Order Analysis. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
High-level Design Validation, Formal Verification, Functional Verification |
| 1 | Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Bill Lin, Hugo De Man, Gjalt G. de Jong |
A System Design Methodology for Telecommunication Network Applications. |
Great Lakes Symposium on VLSI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Slock, Sven Wuytack, Francky Catthoor, Gjalt G. de Jong |
Fast and Extensive System-Level Memory Exploration for ATM Applications. (PDF / PS) |
ISSS |
1997 |
DBLP DOI BibTeX RDF |
memory exploration, memory optimization, network applications |
| 1 | Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin |
Derivation of Formal Representations from Process-Based Specification and Implementation Models. (PDF / PS) |
ISSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Filip Thoen, J. Van Der Steen, Gjalt G. de Jong, Gert Goossens, Hugo De Man |
Multi-thread graph: a system model for real-time embedded software synthesis. |
ED&TC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Verlind, Gjalt G. de Jong, Bill Lin |
Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Bill Lin, Hugo De Man |
Flow Graph Balancing for Minimizing the Required Memory Bandwidth. (PDF / PS) |
ISSS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Lin, Gjalt G. de Jong, Tilman Kolks |
Hierarchical Optimization of Asynchronous Circuits. |
DAC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gjalt G. de Jong, Bill Lin, Carl Verdonck, Sven Wuytack, Francky Catthoor |
Background memory management for dynamic data structure intensive processing systems. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
Background memory management system level design telecommunication network applications |
| 1 | Gjalt G. de Jong, Bill Lin |
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules. |
DAC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man |
A Time Abstraction Method for Efficient Verification of Communicating Systems. |
DAC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gjalt G. de Jong |
An Automata Theoretic Approach to Temporal Logic. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")