Search Results - "Maciel, P.R.M."
-
1
Interval generalized stochastic petri net models in dependability evaluation
Published in 2007 IEEE International Conference on Systems, Man and Cybernetics (01-10-2007)“…Interval arithmetic has been applied to model uncertainties and variabilities. An interval model is a space, family or class of models in which there are…”
Get full text
Conference Proceeding
-
2
Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model
Published in 2009 21st International Symposium on Computer Architecture and High Performance Computing (01-10-2009)“…This paper presents a performance and energy consumption modeling technique for embedded systems. The proposed method adopts a formal model based on Coloured…”
Get full text
Conference Proceeding -
3
Synthetic workload generation for capacity planning of virtual server environments
Published in 2009 IEEE International Conference on Systems, Man and Cybernetics (01-10-2009)“…Capacity planning tools aim at monitoring and evaluating computational infrastructures resources in terms of workloads. The capacity advisor is a capacity…”
Get full text
Conference Proceeding -
4
Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems
Published in 2006 IEEE International Conference on Systems, Man and Cybernetics (01-10-2006)“…In this study we focus on the specification and evaluation of parameterized generalized and stochastic Petri net (GSPN) models for reliability and safety…”
Get full text
Conference Proceeding -
5
Modelling and analysis of inventory policy: an approach based on Petri nets
Published in 2005 IEEE International Conference on Systems, Man and Cybernetics (2005)“…This work presents a method for modeling and analysis of production systems with emphasis on inventory policy. Based on the structural analysis, it provides…”
Get full text
Conference Proceeding -
6
A Petri net based method for storage units estimation
Published in SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483) (2003)“…This work presents a structural methodology for computing the number of storage units (registers) in hardware/software co-design context considering timing…”
Get full text
Conference Proceeding -
7
A Petri net based method for functional and interconnect units estimation
Published in 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583) (2004)“…This work presents a structural methodology for computing the number of functional and interconnects units in hardware/software co-design context considering…”
Get full text
Conference Proceeding -
8
Modelling and analysis in production system: an approach based on Petri net
Published in 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583) (2004)“…This work presents a method for modelling and analysis of production systems in order to provide superior and efficient management over inventory by optimizing…”
Get full text
Conference Proceeding -
9
Defining bandwidth constraints with cooperative games
Published in 2009 International Conference on Ultra Modern Telecommunications & Workshops (01-10-2009)“…This paper proposes the use of cooperative game models to arbitrate bandwidth constraints in bandwidth constraint models. This work adopts cooperative games as…”
Get full text
Conference Proceeding -
10
Performance Models for the Instance Pooling Mechanism of the JBoss Application Server
Published in 2008 IEEE International Performance, Computing and Communications Conference (01-12-2008)“…The capacity management of a Java Enterprise Edition application involves the tuning of numerous parameters at different layers that include the database…”
Get full text
Conference Proceeding -
11
Using stochastic Petri nets for performance modelling of application servers
Published in Proceedings 20th IEEE International Parallel & Distributed Processing Symposium (2006)“…Application servers have been widely adopted as distributed infrastructure (or middleware) for developing distributed systems. Current approaches for…”
Get full text
Conference Proceeding -
12
Reliability evaluation for dependable embedded system specifications: an approach based on DSPN
Published in First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings (2003)“…The functioning of the computer as a control component within a larger overall application, as in the embedded systems, may affect the application's integrity…”
Get full text
Conference Proceeding -
13
A timed Petri net approach for pre-runtime scheduling in partial and dynamic reconfigurable systems
Published in 19th IEEE International Parallel and Distributed Processing Symposium (2005)“…Dynamic reconfigurable systems (DRS) offer a very interesting alternative for embedded digital systems design. Tasks scheduling within a reconfigurable…”
Get full text
Conference Proceeding -
14
A partial reconfigurable architecture for controllers based on Petri nets
Published in Proceedings of the 17th symposium on Integrated circuits and system design (04-09-2004)“…Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are,…”
Get full text
Conference Proceeding -
15
On the generalised stochastic Petri net modeling of message-oriented middleware systems
Published in IEEE International Conference on Performance, Computing, and Communications, 2004 (2004)“…This paper presents how to model and carry out the performance analysis of message-oriented middleware (MOM) using generalised stochastic Petri Net (GSPN)…”
Get full text
Conference Proceeding