Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Liliana Cucu |
Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmesembarqués à contraintes temps réel. (Non-preemptive scheduling and schedulability condition for embedded systems with real-time constraints). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
15 | José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya |
Integrating Schedulability Analysis and Design Techniques in SD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 24(3), pp. 267-302, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Sampsa Fabritius, Raimondas Lencevicius, Edu Metz, Alexander Ran |
Experimental Software Schedulability Estimation For Varied Processor Frequencies ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.SE/0302033, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | Marco Di Natale, Manas Saksena |
Schedulability Analysis with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 241-269, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | John Sweeney, Huan Li 0001, Roderic A. Grupen, Krithi Ramamritham |
Scalability and schedulability in large, coordinated, distributed robot systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2003 IEEE International Conference on Robotics and Automation, ICRA 2003, September 14-19, 2003, Taipei, Taiwan, pp. 4074-4079, 2003, IEEE. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Traian Pop, Petru Eles, Zebo Peng |
Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems. ![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. 257-266, 2003, IEEE Computer Society, 0-7695-1936-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Alan Burns 0001, Guillem Bernat, Ian Broster |
A Probabilistic Framework for Schedulability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, pp. 1-15, 2003, Springer, 3-540-20223-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Sampsa Fabritius, Raimondas Lencevicius, Edu Metz, Alexander Ran |
Experimental Software Schedulability Estimation for Varied Processor Frequencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Informatics ![In: The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria, pp. 942-947, 2003, IASTED/ACTA Press, 0-88986-345-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | Jörn Schneider |
Combined schedulability and WCET analysis for real-time operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
15 | Elena Fersman |
A Generic Approach to Schedulability Analysis of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
15 | Luís Almeida 0001, Eduardo Tovar, José A. G. Fonseca, Francisco Vasques |
Schedulability analysis of real-time traffic in WorldFIP networks: an integrated approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 49(5), pp. 1165-1174, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Sijing Zhang, Alan Burns 0001, Ahmed Mehaoua, E. Stewart Lee, Hongji Yang |
Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 22(3), pp. 251-280, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Lars Lundberg |
Utilization Based Schedulability Bounds for Age Constraint Process Sets in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 23(3), pp. 273-295, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | S. Swaminathan, G. Manimaran |
A Value-Based Scheduler Capturing Schedulability-Reliability Tradeoff in Multiprocessor Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scalable Comput. Pract. Exp. ![In: Scalable Comput. Pract. Exp. 5(1), 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
15 | J. Javier Gutiérrez, José M. Drake, Michael González Harbour, Julio L. Medina |
Modeling and schedulability analysis in the development of real-time distributed Ada systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRTAW ![In: Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002, pp. 58-65, 2002, ACM, 978-1-4503-7361-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Sorin Manolache, Petru Eles, Zebo Peng |
Schedulability analysis of multiprocessor real-time applications with stochastic task execution times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, ICCAD 2002, San Jose, California, USA, November 10-14, 2002, pp. 699-706, 2002, ACM / IEEE Computer Society, 0-7803-7607-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin |
Trade-Off Analysis of Real-Time Control Performance and Schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 21(3), pp. 199-217, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Libero Nigro, Francesco Pupo |
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 493-513, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Design/CPN, Real Time, Modularity, Actors, Temporal Analysis, Occurrence Graphs |
15 | Sorin Manolache, Petru Eles, Zebo Peng |
Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings, pp. 19-, 2001, IEEE Computer Society, 0-7695-1221-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Pau Martí, Ricard Villà, Josep M. Fuertes, Gerhard Fohler |
On real-time control tasks schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 6th European Control Conference, ECC 2001, Porto, Portugal, September 4-7, 2001, pp. 2227-2232, 2001, IEEE, 978-3-9524173-6-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | R. Al-Omari, Arun K. Somani, G. Manimaran |
A New Fault-Tolerant Technique for Improving the Schedulability in Multiprocessor Real-time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27, 2001, pp. 32, 2001, IEEE Computer Society, 0-7695-0990-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Raymond R. Devillers, Joël Goossens |
Liu and Layland's schedulability test revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 73(5-6), pp. 157-161, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe Lipari, Giorgio C. Buttazzo |
Schedulability analysis of periodic and aperiodic tasks with resource constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 46(4), pp. 327-338, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Sijing Zhang, Xicheng Liu, E. Stewart Lee |
Effect of nodes reordering on the schedulability of real-time messages in timed token networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 4(12), pp. 420-422, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | H. Sun |
Timing Constraints Validation using UPPAAL: Schedulability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Architecture and Design of Distributed Embedded Systems, IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloß Eringerfeld, Germany, pp. 161-172, 2000, Kluwer, 0-7923-7345-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
15 | Taewoong Kim, Junghoon Lee, Heonshik Shin, Naehyuck Chang |
Best Case Response Time Analysis for Improved Schedulability Analysis of Distributed Real-Time Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshop on Distributed Real-Time Systems ![In: Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, pp. B14-B20, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
15 | Youngsoo Shin, Daehong Kim, Kiyoung Choi |
Schedulability-driven performance analysis of multiple mode embedded real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 495-500, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Shuhua Wang 0002 |
Specification, allocation and schedulability analysis for fixed priority hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
15 | Edwin Erpenbach |
Compilation, worst case execution times, and schedulability analysis of statecharts models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
15 | Paulo Sergio Martins Pedro |
Schedulability of mode changes in flexible real-time distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
15 | Edwin Erpenbach, Peter Altenbernd |
Worst-case execution times and schedulability analysis of statecharts models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK, Proceedings, pp. 70-77, 1999, IEEE Computer Society, 0-7695-0240-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Shigero Sasaki, Takashi Matsumoto 0002, Kei Hiraki |
On the Schedulability Conditions on Partial Time Slots . ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 166-173, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Scheduling, Formal methods, Real-time requirements |
15 | Paul Pop, Petru Eles, Zebo Peng |
Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 287-294, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Scheduling, Embedded Systems, Architecture, Performance Analysis, Network Communications |
15 | José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya |
Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings, pp. 241-, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
15 | Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee 0001, Hong-liang Xie |
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 15(3), pp. 189-219, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Colin J. Fidge |
Real-Time Schedulability Tests for Preemptive Multitasking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 14(1), pp. 61-93, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Frank Slomka, Jürgen Zant, Lennard Lambert |
Schedulability analysis of heterogeneous systems for performance message sequence chart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Sixth International Workshop on Hardware/Software Codesign, CODES 1998, Seattle, Washington, USA, March 15-18, 1998, pp. 91-95, 1998, IEEE Computer Society, 0-8186-8442-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SDL |
15 | Manas Saksena, Alan Ptak, Paul Freedman, Pawel Rodziewicz |
Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 92-102, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Hee-Hwan Kwak, Insup Lee 0001, Anna Philippou, Jin-Young Choi, Oleg Sokolsky |
Symbolic Schedulability Analysis of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 409-418, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Ching-Chih Jason Han |
A Better Polynomial-Time Schedulability Test for Real-Time Multiframe Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 104-113, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Meyer, Howard Wong-Toi |
Schedulability Analysis of Acyclic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 274-284, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Danbing Seto, John P. Lehoczky, Lui Sha |
Task Period Selection and Schedulability in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 188-198, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | José C. Palencia Gutiérrez, Michael González Harbour |
Schedulability Analysis for Tasks with Static and Dynamic Offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 26-37, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Shun-Shii Lin, Kwei-Jay Lin |
A Pinwheel Scheduler for Three Distinct Numbers with a Tight Schedulability Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 19(4), pp. 411-426, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | José C. Palencia Gutiérrez, José Javier Gutiérrez García, Michael González Harbour |
On the schedulability analysis for distributed hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, RTS 1997, 11-13 June, 1997, Toledo, Spain, pp. 136-143, 1997, IEEE Computer Society, 0-8186-8036-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Iain Bate, Alan Burns 0001 |
Schedulability analysis of fixed priority real-time systems with offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, RTS 1997, 11-13 June, 1997, Toledo, Spain, pp. 153-160, 1997, IEEE Computer Society, 0-8186-8036-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Sergey Gorinsky, Sanjoy K. Baruah, Thomas J. Marlowe, Alexander D. Stoyenko |
Exact and Efficient Analysis of Schedulability in Fixed-Packet Networks: A Generic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '97, The Conference on Computer Communications, Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies, Driving the Information Revolution, Kobe, Japan, April 7-12, 1997, pp. 584-591, 1997, IEEE Computer Society, 0-8186-7780-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Erik Cota-Robles, James P. Held, Thomas J. Barnes |
Schedulability Analysis for Desktop Multimedia Applications: Simple Ways to Handle General-Purpose Operating Systems and Open Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS ![In: Proceedings of the International Conference on Multimedia Computing and Systems, ICMCS 1997, Ottawa, Ontario, Canada, June 3-6, 1997, pp. 475-483, 1997, IEEE Computer Society, 0-8186-7819-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Guillem Bernat, José Miró-Julià, Julián Proenza |
Fixed Priority Schedulability Analysis of a Distributed Real-Time Fault Tolerant Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA, pp. 479-487, 1997, CSREA Press, 0-9648666-8-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
15 | Sasikumar Punnekkat |
Schedulability analysis for fault tolerant real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
15 | José V. Busquets-Mataix, Juan José Serrano, Rafael Ors Carot, Pedro J. Gil, Andrew J. Wellings |
Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, RTS 1996, L'Aquila, Italy, June 12-14, 1996, pp. 271-276, 1996, IEEE Computer Society, 0-8186-7496-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings |
Adding instruction cache effect to schedulability analysis of preemptive real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996, pp. 204-212, 1996, IEEE Computer Society, 0-8186-7448-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
15 | Hanêne Ben-Abdallah, Young-Si Kim, Insup Lee 0001 |
Schedulability and safety analysis in the graphical communicating shared resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, February 1-2, 1996, Laguna Beach, California, USA, pp. 25-33, 1996, IEEE Computer Society, 0-8186-7570-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Zhiming Liu 0001, Mathai Joseph, Tomasz Janowski |
Verification of Schedulability for Real-Time Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 7(5), pp. 510-532, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Vassilis C. Gerogiannis, Manthos A. Tsoukarellas |
SAT-a schedulability analysis tool for real-time applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: 7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense, Denmark, March 14-16, 1995, pp. 155-163, 1995, IEEE Computer Society, 0-8186-7112-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Jakob Axelsson |
Analysis and improvement of task schedulability in hardware/software codesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: 7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense, Denmark, March 14-16, 1995, pp. 276-285, 1995, IEEE Computer Society, 0-8186-7112-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | José Javier Gutiérrez García, Michael González Harbour |
Increasing schedulability in distributed hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: 7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense, Denmark, March 14-16, 1995, pp. 99-107, 1995, IEEE Computer Society, 0-8186-7112-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Ramesh Yerraballi, Ravi Mukkamala, Kurt Maly, Hussein M. Abdel-Wahab |
Issues in schedulability analysis of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: 7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense, Denmark, March 14-16, 1995, pp. 87-92, 1995, IEEE Computer Society, 0-8186-7112-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Charlie McElhone, Alan Burns 0001, Robert I. Davis 0001 |
Hybrid algorithms for dynamic schedulability testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: 7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense, Denmark, March 14-16, 1995, pp. 254-261, 1995, IEEE Computer Society, 0-8186-7112-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Jin-Young Choi, Insup Lee 0001, Hong-liang Xie |
The Specification and Schedulability Analysis of Real-Time Systems using ACSR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 16th IEEE Real-Time Systems Symposium, Palazzo dei Congressi, Via Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings, pp. 266-275, 1995, IEEE Computer Society, 0-8186-7337-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Sheng-Tzong Cheng, Shyh-In Hwang, Ashok K. Agrawala |
Schedulability-Oriented Replication of Periodic Tasks in Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30 - June 2, 1995, pp. 196-203, 1995, IEEE Computer Society, 0-8186-7025-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Thomas J. Marlowe, Alexander D. Stoyenko, Stephen P. Masticola, Lonnie R. Welch |
Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 7(2), pp. 183-212, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Alexander D. Stoyenko, Theodore P. Baker |
Real-time schedulability-analyzable mechanisms in Ada9X. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 82(1), pp. 95-107, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Ken Tindell, John A. Clark |
Holistic schedulability analysis for distributed hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 40(2-3), pp. 117-134, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Ghasem S. Alijani, Farhad Jafari, Chen Wen-Shui |
Schedulability: Real-Time Tasks Scheduling in a Multiprocessor System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP (3) ![In: Proceedings of the 1994 International Conference on Parallel Processing, North Carolina State University, NC, USA, August 15-19, 1994. Volume I: Algorithms & Applications., pp. 79-82, 1994, CRC Press, 0-8493-2495-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Richard Gerber 0001, Seongsoo Hong |
Semantics-based compiler transformations for enhanced schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, pp. 232-242, 1993, IEEE Computer Society, 0-8186-4480-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Andre N. Fredette, Rance Cleaveland |
RTSL: a language for real-time schedulability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, pp. 274-283, 1993, IEEE Computer Society, 0-8186-4480-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Sanjay Kamat, Wei Zhao 0001 |
Real-Time Schedulability of Two Token Ring Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 13th International Conference on Distributed Computing Systems, Pittsburgh, Pennsylvania, USA, May 25-28, 1993, pp. 347-354, 1993, IEEE Computer Society, 0-8186-3770-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Alexander D. Stoyenko, Thomas J. Marlowe |
Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 4(4), pp. 307-329, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Alexander D. Stoyenko, Thomas J. Marlowe |
Predictability and Techniques for Schedulability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NATO ASI RTC ![In: Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992, pp. 213-242, 1992, Springer, 978-3-642-88051-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | David Blair Kirk, Jay K. Strosnider, John E. Sasinowski |
Allocating SMART cache segments for schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: Euromicro '91 Workshop on Real Time Systems, RTS 1991, Université Paris XI, Paris-Orsay, France, June 12-14, 1991, Proceedings, pp. 41-50, 1991, IEEE, 0-8186-2210-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Alexander D. Stoyenko, Wolfgang A. Halang |
Analysing PEARL Programs for Timely Schedulability and Executability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prozeßrechnersysteme ![In: Prozeßrechnersysteme '91, Automatisierungs- und Leitsysteme in den neunziger Jahren, Berlin, 25.-27. Februar 1991, Proceedings, pp. 90-102, 1991, Springer, 3-540-53808-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Min-Ih Chen |
Schedulability analysis of resource access control protocols in real-time systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
15 | Hideyuki Tokuda, Makoto Kotera |
Scheduler 1-2-3: an interactive schedulability analyzer for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988, pp. 211-219, 1988, IEEE, 0-8186-0873-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Alexander D. Stoyen |
A real-time language with a schedulability analyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
15 | Alexander D. Stoyenko |
A Schedulability Analyzer for Real-Time Euclid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), December 1-3, 1987, San Jose, Califorinia, USA, pp. 218-227, 1987, IEEE Computer Society, 0-8186-0815-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
15 | Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama |
Modeling of Real-Time System Designs for Parametric Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010, pp. 81-91, 2010, IEEE Computer Society, 978-1-4244-8480-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
time parameter, parameter synthesis, schedulability, modeling, model checking, model composition, parametric analysis, real-time system design |
15 | Wing-Chi Poon, Aloysius K. Mok |
Necessary and Sufficient Conditions for Non-preemptive Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010, pp. 349-354, 2010, IEEE Computer Society, 978-1-4244-8480-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
schedulability, real-time, stability, robustness, admission control, sustainability, non-preemptive |
15 | Robert I. Davis 0001, Alan Burns 0001 |
Robust priority assignment for messages on Controller Area Network (CAN). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 41(2), pp. 152-180, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Robust priority assignment, Optimal priority assignment, Real-time, Schedulability analysis, Fixed priority scheduling, Controller Area Network (CAN), Response time analysis, Transmission errors |
15 | Arvind Easwaran, Insik Shin, Insup Lee 0001 |
Optimal virtual cluster-based multiprocessor scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 43(1), pp. 25-59, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Virtual processor clustering, Compositional schedulability analysis, Multiprocessor scheduling, Hierarchical scheduling |
15 | Fengxiang Zhang, Alan Burns 0001 |
Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 21st Euromicro Conference on Real-Time Systems, ECRTS 2009, Dublin, Ireland, July 1-3, 2009, pp. 76-86, 2009, IEEE Computer Society, 978-0-7695-3724-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Schedulability Analysis, EDF Scheduling |
15 | Björn B. Brandenburg, James H. Anderson |
Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 21st Euromicro Conference on Real-Time Systems, ECRTS 2009, Dublin, Ireland, July 1-3, 2009, pp. 184-193, 2009, IEEE Computer Society, 978-0-7695-3724-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multiprocessor real-time systems, reader/writer synchronization, fair locks, Global EDF, Partitioned EDF, schedulability, synchronization |
15 | Praveen Jayachandran, Tarek F. Abdelzaher |
End-to-End Delay Analysis of Distributed Systems with Cycles in the Task Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 21st Euromicro Conference on Real-Time Systems, ECRTS 2009, Dublin, Ireland, July 1-3, 2009, pp. 13-22, 2009, IEEE Computer Society, 978-0-7695-3724-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
non-acyclic flows, distributed systems, schedulability analysis, End-to-end Delay |
15 | José María López, José Luis Díaz, Joaquín Entrialgo, Daniel F. García |
Stochastic analysis of real-time systems under preemptive priority-driven scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 40(2), pp. 180-207, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Schedulability analysis, Stochastic analysis, Uniprocessor systems |
15 | Marco Di Natale, Valerio Pappalardo |
Buffer optimization in multitask implementations of Simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(3), pp. 23:1-23:32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
schedulability, code generation, Software models, real-time programming |
15 | Sorin Manolache, Petru Eles, Zebo Peng |
Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(2), pp. 19:1-19:35, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stochastic task execution times, mapping, Schedulability analysis, soft real-time systems, priority assignment |
15 | João Rodrigues, João Ventura 0001, A. M. de Campos, Luís E. T. Rodrigues |
Implementation and analysis of real-time communication protocol compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 37(1), pp. 45-76, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Protocol composition and execution framework, Real-time, Schedulability analysis, Allocation, Priority assignment |
15 | Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt |
Verifying distributed real-time properties of embedded systems via graph transformations and model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 33(1-3), pp. 77-100, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Distributed real-time, Model checking, Embedded systems, Schedulability analysis, Component middleware |
15 | Vishnu Swaminathan, Krishnendu Chakrabarty |
Pruning-based, energy-optimal, deterministic I/O device scheduling for hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 4(1), pp. 141-167, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
device scheduling, Schedulability analysis, hard real-time systems, I/O devices |
15 | Nathan Fisher, James H. Anderson, Sanjoy K. Baruah |
Task Partitioning upon Memory-Constrained Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China, pp. 416-421, 2005, IEEE Computer Society, 0-7695-2346-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Memory-constrained systems, Utilization-based schedulability tests, Multiprocessor systems, Partitioned scheduling |
15 | Lionel C. Briand, Yvan Labiche, Marwa Shousha |
Stress testing real-time systems with genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1021-1028, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
genetic algorithms, schedulability theory |
15 | Patricia Balbastre, Ismael Ripoll, Josep Vidal Canet, Alfons Crespo |
A Task Model to Reduce Control Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 27(3), pp. 215-236, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
timing jitter, multi-rate controllers, schedulability analysis, control design |
15 | Hojung Cha, Rhan Ha, Jane W.-S. Liu |
Experimental Analysis of Timing Validation Methods for Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 25(1), pp. 73-94, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
nonmigratable jobs, performance evaluation, validation, schedulability analysis, distributed real-time system |
15 | Guillem Bernat |
Response Time Analysis of Asynchronous Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 25(2-3), pp. 131-156, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
worst-case response time analysis, weakly-hard, real-time systems, schedulability analysis, asynchronous systems, idle time |
15 | Huan Li 0001, John Sweeney, Krithi Ramamritham, Roderic A. Grupen, Prashant J. Shenoy |
Real-Time Support for Mobile Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 27-30, 2003, Toronto, Canada, pp. 10-18, 2003, IEEE Computer Society, 0-7695-1956-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
schedulability, allocation, Distributed real-time systems, precedence constraint |
15 | Jean-François Hermant, Gérard Le Lann |
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(8), pp. 931-944, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Asynchronous computational models, partially synchronous computational models, uniform consensus, real-time distributed fault-tolerant computing, safety, coverage, schedulability analysis, liveness, timeliness, unreliable failure detectors |
15 | Chang-Gun Lee, Kwangpo Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim |
Bounding Cache-Related Preemption Delay for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(9), pp. 805-826, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Real-time system, cache memory, schedulability analysis, fixed-priority scheduling, preemption |
15 | Steve Vestal |
Formal Verification of the MetaH Executive Using Linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31 - June 2, 2000, pp. 134-144, 2000, IEEE Computer Society, 0-7695-0713-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real-time CASE, verification, software architecture, formal methods, schedulability analysis, hybrid automata |
15 | Stefan M. Petters, Annette Muth, Thomas Kolloch, Thomas Hopfner, Franz Fischer, Georg Färber |
The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems . ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), Clearwater, Florida, USA, June 16-18, 1999, pp. 100-107, 1999, IEEE Computer Society, 0-7695-0246-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
rapid prototyping, timing constraints, schedulability analysis, SDL, design automation, hard real-time, WCET-analysis |
15 | Chang-Gun Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim |
Analysis of Cache-Related Preemption Delay in Fixed-Priority Preemtive Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(6), pp. 700-713, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Real-time system, cache memory, schedulability analysis, fixed-priority scheduling, preemption |