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

2018

Turning Pololu 3Pi into a multi-programming platform

Autores
Fonseca, SJR; de Lima, PVSG; Bezerra, MHRA; Teixeira, JMXN; Cajueiro, JPC;

Publicação
15TH LATIN AMERICAN ROBOTICS SYMPOSIUM 6TH BRAZILIAN ROBOTICS SYMPOSIUM 9TH WORKSHOP ON ROBOTICS IN EDUCATION (LARS/SBR/WRE 2018)

Abstract
Line-following robots have the ability to recognize and follow a line drawn on a surface. It works based on a simple self-sustainable system composed with a set of sensors, motors and a controller. In order to get optimal performance in such robots, it's necessary to carry out several tests to evaluate the behavior in each trial. In the majority of cases, a new trial requires to upload a new program, thus slowing down the development of the line-following. This paper presents an approach to solve the inconvenience of having to upload a new program in each trial. It consists in merging multiple codes in to one to create a program that gives the user the ability to switch between them anytime inside Pololu's 3pi line follower platform.

2018

High-performance and time-predictable embedded computing

Autores
Pinho L.; Quiñones E.; Bertogna M.; Marongiu A.; Nélis V.; Gai P.; Sancho J.;

Publicação
High-Performance and Time-Predictable Embedded Computing

Abstract
Nowadays, the prevalence of computing systems in our lives is so ubiquitous that we live in a cyber-physical world dominated by computer systems, from pacemakers to cars and airplanes. These systems demand for more computational performance to process large amounts of data from multiple data sources with guaranteed processing times. Actuating outside of the required timing bounds may cause the failure of the system, being vital for systems like planes, cars, business monitoring, e-trading, etc. High-Performance and Time-Predictable Embedded Computing presents recent advances in software architecture and tools to support such complex systems, enabling the design of embedded computing devices which are able to deliver high-performance whilst guaranteeing the application required timing bounds. Technical topics discussed in the book include: Parallel embedded platforms, Programming models, Mapping and scheduling of parallel computations, Timing and schedulability analysis, Runtimes and operating systems. The work reflected in this book was done in the scope of the European project P SOCRATES, funded under the FP7 framework program of the European Commission. High-performance and time-predictable embedded computing is ideal for personnel in computer/communication/embedded industries as well as academic staff and master/research students in computer science, embedded systems, cyber-physical systems and internet-of-things.

2018

Building robust prediction models for defective sensor data using Artificial Neural Networks

Autores
Shekar, AK; de Sá, CR; Ferreira, H; Soares, C;

Publicação
CoRR

Abstract

2018

Trends and Advances in Information Systems and Technologies - Volume 1 [WorldCIST'18, Naples, Italy, March 27-29, 2018]

Autores
Rocha, A; Ramalho Correia, AM; Adeli, H; Reis, LP; Teixeira, MM;

Publicação
WorldCIST (1)

Abstract

2018

Enforcing Privacy and Security in Public Cloud Storage

Autores
Resende, JS; Martins, R; Antunes, L;

Publicação
2018 16TH ANNUAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST)

Abstract
Cloud storage allows users to remotely store their data, giving access anywhere and to anyone with an Internet connection. The accessibility, lack of local data maintenance and absence of local storage hardware are the main advantages of this type of storage. The adoption of this type of storage is being driven by its accessibility. However, one of the main barriers to its widespread adoption is the sovereignty issues originated by lack of trust in storing private and sensitive information in such a medium. Recent attacks to cloud-based storage show that current solutions do not provide adequate levels of security and subsequently fail to protect users' privacy. Usually, users rely solely on the security supplied by the storage providers, which in the presence of a security breach will ultimate lead to data leakage. In this paper, we propose and implement a broker (ARGUS) that acts as a proxy to the existing public cloud infrastructures by performing all the necessary authentication, cryptography and erasure coding. ARGUS uses erasure code as a way to provide efficient redundancy (opposite to standard replication) while adding an extra layer to data protection in which data is broken into fragments, expanded and encoded with redundant data pieces that are stored across a set of different storage providers (public or private). The key characteristics of ARGUS are confidentiality, integrity and availability of data stored in public cloud systems.

2018

Music Technology with Swing - 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

Autores
Aramaki, M; Davies, MEP; Martinet, RK; Ystad, S;

Publicação
CMMR

Abstract

  • 1851
  • 4377