Sciweavers

266 search results - page 45 / 54
» Combining Software and Hardware Verification Techniques
Sort
View
EUROMICRO
2003
IEEE
15 years 7 months ago
Providing Interactive Video on Demand Services in Distributed Architecture
True VoD systems provide interactive on-demand video service by allocating each client a dedicated stream. Such a scheme is inefficient when the system has a large number of users...
Bahjat Qazzaz, Remo Suppi, Fernando Cores, Ana Rip...
PVLDB
2010
139views more  PVLDB 2010»
15 years 7 days ago
Aether: A Scalable Approach to Logging
The shift to multi-core hardware brings new challenges to database systems, as the software parallelism determines performance. Even though database systems traditionally accommod...
Ryan Johnson, Ippokratis Pandis, Radu Stoica, Mano...
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 7 months ago
ERSA: Error Resilient System Architecture for probabilistic applications
There is a growing concern about the increasing vulnerability of future computing systems to errors in the underlying hardware. Traditional redundancy techniques are expensive for...
Larkhoon Leem, Hyungmin Cho, Jason Bau, Quinn A. J...
134
Voted
DATE
2006
IEEE
114views Hardware» more  DATE 2006»
15 years 5 months ago
Compositional, efficient caches for a chip multi-processor
In current multi-media systems major parts of the functionality consist of software tasks executed on a set of concurrently operating processors. Those tasks interfere with each o...
Anca Mariana Molnos, Marc J. M. Heijligers, Sorin ...
CC
2009
Springer
116views System Software» more  CC 2009»
16 years 2 months ago
A Framework for Exploring Optimization Properties
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
Min Zhao, Bruce R. Childers, Mary Lou Soffa