Sciweavers

1122 search results - page 120 / 225
» Behavioral Extensions of Institutions
Sort
View
ISPDC
2010
IEEE
14 years 8 months ago
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
Abdoulaye Gamatié, Vlad Rusu, Éric R...
AUGHUMAN
2010
14 years 8 months ago
The Reading Glove: designing interactions for object-based tangible storytelling
In this paper we describe a prototype Tangible User Interface (TUI) for interactive storytelling that explores the semantic properties of tangible interactions using the fictional...
Joshua Tanenbaum, Karen Tanenbaum, Alissa Nicole A...
FPL
2010
Springer
106views Hardware» more  FPL 2010»
14 years 8 months ago
Increasing Design Productivity through Core Reuse, Meta-data Encapsulation, and Synthesis
This paper presents a novel IP core reuse strategy which reduces design time from days to hours for communication circuits such as digital radio receivers. This design productivity...
Adam Arnesen, Kevin Ellsworth, Derrick Gibelyou, T...
MEMOCODE
2010
IEEE
14 years 7 months ago
Compilation of imperative synchronous programs with refined clocks
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
Mike Gemunde, Jens Brandt, Klaus Schneider
PIMRC
2010
IEEE
14 years 7 months ago
Design of diversity-achieving LDPC codes for H-ARQ with cross-packet channel coding
In wireless scenarios an effective protocol to increase the reliability for time-varying channels is the hybrid automatic repeat request (H-ARQ). The H-ARQ scheme with cross-packet...
Dieter Duyck, Daniele Capirone, Christoph Hausl, M...