Sciweavers

4123 search results - page 400 / 825
» Multiple Relational Embedding
Sort
View
EMSOFT
2003
Springer
16 years 1 days ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
DATE
2010
IEEE
134views Hardware» more  DATE 2010»
15 years 12 months ago
Simultaneous budget and buffer size computation for throughput-constrained task graphs
Abstract—Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on...
Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan ...
INFOCOM
2002
IEEE
15 years 11 months ago
Multicast Scheduling for List Requests
—Advances in wireless and optical communication, as well as in Internet multicast protocols, make broadcast and multicast methods an effective solution to disseminate data. In pa...
Vincenzo Liberatore
QOSIP
2001
Springer
15 years 11 months ago
Quality of Service Issues in Multi-service Wireless Internet Links
—Internet application performance over wireless links is disappointing, due to wireless impairments and their adverse interactions with higher protocol layers. In order to effect...
George Xylomenos, George C. Polyzos
DCC
2000
IEEE
15 years 11 months ago
Fast Progressive Image Coding without Wavelets
We introduce a new image compression algorithm that allows progressive image reconstruction – both in resolution and in fidelity, with a fully embedded bitstream. The algorithm ...
Henrique S. Malvar