On the existence of probe effect in multi-threaded embedded programs (English)
- New search for: Song, Young Wn
- New search for: Lee, Yann-Hang
- New search for: Song, Young Wn
- New search for: Lee, Yann-Hang
In:
2014 International Conference on Embedded Software (EMSOFT)
;
1-9
;
2014
-
ISBN:
- Conference paper / Electronic Resource
-
Title:On the existence of probe effect in multi-threaded embedded programs
-
Contributors:Song, Young Wn ( author ) / Lee, Yann-Hang ( author )
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2014-10-01
-
Size:3936260 byte
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Automated software testing of memory performance in embedded GPUsChattopadhyay, Sudipta / Eles, Petru / Peng, Zebo et al. | 2014
- 1
-
Parallel many-core avionics systemsPanic, Milos / Quinones, Eduardo / Zavkov, Pavel G. / Hernandez, Carles / Abella, Jaume / Cazorla, Francisco J. et al. | 2014
- 1
-
Exponentially timed SADF: Compositional semantics, reductions, and analysisKatoen, Joost-Pieter / Wu, Hao et al. | 2014
- 1
-
Computing maximum blocking times with explicit path analysis under non-local flow boundsKleinsorge, Jan C. / Marwedel, Peter et al. | 2014
- 1
-
Deductive control synthesis for alternating-time logicsDimitrova, Rayna / Majumdar, Rupak et al. | 2014
- 1
-
Synthesising optimal timing delays for Timed I/O AutomataDiciolla, Marco / Peter Kim, Chang Hwan / Kwiatkowska, Marta / Mereacre, Alexandru et al. | 2014
- 1
-
Extending typical worst-case analysis using response-time dependencies to bound deadline missesHammadeh, Zain A. H. / Quinton, Sophie / Ernst, Rolf et al. | 2014
- 1
-
Building high-performance smartphones via non-volatile memory: The swap approachZhong, Kan / Wang, Tianzheng / Zhu, Xiao / Long, Linbo / Liu, Duo / Liu, Weichen / Shao, Zili / Sha, Edwin H.-M. et al. | 2014
- 1
-
Real-time multi-core virtual machine scheduling in XenXi, Sisu / Xu, Meng / Lu, Chenyang / Phan, Linh T. X. / Gill, Christopher / Sokolsky, Oleg / Lee, Insup et al. | 2014
- 1
-
Task mapping in heterogeneous embedded systems for fast completion timeZhou, Husheng / Liu, Cong et al. | 2014
- 1
-
Embedded software reliability for unreliable hardwareChen, Jian-Jia / Shafique, Muhammad et al. | 2014
- 1
-
Refinement calculus of reactive systemsPreoteasa, Viorel / Tripakis, Stavros et al. | 2014
- 1
-
SiPTA: Signal processing for trace-based anomaly detectionZeinali Zadeh, Mohammad Mehdi / Salem, Mahmoud / Kumar, Neeraj / Cutulenco, Greta / Fischmeister, Sebastian et al. | 2014
- 1
-
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricingPuggelli, Alberto / Sangiovanni-Vincentelli, Alberto L. / Seshia, Sanjit A. et al. | 2014
- 1
-
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretationRavanbakhsh, Hadi / Sankaranarayanan, Sriram et al. | 2014
- 1
-
EDF as an arbitration policy for wormhoe-switched priority-preemptive NoCs — Myth or fact?Nikolic, Borislav / Petters, Stefan M. et al. | 2014
- 1
-
Can we put concurrency back into redundant multithreading?Dobe, Bjorn / Hartig, Hermann et al. | 2014
- 1
-
A general approach for expressing infeasibility in Implicit Path Enumeration TechniqueRaymond, Pascal et al. | 2014
- 1
-
Energy efficient DVFS scheduling for mixed-criticality systemsHuang, Pengcheng / Kumar, Pratyush / Giannopoulou, Georgia / Thiele, Lothar et al. | 2014
- 1
-
P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobsKumar, Pratyush / Thiele, Lothar et al. | 2014
- 1
-
Real-time system support for hybrid structural simulationFerry, David / Bunting, Gregory / Maqhareh, Amin / Prakash, Arun / Dyke, Shirley / Aqrawal, Kunal / Gill, Chris / Lu, Chenyang et al. | 2014
- 1
-
Precise piecewise affine models from input-output dataAlur, Raieev / Singhania, Nimit et al. | 2014
- 1
-
Blaming in component-based real-time systemsGossier, Gregor / Astefanoaei, Lacramioara et al. | 2014
- 1
-
On the existence of probe effect in multi-threaded embedded programsSong, Young Wn / Lee, Yann-Hang et al. | 2014
- 1
-
Contract-based integration of cyber-physical analysesRuchkin, Ivan / De Niz, Dionisio / Chaki, Sagar / Garlan, David et al. | 2014
- 1
-
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratoryJuniwal, Garvit / Donze, Alexandre / Jensen, Jeff C. / Seshia, Sanjit A. et al. | 2014
- 1
-
Schedulability analysis of global memory-predictable schedulingAlhammad, Ahmed / Pellizzoni, Rodolfo et al. | 2014
- 1
-
Supporting read/write applications in embedded real-time systems via suspension-aware analysisTong, Guangmo / Liu, Cong et al. | 2014