Publicações / Publications
Teses / Thesis
- "Comunicação em sistemas quasi-síncronos:
Suporte
a aplicações
dinâmicas de tempo-real" (Communication in quasi-synchronous
systems:
Supporting dynamic real-time applications). Carlos Almeida. PhD
thesis, Instituto Superior Técnico, Universidade Técnica
de
Lisboa. January 1998.
- "Entradas/Saídas e Fiabilidade em Sistemas
Distribuídos:
Aplicação ao
Comutador Distribuído Telegráfico CODITEL" (Input/Output
and
Reliability in Distributed Systems: Application to the Distributed
Telegram Router CODITEL). Carlos Almeida. MSc thesis. Instituto
Superior Técnico, Universidade Técnica de Lisboa. March
1989.
Capítulos de livros / Chapters in books
- "High Availability in a Real-Time System". Carlos Almeida and
Brad
Glade and Keith Marzullo and Robbert van Renesse. In Kenneth Birman
and Robbert van Renesse (editors), Reliable Distributed Computing With
the ISIS Toolkit. IEEE CS Press. 1994. ISBN 0-8186-5342-6.
Artigos em revistas de circulação internacional com
arbitragem científica /
Papers in international scientific periodicals with referees
- "Schedulability of blocking threads".
Manuel Coutinho and Carlos Almeida.
IEEE Embedded Systems Letters, vol. 12, no. 4, pp. 125-128, 2020.
- "On the performance of surface electromyography-based onset detection methods with real data in assistive technologies".
Margarida Reis and Carlos Almeida and Rui M. Rocha.
Multimedia Tools and Applications: Special Issue on Multimedia Tools for Physiological Computing, pp. 1-30, July 2017.
- "System Support and Dependable Adaptation in Small Real-Time Embedded Systems".
Carlos Almeida.
IEEE LATIN AMERICA TRANSACTIONS, VOL. 14, NO. 10, pp. 4402-4408, October 2016.
- "Timely and Dependable QoS Adaptation in Quasi-Synchronous
Systems". Carlos Almeida. International Journal of Computers and
Applications, ACTA Press, Volume 33, Number 3, pp. 179-188. 2011.
- "Modular Architecture to Build Group Communication Protocols with Several QoS".
Carlos Almeida.
IEEE LATIN AMERICA TRANSACTIONS, VOL. 9, NO. 1, pp. 121-129, March 2011.
- "Practical Experience Teaching Embedded Systems". Carlos Almeida.
ACM SIGBED Review, Volume 5, Number 3, October 2008.
- "Adaptabilidade e Confiabilidade em Ambientes Dinâmicos: a
Abordagem
Quasi-Síncrona". Carlos Almeida.
IEEE LATIN AMERICA TRANSACTIONS, VOL. 5, NO. 3, pp. 158-164, JUNE 2007.
- "Quasi-Synchronism: a step away from the traditional
fault-tolerant
real-time system models". Paulo Veríssimo and Carlos Almeida.
Bulletin of the Technical Committee on Operating Systems and
Application Environments (TCOS). IEEE Computer Society. Winter 1995.
- "High Availability in a Real-Time System". Carlos Almeida and
Brad
Glade and Keith Marzullo and Robbert van Renesse.
ACM Operating Systems Review, 27(2):82-87. April 1993.
Publicações em actas de encontros científicos /
Papers in conference proceedings
- "High Availability in Controller Area Networks". R. Pinto, J.
Rufino, and C. Almeida. Proceedings of the International Conference on
Computer as a Tool (EUROCON 2011), Lisbon, Portugal, April 2011.
- "Enforcing Dependability and Timeliness in CANELy: Application to
Spaceborne Data Communication Systems". J. Rufino, P. Verissimo, R.
Pinto, C. Almeida, G. Arroz. Proceedings of the 1st International
Conference on Pervasive and Embedded Computing and Communication Systems
(PECCS 2011), Vilamoura, Portugal, March 2011.
- "RFID based Monitoring and Access Control System". Filipe Lourenço
and Carlos Almeida. In Proceedings of the INFORUM Simpósio de
Informática 2009, Lisboa, Portugal, Setembro 2009.
- "Embedded Linux in a partitioned architecture for aerospace
applications". J. Craveiro, J. Rufino, C. Almeida, R. Covelo, and
P. Venda. In Proceedings of the 7th ACS/IEEE International
Conference on Computer Systems and Applications, Rabat, Morocco, May
2009.
- "Response Time Analysis of Asynchronous Periodic and Sporadic
Tasks
Scheduled by a Fixed-Priority Preemptive Algorithm". M. Coutinho and
J. Rufino and C. Almeida. In Proceedings of the 20th Euromicro
Conference on Real-Time Systems (ECRTS 2008), Prague, Czech Republic,
July 2008.
- "FPGA-based Engineering of Bus Media Redundancy in CAN". J.
Rufino and
R. Pinto and C. Almeida. In Proceedings of the 12th International
CAN
Conference, Barcelona, Spain, March 2008.
- "A FPGA-Based Solution for Enforcing Dependability and Timeliness
in
CAN". J. Rufino and R. Pinto and C. Almeida. IP-based Electronic
System Conference and Exhibition Grenoble (IP07), France, Dec. 2007.
- "Enforcing Dependability and Timeliness in Controller Area
Networks".
J. Rufino, C. Almeida, P. Veríssimo, G. Arroz. In Proceedings of
the
32nd Annual Conference of the IEEE Industrial Electronics Society,
Paris, France, November 2006.
- "Integrating Inaccessibility Control and Timer Management in
CANELy".
J. Rufino, P. Veríssimo, C. Almeida, G. Arroz. In Proceedings of
the
11th IEEE International Conference on Emerging Technologies and
Factory Automation, Prague, Czech Republic, September 2006.
- "VITRAL - A Text Mode Window Manager for Real-Time Embedded
Kernels".
M. Coutinho, C. Almeida, J. Rufino. In Proceedings of the 11th IEEE
International Conference on Emerging Technologies and Factory
Automation, Prague, Czech Republic, September 2006.
- "Interconnected Embedded Systems: Challenges and Main Problems to
Solve". C. Almeida and J. Rufino. In Proceedings of the 6th IEEE
International Workshop on Factory Communication Systems (Work in
Progress Sessions), Torino, Italy, June 2006.
- "Control of Inaccessibility in CANELy". J. Rufino, P.
Veríssimo,
G. Arroz, C. Almeida. In Proceedings of the 6th IEEE International
Workshop on Factory Communication Systems, Torino, Italy, June 2006.
- "Control of event handling timeliness in RTEMS". M.
Coutinho,
J. Rufino, C. Almeida. In Proceedings of the 17th International
Conference on Paralel and Distributed Computing Systems (PDCS 2005),
Phoenix, Arizona, USA, November 2005.
- "VITRAL: A text mode windows manager for RTEMS". M. Coutinho, J.
Rufino, C. Almeida. In Terceiras Jornadas de Engenharia de
Electrónica e Telecomunicações e de Computadores,
Lisboa, Portugal, Novembro 2005.
- "Gestão do consumo em microprocessadores: Aumento da
autonomia sem comprometer a funcionalidade". G. Rijo, C. Almeida, J.
Rufino. In Terceiras Jornadas de Engenharia de Electrónica e
Telecomunicações e de Computadores, Lisboa, Portugal,
Novembro 2005.
- "Component Based QoS for Real-Time Group Communications". Carlos
Almeida. Proceedings of the IASTED International Conference on
Parallel and Distributed Computing and Networks -
PDCN2004. IASTED. Innsbruck, Austria. February 2004.
- "Handling QoS in a Dynamic Real-Time Environment". Carlos
Almeida.
Proceedings of the 8th IEEE International Workshop on Object-Oriented
Real-Time Dependable Systems - WORDS 2003. IEEE. Guadalajara,
Mexico. January 2003.
- "Dynamic QoS Adaptability in Quasi-Synchronous Systems". Carlos
Almeida. Proceedings of the 14th IASTED International Conference on
Parallel and Distributed Computing and Systems -
PDCS2002. Cambridge, USA. November 2002.
- "Improving Real-Time Characteristics of a COTS Local Area
Network". C. Almeida and J. Rufino. Proceedings of the International
Conference on Communications in Computing - CIC2001. CSREA Press. Las
Vegas, Nevada, USA. June 2001.
- "Using light-weight groups to handle timing failures in
quasi-synchronous systems". Carlos Almeida and Paulo Veríssimo.
Proceedings of the 19th IEEE Real-Time Systems Symposium. Madrid,
Spain. December 1998.
- "Fault-Tolerant Broadcasts in CAN". J. Rufino, P.
Veríssimo, G.
Arroz,
C. Almeida and L. Rodrigues. Digest of Papers of the 28th IEEE
International Symposium on Fault-Tolerant Computing Systems. Munich,
Germany. June 1998.
- "Timing Failure Detection and Real-Time Group Communication in
Quasi-Synchronous Systems". Carlos Almeida and Paulo Veríssimo.
Proceedings of the 8th Euromicro Workshop on Real-Time Systems.
L\'Aquila, Italy. June 1996.
- "An Adaptive Real-Time Group Communication Protocol". Carlos
Almeida and
Paulo Veríssimo. Proceedings of the First IEEE Workshop on
Factory
Communication Systems. Leysin, Switzerland. October 1995.
- "High Availability in a Real-Time System". Carlos Almeida and
Brad
Glade and Keith Marzullo and Robbert van Renesse.
Proceedings of the 5th ACM SIGOPS European workshop, Mont
Saint-Michel, France, September 1992.
- "CORTO: High Availability in a Real-Time System". Carlos Almeida
and
Keith Marzullo. Proceedings of the First Annual Workshop on Embedded
Systems, Austin, Texas, USA. Office of Naval Research. January 1993.
- "CORTO: High Availability in a Real-Time System". Carlos Almeida
and
Keith Marzullo. Proceedings of the NATO Advanced Study Institute on
Real-Time Computing, Sint Maarten, Dutch Antilles. Springer-Verlag
NATO. October 1992.
- "CODITEL - A Distributed Telegram Router". Carlos Almeida.
Proceedings
of the ISMM International Symposium on MINI AND MICROCOMPUTERS AND
THEIR APPLICATIONS (MIMI 90). Lugano, Switzerland. June 1990.
- "CODITEL - Comutador Distribuído de Mensagens". C. Cabral,
J.
Bentes and
C. Almeida. 3º Workshop Nacional de Engenharia de
Telecomunicações
Computadores e Informática. APDC. Aveiro, Portugal. November
1987.
- "Redes de banda larga: o projecto SIFO". C. Almeida, J. Mota and
J. Bernardo. 3º Workshop Nacional de Engenharia de
Telecomunicações
Computadores e Informática. APDC. Aveiro, Portugal. November
1987.
Outras publicações / Other publications (technical
reports)
- "Specification and Engineering of the CANELy Prototype Board". R.
Pinto, J. Rufino, C. Almeida. DARIO Technical Report RT-06-06.
October 2006.
- "CANELy Prototype Board Schematic Specification". R. Pinto, J.
Rufino, C. Almeida. DARIO Technical Report RT-05-04.
December 2005.
- "Securing the Timeliness of Input/Output Event Handling in
Real-Time
Kernels".
C. Almeida, M. Coutinho, J. Rufino. DARIO Technical Report RT-05-01.
June 2005.
- "The Quasi-Synchronous Approach to Fault-Tolerant and Real-Time
Communication and Processing". C. Almeida, P. Veríssimo and
A. Casimiro. Technical Report CSTC RT-98-04. Instituto Superior
Técnico. Lisboa, Portugal. July 1998.
- "DDRAFT: Supporting Dynamic Distributed Real-time Applications
with
Fault-Tolerance". C. Almeida, J. Rufino and P. Veríssimo.
Technical
Report CSTC RT-98-02. Instituto Superior Técnico. Lisboa,
Portugal. February 1998.
- "Design of Fault-Tolerant Broadcast Protocols for CAN".
J. Rufino, P. Veríssimo, G. Arroz, C. Almeida, L. Rodrigues.
CSTC Technical Report RT-97-06.
Instituto Superior Técnico, Lisboa, Portugal. December 1997.
- "Timing Failure Detection Service: Architecture and Simulation
Results". C. Almeida and P. Veríssimo. Technical Report CSTC
RT-97-05. Instituto Superior Técnico. Lisboa, Portugal. December
1997.