Sciweavers

4887 search results - page 471 / 978
» System Level Design Using C
Sort
View
GLOBECOM
2010
IEEE
15 years 5 months ago
Peer-to-Peer Storage Systems: A Practical Guideline to be Lazy
Distributed and peer-to-peer storage systems are foreseen as an alternative to the traditional data centers and in-house backup solutions. In the past few years many peerto-peer st...
Frédéric Giroire, Julian Monteiro, S...
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
16 years 1 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
SIGDOC
2009
ACM
16 years 1 months ago
Modeling task experience in user assistance systems
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
Andrea Kohlhase, Michael Kohlhase
HASE
2008
IEEE
16 years 1 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
VTC
2006
IEEE
102views Communications» more  VTC 2006»
16 years 29 days ago
Backward Compatible Modulation Schemes for Improving Spectrum Efficiency in DAB Systems
In this study, a new physical layer transmission technique is proposed with the spectrum efficiency up to two times of that of the Eureka-147 DAB system. The proposed technique com...
Chih-Yang Kao, Ming-Chien Tseng, Ching-Yung Chen, ...