Sciweavers

544 search results - page 78 / 109
» On the structure of generalized toric codes
Sort
View
ICCAD
2001
IEEE
185views Hardware» more  ICCAD 2001»
14 years 4 months ago
Application-Driven Processor Design Exploration for Power-Performance Trade-off Analysis
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...
Diana Marculescu, Anoop Iyer
CHI
2010
ACM
14 years 2 months ago
Using concept maps to evaluate the usability of APIs
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...
CSL
2009
Springer
14 years 2 months ago
Nested Hoare Triples and Frame Rules for Higher-Order Store
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...
MM
2009
ACM
172views Multimedia» more  MM 2009»
14 years 2 months ago
A demonstration of MobiTree: progressive 3D tree models streaming on mobile clients
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...
ICC
2008
IEEE
14 years 2 months ago
Unitary Precoding Techniques Based on Transmit-MRC for MIMO Wireless Systems
— 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...