( en | de | ru )

 

Disambiguation of "Jr., Meuse N. Oliveira"

Author of the publication

copydeleteadd this publication to your clipboard
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.

, , , , , , , and . SBAC-PAD, page 184-192. IEEE Computer Society, (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.

n n n

Foued Jrad

Robert Jr Cramer

Jr-Hung Lin

Anacleto Oliveira

 

Other publications of authors with the same name

Virtual network mapping considering energy consumption and availability., , , , and . Computing, 101 (8): 937-967 (2019)Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations., , , and . Inf. Process. Lett., 108 (2): 50-59 (2008)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)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)TXM: an agile HW/SW development methodology for building medical devices., , , , , and . ACM SIGSOFT Softw. Eng. Notes, (2007)