Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2015

HEP-Frame: A Software Engineered Framework to Aid the Development and Efficient Multicore Execution of Scientific Code

Autores
Pereira, A; Onofre, A; Proenca, A;

Publicação
2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI)

Abstract
This communication presents an evolutionary software prototype of a user-centered Highly Efficient Pipelined Framework, HEP-Frame, to aid the development of sustainable parallel scientific code with a flexible pipeline structure. HEP-Frame is the result of a tight collaboration between computational scientists and software engineers: it aims to improve scientists coding productivity, ensuring an efficient parallel execution on a wide set of multicore systems, with both HPC and HTC techniques. Current prototype complies with the requirements of an actual scientific code, includes desirable sustainability features and supports at compile time additional plugin interfaces for other scientific fields. The porting and development productivity was assessed and preliminary efficiency results are promising.

2015

Scheduling and Batching in Shop Environments

Autores
Santos, AS; Madureira, AM; Varela, MLR; Putnik, GD; Kays, HME; Karim, ANM;

Publicação
PROCEEDINGS OF THE 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2015)

Abstract
Global competition nd the customers demand for customized products with shorter due dates, marked the roduction of the Extended Enterprise. In this Extended Manufacturing Environment (EME), lean, virtual, networked and distributed enterprises collaborate respond to the market demands. In this paper we study the influence of the batch size on Flexible Flow Shop makespan minimization problem FFC parallel to C-max for two multi-sites approaches, the FSBE (Flow Shop Based Factories) and the PMBF (Parallel-Machines Based Factories). The computational study demonstrates how the performance of the PMBF model decreases with the increase of batch size and determines the batch sizes in which the performance is similar.

2015

Nash equilibrium with wave dynamics and boundary control

Autores
Azevedo Perdicoulis, TP; Jank, G; dos Santos, PL;

Publicação
2015 IEEE 9TH INTERNATIONAL WORKSHOP ON MULTIDIMENSIONAL (ND) SYSTEMS (NDS)

Abstract
In this paper, the gas dynamics within the pipelines is written as a wave repetitive process, and modify it in a way that the dynamics is influenced by p decision makers, namely the boundary conditions. We obtain sufficient criteria for the existence of boundary equilibrium controls as well as controllability of the different agents and observability of the system when this is steered through initial and boundary data. From the point of view of some applications it seems to make sense to consider boundary data controls, e.g. in high pressure gas networks management.

2015

An ORCID based synchronization framework for a national CRIS ecosystem

Autores
Moreira, JM; Cunha, A; Macedo, N;

Publicação
F1000Research

Abstract
PTCRIS (Portuguese Current Research Information System) is a program aiming at the creation and sustained development of a national integrated information ecosystem, to support research management according to the best international standards and practices. This paper reports on the experience of designing and prototyping a synchronization framework for PTCRIS based on ORCID (Open Researcher and Contributor ID). This framework embraces the "input once, re-use often" principle, and will enable a substantial reduction of the research output management burden by allowing automatic information exchange between the various national systems. The design of the framework followed best practices in rigorous software engineering, namely well-established principles in the research field of consistency management, and relied on formal analysis techniques and tools for its validation and verification. The notion of consistency between the services was formally specified and discussed with the stakeholders before the technical aspects on how to preserve said consistency were explored. Formal specification languages and automated verification tools were used to analyze the specifications and generate usage scenarios, useful for validation with the stakeholder and essential to certificate compliant services.

2015

An integer programming approach for Balancing and Scheduling in Extended Manufacturing Environment

Autores
Kays, HME; Karim, ANM; Varela, MLR; Santos, AS; Madureira, AM;

Publicação
PROCEEDINGS OF THE 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2015)

Abstract
In the fiercely competitive era induced by expansion of open business archetypes, the managerial aspects of Extended Manufacturing Environments (EMEs) are experiencing growing concerns. There is no scope of leaving a possible operational improvement unexplored. For enhanced operational efficiency and capacity utilization the balancing and scheduling problems of EMEs are, therefore, rightfully considered and an integer programme is proposed in this paper. The model is designed in a spread sheet and solved through What's Best optimizer. The model capabilities is assessed through a test problem. The results have demonstrated that the model is capable of defining optimized production schedules for EMEs.

2015

CMMI implementation and results: The case of a software company

Autores
Liberato, M; Varajão, J; Martins, P;

Publicação
Modern Techniques for Successful IT Project Management

Abstract
Companies focus on software development in order to survive in a highly competitive world. They not only need to keep up to date with the changes that are occurring in their environment, but they also need to assure the effectiveness of their processes. One way to do that is pursuing high quality standards by continuously improving the development processes. In this chapter, the authors describe the project of CMMI (Capability Maturity Model Integration) implementation in a software company specialized in information technology services for banking. The project was initiated with the aim of optimizing the software development process. Throughout the chapter, various aspects of the project are covered, such as the actions taken to implement the CMMI maturity level 2, the tools used to support the implementation, and the obtained results. These are useful and could serve as a reference basis for companies that consider the implementation of a maturity model.

  • 2632
  • 4377