Search the dblp DataBase

Publications of Author

1. Kees G. W. Goossens
   Reasoning about VHDL using operational and observational semantics. [Citation Graph (0, 0)][DBLP]
   CHARME, 1995, pp:311-327 [Conf]
   
2. Kees G. W. Goossens, Om Prakash Gangwal
   The Cost of Communication Protocols and Coordination Languages in Embedded Systems. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2002, pp:174-190 [Conf]
   
3. Kees G. W. Goossens, Paul Wielage, Ad M. G. Peeters, Jef L. van Meerbergen
   Networks on Silicon: Combining Best-Effort and Guaranteed Services. [Citation Graph (0, 0)][DBLP]
   DATE, 2002, pp:423-427 [Conf]
   
4. Santiago González Pestana, Edwin Rijpkema, Andrei Radulescu, Kees G. W. Goossens, Om Prakash Gangwal
   Cost-Performance Trade-Offs in Networks on Chip: A Simulation-Based Approach. [Citation Graph (0, 0)][DBLP]
   DATE, 2004, pp:764-769 [Conf]
   
5. Andrei Radulescu, John Dielissen, Kees G. W. Goossens, Edwin Rijpkema, Paul Wielage
   An Efficient On-Chip Network Interface Offering Guaranteed Services, Shared-Memory Abstraction, and Flexible Network Configuration. [Citation Graph (0, 0)][DBLP]
   DATE, 2004, pp:878-883 [Conf]
   
6. Edwin Rijpkema, Kees G. W. Goossens, Andrei Radulescu, John Dielissen, Jef L. van Meerbergen, Paul Wielage, E. Waterlander
   Trade Offs in the Design of a Router with Both Guaranteed and Best-Effort Services for Networks on Chip. [Citation Graph (0, 0)][DBLP]
   DATE, 2003, pp:10350-10355 [Conf]
   
7. Paul Wielage, Kees G. W. Goossens
   Networks on Silicon: Blessing or Nightmare? [Citation Graph (0, 0)][DBLP]
   DSD, 2002, pp:196-200 [Conf]
   
8. Kees G. W. Goossens
   A protocol and memory manager for on-chip communication. [Citation Graph (0, 0)][DBLP]
   ISCAS (2), 2001, pp:225-228 [Conf]
   
9. Rafael Peset Llopis, Kees G. W. Goossens
   The petrol approach to high-level power estimation. [Citation Graph (0, 0)][DBLP]
   ISLPED, 1998, pp:130-132 [Conf]
   
10. Kees G. W. Goossens
    Operational Semantics Based on Formal Symbolic Simulation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:487-506 [Conf]
    
11. Kees G. W. Goossens
    Stucture and Behaviour in Hardware Verification. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:75-88 [Conf]
    
12. Andrei Radulescu, John Dielissen, Santiago González Pestana, Om Prakash Gangwal, Edwin Rijpkema, Paul Wielage, Kees G. W. Goossens
    An efficient on-chip NI offering guaranteed services, shared-memory abstraction, and flexible network configuration. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:1, pp:4-17 [Journal]
    
13. 
    Modeling reconfiguration in a FPGA with a hardwired network on chip. [Citation Graph (, )][DBLP]
    
    
14. 
    Real-Time Scheduling Using Credit-Controlled Static-Priority Arbitration. [Citation Graph (, )][DBLP]
    
    
15. 
    Composable and Persistent-State Application Swapping on FPGAs Using Hardwired Network on Chip. [Citation Graph (, )][DBLP]