EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Karelse, F.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 8.

2002

Rosien, M.A.J. and Smit, G.J.M. and Krol, T. (2002) Generating a CDFG from C/C++ code. In: 3rd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 200-202. Technology Foundation STW. ISBN 90-73461-34-0

2001

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) Modelling stochastic timed systems. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 31-36. Technology Foundation STW. ISBN 90-73461-26-X
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 83-88. Technology Foundation STW. ISBN 90-73461-26-X
Bolks, M. and Hanssen, F.T.Y. and Abelmann, L. and Havinga, P.J.M. and Hartel, P.H. and Jansen, P.G. and Lodder, J.C. and Smit, G.J.M. (2001) Micro Scanning Probe Array memory µSPAM. In: 2nd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 17-26. Technology Foundation STW. ISBN 90-73461-26-X
Hanssen, F.T.Y. and Hartel, P.H. and Jansen, P.G. and Scholten, J. and Vervoort, W.A. (2001) A Real time network at home. In: 2nd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 67-72. Technology Foundation STW. ISBN 90-73461-26-X
Lijding, M.E.M. and Jansen, P.G. and Mullender, S.J. (2001) Real-time scheduling of a tertiary-storage juke-box. In: 2nd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 135-140. Technology Foundation STW. ISBN 90-73461-26-X
Mansour, O. and Etalle, S. and Krol, T. (2001) Scheduling and Allocation of Non-Manifest Loops on Hardware Graph-Models. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 153-160. Technology Foundation STW. ISBN 90-73461-26-X

2000

Bos, M. and Havinga, P.J.M. and Smit, G.J.M. (2000) Channel Communication and Reconfigurable Hardware. In: 1st PROGRESS workshop on Embedded Systems, 13 Oct. 2001. Technology Foundation STW. ISBN 90-73461-25-1

This list was generated on Mon Mar 27 03:50:27 CEST 2017.