Concepedia

Carlos Almeida

CA

6

Publications

203

Citations

6

H-Index

2002

Active since

Affiliations

Instituto Politécnico de Lisboa(Current)

Instituto Superior Técnico

Institute for Systems Engineering and Computers

University of Lisbon

Carlos Almeida is an author at Instituto Politécnico de Lisboa specializing in formal verification, engineering, and systems engineering.

Top concepts

EngineeringFormal VerificationSystems EngineeringFault ToleranceComputer ScienceSystem SoftwareHardware SecurityReal-time SystemsParallel ComputingDistributed Systems

Publications per year

2002–2009

6

Publications

6

Fault-tolerant broadcasts in CAN

José Rufino, Guilherme Arroz, Carlos Almeida et al. · 2002 · 119 citations

Hardware Security, Fault-tolerant Network, Engineering +12

Timing failure detection and real-time group communication in quasi-synchronous systems

Carlos Almeida · 2002 · 33 citations

Using light-weight groups to handle timing failures in quasi-synchronous systems

Carlos Almeida · 2002 · 19 citations

Cluster Computing, Engineering, Verification +22

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

Manuel Coutinho, José Rufino, Carlos Almeida · 2008 · 11 citations

Embedded Linux in a partitioned architecture for aerospace applications

João Craveiro, José Rufino, Carlos Almeida et al. · 2009 · 11 citations

Engineering, System Programming, Computer Architecture +24

Rows per page

1–5 of 6