• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Poster
2016

GPUexplore : GPU explicit-state model checking

Wijs, A. J., 28 Sep 2016.

Research output: Contribution to conferencePosterAcademic

2014

Multi-core communication-aware scheduler for CARM 2G

Adyanthaya, S., Schiffelers, R. R. H., Theunissen, R., Huët, van, C., Geilen, M. C. W., Frijns, R. M. W. & Voeten, J. P. M., 2014.

Research output: Contribution to conferencePosterAcademic

Towards 120 kHz stages using CARM 2G

Voeten, J. P. M., Frijns, R. M. W., Bontekoe, M., Gidalov, N., Schiffelers, R. R. H. & Huët, van, C., 2014.

Research output: Contribution to conferencePosterAcademic

2013

High-performance heterogeneous architectures for CARM2G

Frijns, R. M. W., Bontekoe, M., Gemei, K. J. A., Gidalov, N., Huët, van, C., Schiffelers, R. R. H. & Voeten, J. P. M., 2013.

Research output: Contribution to conferencePosterAcademic

2012

CARM 2G : model based design, analysis and initialization of Twinscan servo controllers

Schiffelers, R. R. H., Huët, van, C., Gidalov, N., Alberts, W., Voeten, J. P. M., Theelen, B. D., Ven, J. & Tabingh Suermondt, W., 2012.

Research output: Contribution to conferencePosterAcademic

2005

SPecTEC : Specification tools for embedded software components (Poster)

Kuiper, R., Baeten, J. C. M. & Luit, E. J., 2005.

Research output: Contribution to conferencePosterAcademic