Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Albert Mo Kim Cheng, Rong Wang |
A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 167-172, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Deming Liu, Yann-Hang Lee |
Pfair Scheduling of Periodic Tasks with Allocation Constraints on Multiple Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Thomas A. Henzinger, Christoph M. Kirsch |
A typed assembly language for real-time programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 104-113, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
real time, virtual machine, typed assembly language |
17 | Jukka Mäki-Turja, Mikael Nolin |
Efficient Response-Time Analysis for Tasks with Offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada, pp. 462-471, 2004, IEEE Computer Society, 0-7695-2148-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Phil-Su Kang, Chang-Gun Lee |
Coordinated Search and Track by Multiple Phased Array Radars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada, pp. 227-237, 2004, IEEE Computer Society, 0-7695-2148-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Reinder J. Bril, Wim F. J. Verhaegh, Evert-Jan D. Pol |
Initial Values for On-line Response Time Calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2-4 July 2003, Porto, Portugal, Proceedings, pp. 13-22, 2003, IEEE Computer Society, 0-7695-1936-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
best-case response times, initial value, real-time systems, periodic tasks, worst-case response times, fixed priority preemptive scheduling, iterative procedure |
17 | José C. Palencia Gutiérrez, Michael González Harbour |
Offset-Based Response Time Analysis of Distributed Systems Scheduled under EDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2-4 July 2003, Porto, Portugal, Proceedings, pp. 3-12, 2003, IEEE Computer Society, 0-7695-1936-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Anton Cervin, Johan Eker |
The Control Server: A Computational Model for Real-Time Control Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2-4 July 2003, Porto, Portugal, Proceedings, pp. 113-120, 2003, IEEE Computer Society, 0-7695-1936-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
best-case response times, initial value, real-time systems, periodic tasks, worst-case response times, fixed priority preemptive scheduling, iterative procedure |
17 | Jungkeun Park, Minsoo Ryu, Seongsoo Hong |
Fair Real-Time Resource Allocation for Internet End System's QoS Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human.Society@Internet 2003 ![In: Web Communication Technologies and Internet-Related Social Issues - HSI 2003, Second International Conference on Human Society@Internet, Seoul, Korea, June 18-20, 2003, Proceedings, pp. 764-770, 2003, Springer, 3-540-40456-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Minsoo Ryu, Seongsoo Hong |
Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers, pp. 72-87, 2003, Springer, 3-540-21974-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Insik Shin, Insup Lee 0001 |
Periodic Resource Model for Compositional Real-Time Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico, pp. 2-13, 2003, IEEE Computer Society, 0-7695-2044-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Doron Drusinsky, Man-tak Shing |
Verification of Timing Properties in Rapid System Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA, pp. 47-, 2003, IEEE Computer Society, 0-7695-1943-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Reinhard Wilhelm |
Run-Time Guarantees for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers, pp. 166-167, 2003, Springer, 3-540-21671-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Niklas Holsti, Thomas Långbacka |
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 92-101, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Saehwa Kim, Seongsoo Hong, Tae-Hyung Kim |
Perfecting preemption threshold scheduling for object-oriented real-time system design: from the perspective of real-time synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES-SCOPES ![In: Proceedings of the 2002 Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June 2002, pp. 223-232, 2002, ACM, 1-58113-527-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
object-oriented real-time system design, preemption threshold scheduling, priority inheritance protocols, real-time synchronization, priority ceiling protocol |
17 | Ian Broster, Guillem Bernat, Alan Burns 0001 |
Weakly Hard Real-time Constraints on Controller Area Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 19-21 June 2002, Vienna, Austria, Proceedings, pp. 134-141, 2002, IEEE Computer Society, 0-7695-1665-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Yeonseung Ryu |
Considering Non-real-time Traffic in Real-Time Packet Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDMS/PROMS ![In: Protocols and Systems for Interactive Distributed Multimedia, Joint International Workshops on Interactive Distributed Multimedia Systems and Protocols for Multimedia Systems, IDMS/PROMS 2002, Coimbra, Portugal, November 26-29, 2002, Proceedings, pp. 216-228, 2002, Springer, 3-540-00169-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Admission control algorithm, Real-time scheduling, Packet scheduling |
17 | Aloysius K. Mok, Alex Xiang Feng |
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings, pp. 182-196, 2002, Springer, 3-540-44307-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi 0001 |
TIMES - A Tool for Modelling and Implementation of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 460-464, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Joseph Sifakis |
Scheduler Modeling Based on the Controller Synthesis Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 107-110, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | K. Subramani 0001 |
A Specification Framework for Real-Time Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings, pp. 195-207, 2002, Springer, 3-540-00145-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Yeonseung Ryu |
Providing Multimedia Traffic with Predictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Pacific Rim Conference on Multimedia ![In: Advances in Multimedia Information Processing - PCM 2002, Third IEEE Pacific Rim Conference on Multimedia, Hsinchu, Taiwan, December 16-18, 2002, Proceedings, pp. 904-911, 2002, Springer, 3-540-00262-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tei-Wei Kuo, Ming-Chung Liang, LihChyun Shu |
Abort-Oriented Concurrency Control for Real-Time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(7), pp. 660-673, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
transaction aborting, concurrency control, Real-time databases, priority inversion |
17 | Roman Gumzej, Matjaz Colnaric |
An Approach to Modeling and Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 283-290, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | K. Subramani 0001 |
Parametric Scheduling - Algorithms and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2001, 8th International Conference, Hyderabad, India, December, 17-20, 2001, Proceedings, pp. 36-46, 2001, Springer, 3-540-43009-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Stewart Edgar, Alan Burns 0001 |
Statistical Analysis of WCET for Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, 2-6 December 2001, pp. 215-224, 2001, IEEE Computer Society, 0-7695-1420-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Yann-Hang Lee, Daeyoung Kim 0001, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy |
Resource Scheduling in Dependable Integrated Modular Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 14-23, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Eduardo Tovar, Francisco Vasques |
Non pre-emptive scheduling of messages on SMTV token-passing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 19-21 June 2000, Stockholm, Sweden, Proceedings, pp. 209-218, 2000, IEEE Computer Society, 0-7695-0734-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Marco Caccamo, Giorgio C. Buttazzo, Lui Sha |
Elastic feedback control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 19-21 June 2000, Stockholm, Sweden, Proceedings, pp. 121-128, 2000, IEEE Computer Society, 0-7695-0734-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Hans Hansson, Christer Norström, Sasikumar Punnekkat |
Reliability Modelling of Time-Critical Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings, pp. 94-105, 2000, Springer, 3-540-41055-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Costas Mourlas |
Multiprocessor Scheduling of Real-Time Tasks with Resource Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 497-504, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Tei-Wei Kuo, Ching-Hui Li |
A Fixed-Priority-Driven Open Environment for Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, December 1-3, 1999, pp. 256-267, 1999, IEEE Computer Society, 0-7695-0475-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Resource Synchronization, Real-Time Systems, EDF, PCP, Generalized Processor Sharing, Open Environment, RM, SRP, Sporadic Server |
17 | Lynn Y. Zhang, Jane W.-S. Liu, Zhong Deng, Ian R. Philp |
Hierarchical Scheduling of Periodic Messages in Open System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, December 1-3, 1999, pp. 350-359, 1999, IEEE Computer Society, 0-7695-0475-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
periodic traffic, Open system, hierarchical scheduling |
17 | Antonios Broumas |
Real-Time Object-Oriented DistributedSystems: RT CORBA and RMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 447, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | G. Manimaran, C. Siva Ram Murthy |
An Efficient Dynamic Scheduling Algorithm For Multiprocessor Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(3), pp. 312-319, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
parallelizable tasks, real-time systems, Multiprocessor, dynamic scheduling, resource constraints |
17 | Taewoong Kim, Heonshik Shin, Naehyuck Chang |
Scheduling algorithm for hard real-time communication in demand priority network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 17-19 June 1998, berlin, Germany, Proceedings, pp. 45-52, 1998, IEEE Computer Society, 0-8186-8503-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Sergio Sáez, Joan Vila i Carbó, Alfons Crespo |
Using exact feasibility tests for allocating real-time tasks in multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 17-19 June 1998, berlin, Germany, Proceedings, pp. 53-60, 1998, IEEE Computer Society, 0-8186-8503-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Silvije Jovalekic, Bernd Rist |
Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings, pp. 143-155, 1998, Springer, 3-540-65110-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes |
Integrating Real-Time Scheduling Theory and Program Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 327-346, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Victor B. Lortz, Kang G. Shin |
Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(10), pp. 834-844, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiprocessor synchronization, concurrency control, Real-time scheduling, priority assignment |
17 | Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona |
Scheduling Hard Real Time Systems Using High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 93-112, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Yuhan Lin, Qingxu Deng, Meiling Han, Zhiwei Feng, Shumo Wang, Qize Peng |
LAG-based schedulability analysis for preemptive global EDF scheduling with dynamic cache allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 147, pp. 103045, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom |
CANASTA: Controller Area Network Authentication Schedulability Timing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 72(8), pp. 10024-10036, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Moonju Park, Hyeongboo Baek |
Determining rate monotonic schedulability of real-time periodic tasks using continued fractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 179, pp. 106296, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Madoda Nxumalo, Nils Timm, Stefan Gruner |
An evaluation of approaches to model checking real-time task schedulability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 25(1), pp. 115-128, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Suli Yang, Jing Liu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Principled Schedulability Analysis for Distributed Storage Systems Using Thread Architecture Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 19(2), pp. 17:1-17:47, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fengxiang Zhang, Zhiming Liu 0001, Qin Wu, Sumei Wang, Dandi Ma |
Efficient schedulability analysis of hierarchical EDF scheduling with resource sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 135, pp. 102804, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sanjoy K. Baruah, Pontus Ekberg |
Towards Efficient Explainability of Schedulability Properties in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 35th Euromicro Conference on Real-Time Systems, ECRTS 2023, July 11-14, 2023, Vienna, Austria, pp. 2:1-2:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-280-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Thilanka Thilakasiri, Matthias Becker 0004 |
An Exact Schedulability Analysis for Global Fixed-Priority Scheduling of the AER Task Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023, pp. 326-332, 2023, ACM, 978-1-4503-9783-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Lennart Clausing, Zakarya Guettatfi, Paul Kaufmann, Christian Lienen, Marco Platzner |
On Guaranteeing Schedulability of Periodic Real-Time Hardware Tasks Under ReconOS64. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Applied Reconfigurable Computing. Architectures, Tools, and Applications - 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings, pp. 245-259, 2023, Springer, 978-3-031-42920-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yimi Zhao, Srinidhi Srinivasan, Geoffrey Nelissen, Mitra Nasri |
Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: IEEE Real-Time Systems Symposium, RTSS 2023, Taipei, Taiwan, December 5-8, 2023, pp. 459-462, 2023, IEEE, 979-8-3503-2857-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kunal Agrawal, Sanjoy K. Baruah, Pontus Ekberg |
Rethinking Tractability for Schedulability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: IEEE Real-Time Systems Symposium, RTSS 2023, Taipei, Taiwan, December 5-8, 2023, pp. 1-12, 2023, IEEE, 979-8-3503-2857-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom |
Work in Progress: Schedulability Analysis of CAN and CAN FD Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 349-352, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Binqi Sun, Tomasz Kloda, Jiyang Chen, Cen Lu, Marco Caccamo |
Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 147-160, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Bujosa, Julián Proenza, Alessandro V. Papadopoulos, Thomas Nolte, Mohammad Ashjaei |
Introducing Guard Frames to Ensure Schedulability of All TSN Traffic Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-3991-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ill-Ham Atchadam |
A design space exploration approach to jointly optimize security and schedulability in TSP systems. (Exploration d'architectures logicielle pour les systèmes critiques partitionnés sécurisés). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
15 | Braulio Mello, Gabriel A. Wainer |
Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 98(12), pp. 1143-1159, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Seongtae Lee, Sanghyeok Park, Jinkyu Lee 0001 |
Improved Low Time-Complexity Schedulability Test for Nonpreemptive EDF on a Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 14(2), pp. 87-90, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Kaneez Fizza, Nitin Auluck, Akramul Azim |
Improving the Schedulability of Real-Time Tasks Using Fog Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 15(1), pp. 372-385, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Hongbiao Liu, Chen Xi, Lei Qiao, Jingkun Zhang, Mengfei Yang |
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 12475-12486, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ana Guasque, José María Aceituno, Patricia Balbastre, José E. Simó, Alfons Crespo |
Schedulability analysis of dynamic priority real-time systems with contention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 78(12), pp. 14703-14725, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Robert I. Davis 0001, David Griffin 0002, Iain Bate |
A framework for multi-core schedulability analysis accounting for resource stress and sensitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 58(4), pp. 456-508, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yecheng Zhao, Runzhi Zhou, Haibo Zeng 0001 |
Design optimization for real-time systems with sustainable schedulability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 58(3), pp. 275-312, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Guangli Dai, Pavan Kumar Paluri, Albert M. K. Cheng |
Enhanced schedulability tests for real-time regularity-based virtualized systems with dependent and self-suspension tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 58(4), pp. 401-429, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zheng Dong 0002, Cong Liu 0005 |
Schedulability Analysis for Coscheduling Real-Time Tasks on Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11), pp. 4721-4732, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani |
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.10224, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jinkyu Lee 0001 |
Schedulability Performance Improvement via Task Split in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 129, pp. 102613, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Qingling Zhao, Mengfei Qu, Bo Huang, Zhe Jiang 0004, Haibo Zeng 0001 |
Schedulability analysis and stack size minimization for adaptive mixed criticality scheduling with semi-Clairvoyance and preemption thresholds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 124, pp. 102383, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, Alain Plantec, Hai Nam Tran, Pierre Dissaux |
Specification of schedulability assumptions to leverage multiprocessor Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 133, pp. 102761, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jatin Arora 0006, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar |
Schedulability analysis for 3-phase tasks with partitioned fixed-priority scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 131, pp. 102706, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Zhong Shao |
TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, Baltimore, MD, USA, June 27-30, 2022, pp. 453-465, 2022, IEEE, 978-1-6654-1693-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Akanksha Chaudhari, Sanjoy K. Baruah |
Efficient Schedulability Analysis of Semi-Clairvoyant Sporadic Task Systems With Graceful Degradation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7 - 8, 2022, pp. 116-126, 2022, ACM, 978-1-4503-9650-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nhat-Hoa Tran |
Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoICT ![In: The 11th International Symposium on Information and Communication Technology, SoICT 2022, Hanoi, Vietnam, December 1-3, 2022, pp. 336-343, 2022, ACM, 978-1-4503-9725-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ishfaq Hussain, Pedro F. Souto, Konstantinos Bletsas, Muhammad Ali Awan, Eduardo Tovar |
Schedulability analysis for CAN bus messages of periodically-varying size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFCS ![In: 18th IEEE International Conference on Factory Communication Systems, WFCS 2022, Pavia, Italy, April 27-29, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-1086-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Syed Aftab Rashid, Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Eduardo Tovar |
Cache-aware Schedulability Analysis of PREM Compliant Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022, pp. 1269-1274, 2022, IEEE, 978-3-9819263-6-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ill-Ham Atchadam, Laurent Lemarchand, Frank Singhoff, Hai Nam Tran |
Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP Workshops ![In: Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2022, Proceedings, pp. 83-96, 2022, Springer, 978-3-031-14861-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mitchell Duncan, Fatima Raadia, Syeda Tanjila Atik, Marco Brocanelli, Nathan Fisher |
Real-Time Schedulability Analysis for Overloaded Primary-to-Secondary Processor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/DSS/SmartCity/DependSys ![In: 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application, HPCC/DSS/SmartCity/DependSys 2022, Hainan, China, December 18-20, 2022, pp. 1931-1940, 2022, IEEE, 979-8-3503-1993-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ningshi Yao, Fumin Zhang 0001 |
Event-triggered Scheduling and Control Co-design for Networked Control Systems with Sub-schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022, pp. 1733-1738, 2022, IEEE, 978-1-6654-5196-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jin Cui, Xu Lu 0003, Guangliang Yu, Bin Yu |
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 70-76, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Reinder J. Bril |
Exact schedulability analysis for single-rate periodic cyclic executives for a refined system model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2022 - 48th Annual Conference of the IEEE Industrial Electronics Society, Brussels, Belgium, October 17-20, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8025-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Reinder J. Bril |
Exact schedulability analysis of systems based on single-rate periodic cyclic executives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIE ![In: 31st IEEE International Symposium on Industrial Electronics, ISIE 2022, Anchorage, AK, USA, June 1-3, 2022, pp. 799-806, 2022, IEEE, 978-1-6654-8240-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jiwoo Lee, Albert M. K. Cheng, Guangli Dai |
Work-in-Progress: Generalized Demand-Based Schedulability Test for Dual-Criticality Sporadic Task Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: IEEE Real-Time Systems Symposium, RTSS 2022, Houston, TX, USA, December 5-8, 2022, pp. 507-510, 2022, IEEE, 978-1-6654-5346-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Lei Wang 0081, Jingyu Yang, Xinhua Zheng |
Fast Assessment of Requests Schedulability in Data Relay Satellite Systems: A Multi-layer Neural Network Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCC Workshops ![In: IEEE/CIC International Conference on Communications in China, ICCC Workshops 2022, Sanshui, Foshan, China, August 11-13, 2022, pp. 389-394, 2022, IEEE, 978-1-6654-5977-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Federico Reghenzani, Zhishan Guo, Luca Santinelli, William Fornaciari |
A Mixed-Criticality Approach to Fault Tolerance: Integrating Schedulability and Failure Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 27-39, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani |
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 27th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2022, Stuttgart, Germany, September 6-9, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-9996-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Reinder J. Bril |
Exact schedulability analysis of systems based on multi-rate periodic cyclic executives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 20th IEEE International Conference on Industrial Informatics, INDIN 2022, Perth, Australia, July 25-28, 2022, pp. 53-60, 2022, IEEE, 978-1-7281-7568-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens |
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 182(1), pp. 31-67, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Rodrigo Cortés Porto, Daniela Genius, Ludovic Apvrille |
Handling causality and schedulability when designing and prototyping cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 20(3), pp. 667-683, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Draskovic, Rehan Ahmed, Pengcheng Huang, Lothar Thiele |
Schedulability of probabilistic mixed-criticality systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 57(4), pp. 397-442, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yang Li 0145, Tianying Liu, Jianming Zhu, Xiuli Wang, Meijiao Duan, Youwei Wang |
Comprehensive study of schedulability tests and optimal design for rate-monotonic scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 173, pp. 107-119, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Dasom Lee, Hyeonseok Jung, Hoeseok Yang |
Real-Time Schedulability Analysis and Enhancement of Transiently Powered Processors With NVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 70(3), pp. 372-383, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Jinghao Sun, Nan Guan, Rongxiao Shi, Guozhen Tan, Wang Yi 0001 |
Schedulability Analysis for Timed Automata With Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 20(5s), pp. 89:1-89:26, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Paolo Pazzaglia, Youcheng Sun, Marco Di Natale |
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 20(1), pp. 3:1-3:26, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens |
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.07548, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Saehwa Kim |
Impact of Synthetic Task Set Generation Methods on Schedulability Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Eng. ![In: J. Comput. Sci. Eng. 15(2), pp. 72-77, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yin Lu, Shudong Qin, Leqi Xi, Yunwei Dong |
On Schedulability Analysis of AADL Architecture with Storage Resource Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 11(4), pp. 429-452, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu 0033, Zhiming Liu 0001 |
A clock-based dynamic logic for schedulability analysis of CCSL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 202, pp. 102546, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mourad Dridi, Frank Singhoff, Stéphane Rubini, Jean-Philippe Diguet |
ECTM: A network-on-chip communication model to combine task and message schedulability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 114, pp. 101931, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tanya Amert, Ming Yang 0036, Sergey Voronov, Saujas Nandi, Thanh Vu, James H. Anderson, F. Donelson Smith |
The price of schedulability in cyclic workloads: The history-vs.-response-time-vs.-accuracy trade-off. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 120, pp. 102292, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Jatin Arora 0006, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar |
Bus-Contention Aware Schedulability Analysis for the 3-Phase Task Model with Partitioned Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: RTNS'2021: 29th International Conference on Real-Time Networks and Systems, Nantes, France, April 7-9, 2021, pp. 123-133, 2021, ACM, 978-1-4503-9001-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|