2545 search results - page 189 / 509 » An Architectural Discussion on DSPL |
214
click to vote
ISORC
2005
IEEE
16 years 12 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
115
click to vote
MM
2004
ACM
16 years 7 days ago
2004
ACM
This paper provides an overview of the Ambulant Open SMIL player. Unlike other SMIL implementations, the Ambulant Player is a reconfigureable SMIL engine that can be customized fo...
181
click to vote
MM
2004
ACM
16 years 7 days ago
2004
ACM
In this paper we describe the design and implementation of a mobile phone picture sharing system MobShare that enables immediate, controlled, and organized sharing of mobile pictu...
230
click to vote
EGPGV
2004
Springer
16 years 6 days ago
2004
Springer
We describe a system for the texture-based direct volume visualization of large data sets on a PC cluster equipped with GPUs. The data is partitioned into volume bricks in object ...
182
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
This work discusses an Evolvable Hardware (EHW) platform for the intrinsic evolution of analog electronic circuits. The EHW analog platform, named PAMA-NG (Programmable Analog Mult...