Publications

Publications by HASLab

2008

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

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

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

Abstract

2008

An Open Architecture for Scalable Database Clustering

Authors
Oliveira, RC;

Publication
EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS

Abstract

2008

Intelligent optical sensors using artificial neural network approach

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

Publication
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.

CloseRead Abstract

2008

Visual Programming with Interaction Nets

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

Publication
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.

CloseRead Abstract

2008

Lissom, a Source Level Proof Carrying Code Platform

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

Publication
CoRR

Abstract

2008

Deriving Sorting Algorithms

Authors
Almeida, JoseBacelar; Pinto, JorgeSousa;

Publication
CoRR

Abstract