Integrated architecture exploration workflow: A NoC-based case study
Puschini, D., Mottin, J., Palix, N., Apostol, L., Fabre, C.
Published in 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP) (01.10.2012)
Published in 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP) (01.10.2012)
Get full text
Conference Proceeding
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
Lawall, J.L., Brunel, J., Palix, N., Hansen, R.R., Stuart, H., Muller, G.
Published in 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (01.06.2009)
Published in 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (01.06.2009)
Get full text
Conference Proceeding
High-level Programming Support for Robust Pervasive Computing Applications
Jouve, W., Lancia, J., Palix, N., Consel, C., Lawall, J.
Published in 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom) (01.03.2008)
Published in 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom) (01.03.2008)
Get full text
Conference Proceeding