Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Rabeh Ayari, Imane Hafnaoui, Giovanni Beltrame, Gabriela Nicolescu |
Schedulability-guided exploration of multi-core systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: 2016 International Symposium on Rapid System Prototyping, RSP 2016, Pittsburg, PA, USA, October 6-7, 2016, pp. 121-127, 2016, IEEE, 978-1-4503-4535-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid |
From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016., pp. 202-209, 2016, SciTePress, 978-989-758-194-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jiaming Lv, Yu Jiang, Xingliang Zou, Albert M. K. Cheng |
Poster Abstract: Using Linked List in Exact Schedulability Tests for Fixed Priority Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016, pp. 60, 2016, IEEE Computer Society, 978-1-4673-8639-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Bingbing Fang, Guoqiang Li 0001, Daniel Sun 0004, Hongming Cai |
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, pp. 147-162, 2016, 978-3-319-47676-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia |
The Polling Effect on the Schedulability of Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, pp. 179-194, 2016, Springer, 978-3-319-39082-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Artem Burmyakov |
Schedulability Analysis of Multiprocessor Real-time Systems Using Pruning ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
15 | Giovanni Agosta, Alessandro Barenghi, Gerardo Pelosi, Michele Scandale |
Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 115(2), pp. 292-297, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto |
Logic-based schedulability analysis for compositional hard real-time embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 12(1), pp. 56-64, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jinkyu Lee 0001, Kang G. Shin, Insik Shin, Arvind Easwaran |
Composition of Schedulability Analyses for Real-Time Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 64(4), pp. 941-954, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Yan Qiao, Naiqi Wu, MengChu Zhou |
Schedulability and Scheduling Analysis of Dual-Arm Cluster Tools with Wafer Revisiting and Residency Time Constraints Based on a Novel Schedule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 45(3), pp. 472-484, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis |
Schedulability of Herschel revisited using statistical model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 17(2), pp. 187-199, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jian-Jia Chen, Wen-Hung Huang 0001, Cong Liu 0005 |
Evaluate and Compare Two Uitlization-Based Schedulability-Test Frameworks for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.02155, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz |
Integrating Schedulability Analysis with UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.06203, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Jian-Jia Chen, Wen-Hung Huang 0001, Cong Liu 0005 |
k2Q: A Quadratic-Form Response Time and Schedulability Analysis Framework for Utilization-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.03883, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Jian-Jia Chen, Wen-Hung Huang 0001, Cong Liu 0005 |
k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.07084, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 113, pp. 236-260, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi |
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 98, pp. 184-204, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Zhengli Zhai, Zhijun Ding |
时间Petri网的可调度分析及在FMS中的应用 (Schedulability Analysis of Time Petri Net and its Application in FMS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(1), pp. 12-18, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Paola Cappanera, Alessandro Lori, Giovanni Stea, Gigliola Vaglini |
On the Schedulability of Deadline-Constrained Traffic in TDMA Wireless Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 58(2), pp. 215-233, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Linwei Niu, Jia Xu |
Improving schedulability and energy efficiency for window-constrained real-time systems with reliability requirement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 61(5-6), pp. 210-226, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee 0001, Linh Thi Xuan Phan |
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015, Auckland, New Zealand, 13-17 April, 2015, pp. 74-83, 2015, IEEE Computer Society, 978-1-4799-8781-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Eduardo Valentin, Mario Salvatierra, Rosiane de Freitas, Raimundo S. Barreto |
Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: 25th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2015, Salvador, Brazil, September 1-4, 2015, pp. 1-8, 2015, IEEE, 978-1-4673-9419-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Artem Burmyakov, Enrico Bini, Eduardo Tovar |
An exact schedulability test for global FP using state space pruning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: Proceedings of the 23rd International Conference on Real Time Networks and Systems, RTNS 2015, Lille, France, November 4-6, 2015, pp. 225-234, 2015, ACM, 978-1-4503-3591-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Chao Wang 0097, Zonghua Gu 0001, Haibo Zeng 0001 |
Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 27th Euromicro Conference on Real-Time Systems, ECRTS 2015, Lund, Sweden, July 8-10, 2015, pp. 69-79, 2015, IEEE Computer Society, 978-1-4673-7570-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Georg von der Brüggen, Jian-Jia Chen, Wen-Hung Huang 0001 |
Schedulability and Optimization Analysis for Non-preemptive Static Priority Scheduling Based on Task Utilization and Blocking Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 27th Euromicro Conference on Real-Time Systems, ECRTS 2015, Lund, Sweden, July 8-10, 2015, pp. 90-101, 2015, IEEE Computer Society, 978-1-4673-7570-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha |
Schedulability bound for integrated modular avionics partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, pp. 37-42, 2015, ACM, 978-3-9815370-4-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Arno Luppold, Heiko Falk |
Schedulability Aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, Sankt Goar, Germany, June 1-3, 2015, pp. 101-104, 2015, ACM, 978-1-4503-3593-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Gopinath Karmakar |
Building comfortability and computation schedulability: A comparative study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2015, Washington, DC, USA, February 18-20, 2015, pp. 1-5, 2015, IEEE, 978-1-4799-1785-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee 0001, Linh Thi Xuan Phan |
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015, pp. 91-100, 2015, ACM, 978-1-4503-3471-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Kiyofumi Tanaka, Kazuki Hasegawa |
Guaranteeing Schedulability with Server Mechanisms for RTOS Overheads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWiLi ![In: Proceedings of the embedded operating system workshop - Embed With Linux 2015, Amsterdam, The Netherlands, October 8, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Kasten Albers, Matthias Dörfel |
Using Timinig Paths to Validate End-to-end Requirements with Methods of Schedulability Simulation and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ Workshops ![In: Joint Proceedings of REFSQ-2015 Workshops, Research Method Track, and Poster Track co-located with the 21st International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2015), Essen, Germany, March 23, 2015., pp. 198-205, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Zhishan Guo, Luca Santinelli, Kecheng Yang 0001 |
EDF Schedulability Analysis on Mixed-Criticality Systems with Permitted Failure Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, pp. 187-196, 2015, IEEE Computer Society, 978-1-4673-7855-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Wen-Hung Huang 0001, Jian-Jia Chen |
Techniques for Schedulability Analysis in Mode Change Systems under Fixed-Priority Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, pp. 176-186, 2015, IEEE Computer Society, 978-1-4673-7855-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Pedro F. Souto, Paulo Baltarejo Sousa, Robert I. Davis 0001, Konstantinos Bletsas, Eduardo Tovar |
Overhead-Aware Schedulability Evaluation of Semi-Partitioned Real-Time Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, pp. 110-121, 2015, IEEE Computer Society, 978-1-4673-7855-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Yu Jiang, Albert M. K. Cheng, Xingliang Zou |
Schedulability Analysis for Real-Time P-FRP Tasks under Fixed Priority Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, pp. 31-40, 2015, IEEE Computer Society, 978-1-4673-7855-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Xiayu Hua, Chunhui Guo, Hao Wu 0021, Douglas Lautner, Shangping Ren |
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Periodic Rejuvenation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, pp. 197-206, 2015, IEEE Computer Society, 978-1-4673-7855-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Bryan C. Ward |
Relaxing Resource-Sharing Constraints for Improved Hardware Management and Schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015, pp. 153-164, 2015, IEEE Computer Society, 978-1-4673-9507-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Abusayeed Saifullah, Dolvara Gunatilaka, Paras Babu Tiwari, Mo Sha 0001, Chenyang Lu 0001, Bo Li 0020, Chengjie Wu, Yixin Chen 0001 |
Schedulability Analysis under Graph Routing in WirelessHART Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015, pp. 165-174, 2015, IEEE Computer Society, 978-1-4673-9507-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jian-Jia Chen, Wen-Hung Huang 0001, Cong Liu 0005 |
k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015, pp. 107-118, 2015, IEEE Computer Society, 978-1-4673-9507-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Christine Niyizamwiyitira, Lars Lundberg, Håkan Lennerstad |
Utilization-Based Schedulability Test of Real-Time Systems on Virtual Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 44th International Conference on Parallel Processing Workshops, ICPPW 2015, Beijing, China, September 1-4, 2015, pp. 267-276, 2015, IEEE Computer Society, 978-1-4673-7589-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Naija, Samir Ben Ahmed, Jean-Michel Bruel |
New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July, 2015., pp. 330-338, 2015, SciTePress, 978-989-758-114-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Leo Hatvani, Reinder J. Bril |
Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, Luxembourg, September 8-11, 2015, pp. 1-8, 2015, IEEE, 978-1-4673-7929-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand |
Contracts for Schedulability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 270-287, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Juan Zamorano, Jorge Garrido |
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings, pp. 85-99, 2015, Springer, 978-3-319-19583-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | J. Augusto Santos Junior, George Lima 0001, Konstantinos Bletsas |
Efficient schedulability tests for real-time embedded systems with urgent routines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 18(1-2), pp. 19-38, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Risat Mahmud Pathan, Jan Jonsson |
Interference-aware fixed-priority schedulability analysis on multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 50(4), pp. 411-455, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Paulo Baltarejo Sousa, Konstantinos Bletsas, Eduardo Tovar, Pedro F. Souto, Benny Akesson |
Unified overhead-aware schedulability analysis for slot-based task-splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 50(5-6), pp. 680-735, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour |
Holistic schedulability analysis for multipacket messages in AFDX networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 50(2), pp. 230-269, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Zonghua Gu 0001, Haibin Cai |
Efficient algorithms for schedulability analysis and priority assignment for fixed-priority preemptive scheduling with offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Syst. ![In: Int. J. Embed. Syst. 6(4), pp. 303-318, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Zonghua Gu 0001, Zhu Wang, Haolan Chen, Haibin Cai |
A model-checking approach to schedulability analysis of global multiprocessor scheduling with fixed offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Syst. ![In: Int. J. Embed. Syst. 6(2/3), pp. 176-187, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli |
Towards EDF schedulability analysis of an extended timing definition language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 11(3), pp. 44-49, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand |
Composition of design patterns: from the modeling of RTOS synchronization tools to schedulability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 11(1), pp. 44-49, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Moonju Park, Heemin Park |
An Efficient Test Method for Rate Monotonic Schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 63(5), pp. 1309-1315, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Song Han 0002, Deji Chen 0001, Ming Xiong, Kam-yiu Lam, Aloysius K. Mok, Krithi Ramamritham |
Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 63(4), pp. 979-994, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Masud Ahmed, Nathan Fisher |
Tractable schedulability analysis and resource allocation for real-time multimodal systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 13(2s), pp. 65:1-65:28, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Saehwa Kim |
Synthesizing Multithreaded Code from Real-Time Object-Oriented Models via Schedulability-Aware Thread Derivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 40(4), pp. 413-426, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Matthew C. Gombolay, Julie A. Shah |
Schedulability Analysis of Task Sets with Upper- and Lower-Bound Temporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Aerosp. Inf. Syst. ![In: J. Aerosp. Inf. Syst. 11(12), pp. 821-841, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jinkyu Lee 0001, Insik Shin |
Demand-based schedulability analysis for real-time multi-core scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 89, pp. 99-108, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Leandro Soares Indrusiak |
End-to-end schedulability tests for multiprocessor embedded systems based on networks-on-chip with priority-preemptive arbitration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 60(7), pp. 553-561, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard |
Schedulability Analysis at Early Design Stages with MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 101-119, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Dirk Müller 0002 |
Schedulability Tests for Real-Time Uni- and Multiprocessor Systems. Focusing on Partitioned Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
15 | Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis 0001, Damien Masson |
Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 311, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Zakaria Sahraoui, Emmanuel Grolleau, Mohamed Ahmed-Nacer, Driss Mehdi, Henri Bauer |
Antinomy between schedulability and quality of control using a feedback scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 171, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Youcheng Sun, Giuseppe Lipari |
A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 35, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Hing Choi Wong, Alan Burns 0001 |
Schedulability Analysis for the Abort-and-Restart (AR) Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 119, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Sanjoy K. Baruah |
Improved Multiprocessor Global Schedulability Analysis of Sporadic DAG Task Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 26th Euromicro Conference on Real-Time Systems, ECRTS 2014, Madrid, Spain, July 8-11, 2014, pp. 97-105, 2014, IEEE Computer Society, 978-1-4799-5798-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Rehan Ahmed, Parameswaran Ramanathan, Kewal K. Saluja |
Necessary and Sufficient Conditions for Thermal Schedulability of Periodic Real-Time Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 26th Euromicro Conference on Real-Time Systems, ECRTS 2014, Madrid, Spain, July 8-11, 2014, pp. 243-252, 2014, IEEE Computer Society, 978-1-4799-5798-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Meng Liu 0001, Moris Behnam, Thomas Nolte |
Schedulability analysis of GMF-modeled messages over controller area networks with mixed-queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFCS ![In: 10th IEEE Workshop on Factory Communication Systems, WFCS 2014, Toulouse, France, May 5-7, 2014, pp. 1-10, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Eun-Young Kang 0001, Pierre-Yves Schobbens |
Schedulability analysis support for automotive systems: from requirement to implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pp. 1080-1085, 2014, ACM, 978-1-4503-2469-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Dirk Müller 0002, Alejandro Masrur |
The schedulability region of two-level mixed-criticality systems based on EDF-VD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pp. 1-6, 2014, European Design and Automation Association, 978-3-9815370-2-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Yu Jiang, Qiang Zhou, Xingliang Zou, Albert M. K. Cheng |
Minimal Schedulability Testing Interval for Real-Time Periodic Tasks with Arbitrary Release Offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/CSS/ICESS ![In: 2014 IEEE International Conference on High Performance Computing and Communications, 6th IEEE International Symposium on Cyberspace Safety and Security, 11th IEEE International Conference on Embedded Software and Systems, HPCC/CSS/ICESS 2014, Paris, France, August 20-22, 2014, pp. 611-614, 2014, IEEE, 978-1-4799-6123-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Cheng Hu 0002, Yun Wang 0002 |
Schedulability decision of charging missions in wireless rechargeable sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: Eleventh Annual IEEE International Conference on Sensing, Communication, and Networking, SECON 2014, Singapore, June 30 - July 3, 2014, pp. 450-458, 2014, IEEE, 978-1-4799-4657-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Qinghua Zhu 0001, Naiqi Wu, Yan Qiao, MengChu Zhou |
Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 2014 IEEE International Conference on Automation Science and Engineering, CASE 2014, New Taipei, Taiwan, August 18-22, 2014, pp. 81-86, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Ahmed Alhammad, Rodolfo Pellizzoni |
Schedulability analysis of global memory-predictable scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 20:1-20:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli |
EDF schedulability analysis for an extended Timing Definition Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014, Pisa, Italy, June 18-20, 2014, pp. 30-40, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Unmesh D. Bordoloi, Amir Aminifar, Petru Eles, Zebo Peng |
Schedulability analysis of Ethernet AVB switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Chongqing, China, August 20-22, 2014, pp. 1-10, 2014, IEEE Computer Society, 978-1-4799-3953-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Felipe Cerqueira, Arpan Gujarati, Björn B. Brandenburg |
Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher Schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014, pp. 249-259, 2014, IEEE Computer Society, 978-1-4799-7287-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jinkyu Lee 0001 |
Time-Reversibility of Schedulability Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014, pp. 294-303, 2014, IEEE Computer Society, 978-1-4799-7287-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Robert I. Davis 0001, Timo Feld, Victor Pollex, Frank Slomka |
Schedulability tests for tasks with Variable Rate-dependent Behaviour under fixed priority scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2014, Berlin, Germany, April 15-17, 2014, pp. 51-62, 2014, IEEE Computer Society, 978-1-4799-4691-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
Widening the Schedulability of Hierarchical Scheduling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 209-227, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Shuai Li 0007, Frank Singhoff, Stéphane Rubini, Michel Bourdellès |
Extending schedulability tests of tree-shaped transactions for TDMA radio protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014, pp. 1-8, 2014, IEEE, 978-1-4799-4846-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman |
Compositional Schedulability Analysis of An Avionics System Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAASE ![In: Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014., pp. 140-147, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Gustavo Künzel, Matheus Antonio Correa Ribeiro, Carlos Eduardo Pereira |
A tool for response time and schedulability analysis in modbus serial communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014, pp. 446-451, 2014, IEEE, 978-1-4799-4905-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Han Liu 0010, Hehua Zhang, Yu Jiang 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 131-134, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 126-130, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Manar Qamhieh, Serge Midonnet |
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings, pp. 119-133, 2014, Springer, 978-3-319-08310-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Hing Choi Wong |
Schedulability analysis for the abort-and-restart model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
15 | Gilles Geeraerts, Joël Goossens, Markus Lindström |
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 49(2), pp. 171-218, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Robert I. Davis 0001, Steffen Kollmann, Victor Pollex, Frank Slomka |
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 49(1), pp. 73-116, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Linwei Niu, Kuai Xu |
Improving schedulability and energy efficiency for real-time systems with (m, k)-guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 10(2), pp. 17, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Thi Thieu Hoa Le, Luigi Palopoli 0002, Roberto Passerone, Yusi Ramadian |
Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 15(3), pp. 211-228, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Fengxiang Zhang, Alan Burns 0001 |
Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 12(3), pp. 67:1-67:19, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Madhukar Anand, Sebastian Fischmeister, Insup Lee 0001 |
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 13(1), pp. 2:1-2:37, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Jinkyu Lee 0001, Insik Shin |
EDZL Schedulability Analysis in Real-Time Multicore Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 39(7), pp. 910-916, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg |
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1302.1306, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi 0001 |
Safe Schedulability of Bounded-Rate Multi-Mode Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1302.0745, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Omar Kermia |
Schedulability Analysis of Distributed Real-Time Applications under Dependence and Several Latency Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.4800, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Saoussen Anssi, Stefan Kuntz, Sébastien Gérard, François Terrier |
On the gap between schedulability tests and an automotive task model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 59(6), pp. 341-350, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Yassine Ouhammou, Emmanuel Grolleau, Jérôme Hugues |
Mapping AADL models to a repository of multiple schedulability analysis techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 2013, pp. 1-8, 2013, IEEE Computer Society, 978-1-4799-2111-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Dirk Müller 0002, Matthias Werner 0001 |
Quantifying the advantage of EDF vs. RMS schedulability on a uniprocessor using a differential analysis and a power-law total utilization distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 2013, pp. 1-10, 2013, IEEE Computer Society, 978-1-4799-2111-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|