Pro3D, Programming for Future 3D Manycore Architectures

Project's Interim Status
Thumbnail
Metadata only
Author
Fabre, Christian
Bacivarov, Iuliana
Basu, Ananda
Ruggiero, Martino
Atienza, David
Flamand, Eric
Krimm, Jean-Pierre
Mottin, Julien
Schor, Lars
Kumar, Pratyush
Yang, Hoeseok
Chokshi, Devesh B.
Thiele, Lothar
Bensalem, Saddek
Bozga, Marius
Benini, Luca
Sabry, Mohamed M.
Yeblebici, Yusuf
De Micheli, Giovanni
Melpignano, Diego
Show all
Date
2013
Type
  • Conference Paper
Publication status
published
External links
Full text via SFX
Editor
Beckert, Bernhard
Damiani, Ferruccio
Boer, Frank S. de
Bonsangue, Marcello M.
Book title
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : revised selected papers
Journal / series
Lecture notes in computer science
Volume
7542
Pages
277 - 293
Publisher
Springer
Event
10th International Symposium on Formal Methods for Components and Objects (FMCO 2011), Turin, Italy, October 3-5, 2011
Organisational unit
03429 - Thiele, Lothar
Notes
.
More
Show all metadata
Altmetrics