1 - This paper presents an efficient design exploration environment for high-end core processors. The heart of the proposed design exploration framework is a two-level simulation e...
Application programming interfaces (APIs) are the interfaces to existing code structures, such as widgets, frameworks, or toolkits. Therefore, they very much do have an impact on ...
Jens Gerken, Hans-Christian Jetter, Harald Reitere...
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, H...
We demonstrate MobiTree, a system we built that allows progressive streaming and rendering of 3D tree models on a mobile phone. MobiTree enables user to retrieve not only typical ...
Andra Doran, Sebastien Mondet, Romulus Grigoras, G...
— This paper proposes a low complexity unitary precoding scheme for multiple-input multiple-output (MIMO) systems. The singular-value decomposition (SVD) based transmission is ca...
Seokhwan Park, Heunchul Lee, Sang-Rim Lee, Inkyu L...