A General Stochastic Framework for Low-Cost Design of Multimedia SoCs
暂无分享,去创建一个
Axel Legay | Samarjit Chakraborty | Deepak Gangadharan | Marius Bozga | Saddek Bensalem | Ayoub Nouri | Balaji Raman | Jerome Milan | Axel Legay | M. Bozga | S. Chakraborty | S. Bensalem | A. Basu | Ayoub Nouri | Balaji Raman | Deepak Gangadharan | Mayur Maheshwari | Jérôme Milan | Ananda Basu | Mayur Maheshwari
[1] Lothar Thiele,et al. Performance Analysis of Multimedia Applications using Correlated Streams , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.
[2] R. Khan,et al. Sequential Tests of Statistical Hypotheses. , 1972 .
[3] Radu Marculescu,et al. System-level performance/power analysis for platform-based design of multimedia applications , 2007, TODE.
[4] Predrag R. Jelenkovic,et al. The Effect of Multiple Time Scales and Subexponentiality in MPEG Video Streams on Queueing Behavior , 1997, IEEE J. Sel. Areas Commun..
[5] Axel Legay,et al. Statistical abstraction and model-checking of large heterogeneous systems , 2010, International Journal on Software Tools for Technology Transfer.
[6] Yong Liu,et al. Stochastic Network Calculus , 2008 .
[7] Håkan L. S. Younes,et al. Verification and planning for stochastic processes with asynchronous events , 2004 .
[8] Samarjit Chakraborty,et al. Application-specific workload shaping in multimedia-enabled personal mobile devices , 2008, TECS.
[9] Jörg Henkel,et al. SETS: Stochastic execution time scheduling for multicore systems by joint state space and Monte Carlo , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[10] Thomas Hérault,et al. Approximate Probabilistic Model Checking , 2004, VMCAI.
[11] Wei Tsang Ooi,et al. Approximate VCCs: a new characterization of multimedia workloads for system-level MpSoC design , 2005, Proceedings. 42nd Design Automation Conference, 2005..
[12] Marwan Krunz,et al. Statistical characteristics and multiplexing of MPEG streams , 1995, Proceedings of INFOCOM'95.
[13] Mahesh Viswanathan,et al. Statistical Model Checking of Black-Box Probabilistic Systems , 2004, CAV.
[14] Cyrille Jégourel,et al. Statistical model checking QoS properties of systems with SBIP , 2012, International Journal on Software Tools for Technology Transfer.
[15] Lothar Thiele,et al. Rate analysis for streaming applications with on-chip buffer constraints , 2004 .
[16] Alper Demir,et al. Stochastic Modeling and Optimization for Energy Management in Multicore Systems: A Video Decoding Case Study , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[17] Lothar Thiele,et al. Worst case delay analysis for memory interference in multicore systems , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
[18] Insup Lee,et al. Video Quality Driven Buffer Sizing via Frame Drops , 2011, 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications.
[19] Frédéric Magniez,et al. Probabilistic abstraction for model checking: An approach based on property testing , 2007, TOCL.
[20] Wei Tsang Ooi,et al. On buffering with stochastic guarantees in resource-constrained media players , 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
[21] Lothar Thiele,et al. Worst-case response time analysis of resource access models in multi-core systems , 2010, Design Automation Conference.
[22] Samarjit Chakraborty,et al. A Multi-mode Real-Time Calculus , 2008, 2008 Real-Time Systems Symposium.
[23] Christel Baier,et al. Performance evaluation and model checking join forces , 2010, Commun. ACM.
[24] Joseph Sifakis,et al. Rigorous Component-Based System Design Using the BIP Framework , 2011, IEEE Software.
[25] Satish K. Tripathi,et al. On the characterization of VBR MPEG streams , 1997, SIGMETRICS '97.
[26] Jaideep Srivastava,et al. Quality of service (QoS) metrics for continuous media , 2004, Multimedia Tools and Applications.
[27] Wei Tsang Ooi,et al. Reducing Data-Memory Footprint of Multimedia Applications by Delay Redistribution , 2007, 2007 44th ACM/IEEE Design Automation Conference.
[28] Axel Legay,et al. Statistical Model Checking: An Overview , 2010, RV.
[29] Liliana Cucu-Grosjean,et al. Toward probabilistic real-time calculus , 2011, SIGBED.
[30] Santosh Pande,et al. Statistically Analyzing Execution Variance for Soft Real-Time Applications , 2008, LCPC.