58 search results - page 12 / 12 » UML Modeling and Formal Verification of Control Data Driven ... |
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
DSRT
2008
IEEE
13 years 7 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...
EMSOFT
2004
Springer
13 years 10 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...