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

2013

Session summary:Parallel and multicore systems

Autores
Pinho L.; Michell S.; Moore B.;

Publicação
Ada User Journal

Abstract
Experts provided information about parallel and multicore systems in papers submitted and discussed at a workshop. Discussion followed about the wisdom of giving any directive further than with parallel for the programmers to control the details of how parallelism was configured, executed, and potentially mapped in the runtime. The counter argument was raised that in real-time systems there was a need for the programmer to specify such control to directly specify the behavior, which was required for behavior analysis and timing behavior analysis. Questions were raised about the memory model of the proposal, and it was decided that the general model was that which supported a shared memory system, with cache coherency and uniform access to memory= within a single partition.

2013

Me4DCAP V0.1: A method for the development of Dublin core application profiles

Autores
Curado Malta, M; Baptista, AA;

Publicação
Mining the Digital Information Networks - Proceedings of the 17th International Conference on Electronic Publishing, ELPUB 2013

Abstract
Recent studies show that there is no method to develop a Dublin Core Application Profile (DCAP). A DCAP is a very important construct to implement interoperability, therefore it is essential to have a method to be able to develop such a construct, in order to give DCAP developers a common ground of work. This paper presents the first version of a method to develop Dublin Core Application Profiles (Me4DACP V0.1) that has been developed in a PhD project with a Design Science Research (DSR) approach. Me4DCAP was built having as starting point the Singapore Framework for DCAP and shows the way through the DCAP development. It encompasses a group of pre-defined interconnected activities, explicitly states when they should take place, what techniques could be used to execute them and what artifacts should result from their execution. © 2013 The authors and IOS Press.

2013

Language Constructs for Non-Well-Founded Computation

Autores
Jeannin, JB; Kozen, D; Silva, A;

Publicação
Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Abstract

2013

Interactive Industrial Robot Programming for the Ceramic Industry Regular Paper

Autores
Veiga, G; Malaca, P; Cancela, R;

Publicação
INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS

Abstract
This paper presents an interactive programming method for programming industrial robots in ceramic applications. The main purpose was to develop a simple but flexible programming system that empowers the user with product driven programming without compromising flexibility. To achieve this flexibility, a two step hybrid programming model was designed: first the user sketches the desired trajectory in a spatial augmented reality programming table using the final product and then relies on an advanced 3D graphical system to tune the robot trajectory in the final workcell. The results measured by the end-user feedback show that a new level of flexibility was reached for this type of application.

2013

Benchmarking flexible job-shop scheduling and control systems

Autores
Trentesaux, D; Pach, C; Bekrar, A; Sallez, Y; Berger, T; Bonte, T; Leitao, P; Barbosa, J;

Publicação
CONTROL ENGINEERING PRACTICE

Abstract
Benchmarking is comparing the output of different systems for a given set of input data in order to improve the system's performance. Faced with the lack of realistic and operational benchmarks that can be used for testing optimization methods and control systems in flexible systems, this paper proposes a benchmark system based on a real production cell. A three-step method is presented: data preparation, experimentation, and reporting. This benchmark allows the evaluation of static optimization performances using traditional operation research tools and the evaluation of control system's robustness faced with unexpected events.

2013

Transparent Current Mirrors With a-GIZO TFTs: Neural Modeling, Simulation and Fabrication

Autores
Bahubalindruni, PG; Tavares, VG; Barquinha, P; Duarte, C; de Oliveira, PG; Martins, R; Fortunato, E;

Publicação
JOURNAL OF DISPLAY TECHNOLOGY

Abstract
This paper characterizes transparent current mirrors with n-type amorphous gallium-indium-zinc-oxide (a-GIZO) thin-film transistors (TFTs). Two-TFT current mirrors with different mirroring ratios and a cascode topology are considered. A neural model is developed based on the measured data of the TFTs and is implemented in Verilog-A; then it is used to simulate the circuits with Cadence Virtuoso Spectre simulator. The simulation outcomes are validated with the fabricated circuit response. These results show that the neural network can model TFT accurately, as well as the current mirroring ability of the TFTs.

  • 3176
  • 4542