PRO3D, an Introduction

Christian Fabre.
Software Technologies Concertation on Formal Methods for Components and Objects. October 3rd-5th, 2011, Torino, Italy.
This presentation provides an overview of PRO3D that tackles two 3D technologies and their consequences on stacked architectures and rigorous software development: through silicon vias (TSV) and liquid cooling. 3D memory hierarchies and the thermal impact of software on the 3D stack are explored. PRO3D experiments are mainly targeted on P2012, an industrial embedded manycore platform devlopped by STMicroelectronics.
http://fmco.liacs.nl/fmco11.html