10707 search results - page 281 / 2142 » Designing executable abstractions |
153
click to vote
IJHPCA
2007
15 years 4 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
150
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
179
click to vote
STORYTELLING
2005
Springer
15 years 10 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
159
click to vote
ASWSD
2004
Springer
15 years 9 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
110
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives prel...