Publicacoes - INESC TEC

Publicações

Publicações por HASLab

2008

2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008: Preface

Autores
Pu, C; Kersten, M; Oliveira, R;

Publicação
2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008

Abstract

2008

An Open Architecture for Scalable Database Clustering

Autores
Oliveira, RC;

Publicação
EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS

Abstract

2008

Intelligent optical sensors using artificial neural network approach

Autores
Dias, I; Oliveira, R; Frazao, O;

Publicação
INNOVATION IN MANUFACTURING NETWORKS

Abstract
This work present and demonstrated an applications of artificial neural network approach in optical sensing. The conventional matrix method used in simultaneous measurement of strain and temperature with optical Bragg gratings is compared with artificial neural network approach. The alternative method is proposed for reduced the error.

FecharLer Abstract

2008

Visual Programming with Interaction Nets

Autores
Hassan, A; Mackie, I; Pinto, JS;

Publicação
DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS

Abstract
Programming directly with diagrams offers potential advantages such as visual intuitions, identification of errors (debugging), and insight into the dynamics of the algorithm. the purpose of this paper is to put forward one particular graphical formalism, interaction nets, as a candidate for visual programming which has not only all the desired properties that one would expect, but also has other benefits as a language, for instance sharing computation.

FecharLer Abstract

2008

Lissom, a Source Level Proof Carrying Code Platform

Autores
Gomes, Joao; Martins, Daniel; Sousa, SimaoMelode; Pinto, JorgeSousa;

Publicação
CoRR

Abstract

2008

Deriving Sorting Algorithms

Autores
Almeida, JoseBacelar; Pinto, JorgeSousa;

Publicação
CoRR

Abstract