Developing portable embedded software for multicore systems through formal abstraction and refinement

2010 ◽  
Vol 130 (3) ◽  
pp. 496-502
Author(s):  
Yoshiyuki Anan ◽  
Toyoshiro Nakashima ◽  
Kazunori Iwata ◽  
Hiroshi Yonemitsu ◽  
Tetsu Yoshioka ◽  
...  

2014 ◽  
Author(s):  
Sudipta Chattopadhyay ◽  
Abhik Roychoudhury ◽  
Jakob Rosén ◽  
Petru Eles ◽  
Zebo Peng
Keyword(s):  

Author(s):  
Gabriel de Souza Pereira Moreira ◽  
Denis Ávila Montini ◽  
Daniela América da Silva ◽  
Felipe Rafael Motta Cardoso ◽  
Luiz Alberto Vieira Dias ◽  
...  

2016 ◽  
Vol 12 (4) ◽  
pp. 1-26 ◽  
Author(s):  
Qixiao Liu ◽  
Miquel Moreto ◽  
Jaume Abella ◽  
Francisco J. Cazorla ◽  
Daniel A. Jimenez ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document