122 search results - page 25 / 25 » Completeness of Pointer Program Verification by Separation L... |
DSRT
2008
IEEE
13 years 6 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
JAVA
2001
Springer
13 years 9 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...