Meuse N. Oliveira Jr.

Affiliations:
  • Instituto Federal de Pernambuco, IFPE, Recife, Brazil


According to our database1, Meuse N. Oliveira Jr. authored at least 27 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Performability evaluation of NoSQL-based storage systems.
J. Syst. Softw., February, 2024

2023
NoSQL-based storage systems: influence of consistency on performance, availability and energy consumption.
J. Supercomput., December, 2023

2022
Cloud storage availability and performance assessment: a study based on NoSQL DBMS.
J. Supercomput., 2022

2019
Virtual network mapping considering energy consumption and availability.
Computing, 2019

Performability Model for Assessing NoSQL DBMS Consistency.
Proceedings of the 2019 IEEE International Systems Conference, 2019

2017
An Approach for Reducing Energy Consumption in Dependable Virtual Network Embedding.
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

A Sensitivity Approach to Energy-Efficient Mapping of Dependable Virtual Networks.
Proceedings of the 2017 IEEE International Conference on Computer and Information Technology, 2017

2008
Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations.
Inf. Process. Lett., 2008

A time Petri net-based method for embedded hard real-time software synthesis.
Des. Autom. Embed. Syst., 2008

A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008

Towards a Semiformal Development Methodology for Embedded Systems.
Proceedings of the ENASE 2008, 2008

2007
Software synthesis for hard real-time embedded systems with multiple processors.
ACM SIGSOFT Softw. Eng. Notes, 2007

TXM: an agile HW/SW development methodology for building medical devices.
ACM SIGSOFT Softw. Eng. Notes, 2007

Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations.
Proceedings of the IEEE International Conference on Systems, 2007

A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations.
Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.
Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, 2005

A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.
Proceedings of the 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 2005

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.
Proceedings of the Integrated Circuit and System Design, 2005

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.
Proceedings of the Integrated Circuit and System Design, 2005

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads.
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005

2004
A formal software synthesis approach for embedded hard real-time systems.
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints.
Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 2004

Towards a Software Power Cost Analysis Framework Using Colored Petri Net.
Proceedings of the Integrated Circuit and System Design, 2004


  Loading...