Author of the publication

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads.

, , , , , , , and . IESS, volume 184 of IFIP, page 77-86. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations., , , and . Inf. Process. Lett., 108 (2): 50-59 (2008)Virtual network mapping considering energy consumption and availability., , , , and . Computing, 101 (8): 937-967 (2019)Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors., , , , , , , and . DIPES, volume 225 of IFIP, page 255-264. Springer, (2006)Software synthesis for hard real-time embedded systems with multiple processors., , , , , , and . ACM SIGSOFT Softw. Eng. Notes, 32 (2): 1-10 (2007)Towards a Semiformal Development Methodology for Embedded Systems., , and . ENASE, page 5-12. INSTICC Press, (2008)A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes., , , , , , and . SBCCI, page 98-103. ACM, (2005)A formal software synthesis approach for embedded hard real-time systems., , , , , and . SBCCI, page 163-168. ACM, (2004)A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net., , , , , , , , and . PATMOS, volume 3728 of Lecture Notes in Computer Science, page 49-58. Springer, (2005)TXM: an agile HW/SW development methodology for building medical devices., , , , , and . ACM SIGSOFT Softw. Eng. Notes, (2007)Towards a Software Power Cost Analysis Framework Using Colored Petri Net., , , and . PATMOS, volume 3254 of Lecture Notes in Computer Science, page 362-371. Springer, (2004)