José Rufino

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2015

Solving Constrained Multilocal Optimization Problems with Parallel Stretched Simulated Annealing.

[BibT_eX]

[DOI]

Ana I. Pereira

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

Towards Integration of Adaptability and Non-Intrusive Runtime Verification in Avionic Systems.

[BibT_eX]

[DOI]

Proceedings of the embedded operating system workshop, 2015

2014

Mechanisms to enforce dependability and timeliness in wireless communications.

[BibT_eX]

[DOI]

Ricardo C. Pinto

Proceedings of the 2014 IEEE International Conference on Wireless for Space and Extreme Environments, 2014

A kernel-based architecture for safe cooperative vehicular functions.

[BibT_eX]

[DOI]

Elad Michael Schiller

Oscar Morales-Ponce

Thomas Petig

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Improving NS-2 Network Simulator to Evaluate IEEE 802.15.4 Wireless Networks Under Error Conditions.

[BibT_eX]

[DOI]

André Guerreiro

Proceedings of the SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7, 2014

Towards a Comprehensive Evaluation of Ultrasound Speckle Reduction.

[BibT_eX]

[DOI]

Fernando C. Monteiro

Vasco Cadavez

Proceedings of the Image Analysis and Recognition - 11th International Conference, 2014

Solving Multilocal Optimization Problems with a Recursive Parallel Search of the Feasible Region.

[BibT_eX]

[DOI]

Ana I. Pereira

Jeferson Luiz Rodrigues Souza

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

The Wi-STARK Architecture For Resilient Real-Time Wireless Communications.

[BibT_eX]

[DOI]

Proceedings of the Embed With Linux 2014 Workshop, Lisboa, Portugal, November 13-14, 2014., 2014

Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems.

[BibT_eX]

[DOI]

Ricardo C. Pinto

Proceedings of the Embed With Linux 2014 Workshop, Lisboa, Portugal, November 13-14, 2014., 2014

2013

Safety Kernel for Cooperative Sensor-Based Systems.

[BibT_eX]

[DOI]

Pedro Nóbrega Da Costa

António Casimiro

Proceedings of the SAFECOMP 2013, 2013

Analysing and reducing network inaccessibility in IEEE 802.15.4 wireless communications.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual IEEE Conference on Local Computer Networks, 2013

2012

clOpenCL - Supporting Distributed Heterogeneous Computing in HPC Clusters.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2012: Parallel Processing Workshops, 2012

2011

Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems.

[BibT_eX]

[DOI]

Frank Singhoff

SIGBED Rev., 2011

Enforcing Dependability and Timeliness in CANELy - Application to Spaceborne Data Communication Systems.

[BibT_eX]

Proceedings of the PECCS 2011, 2011

AIR: Technology innovation for future spacecraft onboard computing systems.

[BibT_eX]

[DOI]

Proceedings of EUROCON 2011, 2011

Adaptability and survivability in spaceborne time- and space-partitioned systems.

[BibT_eX]

[DOI]

Joaquim Rosa

Proceedings of EUROCON 2011, 2011

High availability in Controller Area Networks.

[BibT_eX]

[DOI]

Ricardo Pinto

Proceedings of EUROCON 2011, 2011

2010

Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Schedulability analysis in partitioned systems for aerospace avionics.

[BibT_eX]

[DOI]

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

Applying Architectural Hybridization in Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard.

[BibT_eX]

[DOI]

Proceedings of the Analysis, 2009

Architecting Robustness and Timeliness in a New Generation of Aerospace Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VII, 2009

Embedded Linux in a partitioned architecture for aerospace applications.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Sheduled by a Fixed Priority Preemptive Algorithm.

[BibT_eX]

[DOI]

Manuel Coutinho

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007

pDomus: a prototype for Cluster-oriented Distributed Hash Tables.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro International Conference on Parallel, 2007

Full-speed scalability of the pDomus platform for DHTs.

[BibT_eX]

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007

Efficient Partitioning Strategies for Distributed Web Crawling.

[BibT_eX]

[DOI]

Proceedings of the Information Networking. Towards Ubiquitous Networking and Services, 2007

2006

Integrating Inaccessibility Control and Timer Management in CANELy.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

VITRAL - A text mode window manager for real-time embedded kernels.

[BibT_eX]

[DOI]

Manuel Coutinho

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

Domus - An Architecture for Cluster-Oriented Distributed Hash Tables.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing and Applied Mathematics, 2005

Control of Event Handling Timeliness in RTEMS.

[BibT_eX]

Manuel Coutinho

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

Geographical partition for distributed web crawling.

[BibT_eX]

[DOI]

Proceedings of the 2005 Workshop On Geographic Information Retrieval, 2005

2004

memu: Unifying Application Modeling and Cluster Exploitation.

[BibT_eX]

[DOI]

Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 2004

Mapping Application-Level Components into Hierarchical Systems Resources.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

Toward a dynamically balanced cluster oriented DHT.

[BibT_eX]

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2004

A Cluster Oriented Model for Dynamically Balanced DHTs.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Deploying Applications in Multi-SAN SMP Clusters.

[BibT_eX]

Proceedings of the Distributed and Parallel Systems: Cluster and Grid Computing (DAPSYS 2004, 2004

2003

ToCL: A Thread Oriented Communication Library to Interface VIA and GM Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2003, 2003

RoCL: A Resource Oriented Communication Library.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Node Failure Detection and Membership in CANELy.

[BibT_eX]

[DOI]

Guilherme Arroz

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Distributed Paged Hash Tables.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing for Computational Science, 2002

Scalable Multithreading in a Low Latency Myrinet Cluster.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing for Computational Science, 2002

1999

Embedded Platforms for Distributed Real-Time Computing: Challenges and Results.

[BibT_eX]

[DOI]

Guilherme Arroz

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

A Columbus' Egg Idea for CAN Media Redundancy.

[BibT_eX]

[DOI]

Guilherme Arroz

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

Fault-Tolerant Clock Synchronization in CAN.

[BibT_eX]

[DOI]

Luís E. T. Rodrigues

Mário Luís Guimarães

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Hardware support for CAN fault-tolerant communication.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Electronics, Circuits and Systems, 1998

Fault-Tolerant Broadcasts in CAN.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

How Hard is Hard Real-time Communication on Field-Buses?.

[BibT_eX]

[DOI]

Li Ming

Proceedings of the Digest of Papers: FTCS-27, 1997

1993

A Low-level Processor Group Membership Protocol for LANS.

[BibT_eX]

[DOI]

Luís E. T. Rodrigues

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992

A Study on the Inaccessibility Characteristics of ISO 8802/4 Token-Bus LANs.

[BibT_eX]

[DOI]