10707 search results - page 181 / 2142 » Designing executable abstractions |
162
click to vote
DATE
2006
IEEE
2006
IEEE
Design and implementation of a rendering algorithm in a SIMD reconfigurable architecture (MorphoSys)
16 years 16 days ago
In this paper we analyze a 3D image rendering algorithm and the different mapping schemes to implement it in a SIMD reconfigurable architecture. 3D image render is highly computat...
192
click to vote
FAC
2010
15 years 5 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
156
click to vote
FUIN
2008
15 years 6 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
202
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...