António Casimiro
António Casimiro
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Bestätigte E-Mail-Adresse bei di.fc.ul.pt
Titel
Zitiert von
Zitiert von
Jahr
The timely computing base model and architecture
P Veríssimo, A Casimiro
IEEE Transactions on Computers 51 (8), 916-930, 2002
1872002
Cesiumspray: a precise and accurate global time service for large-scale systems
P Verissimo, L Rodrigues, A Casimiro
Real-Time Systems 12 (3), 243-294, 1997
1841997
The timely computing base: Timely actions in the presence of uncertain timeliness
P Veríssimo, A Casimiro, C Fetzer
Proceeding International Conference on Dependable Systems and Networks. DSN …, 2000
1182000
Cortex: Towards supporting autonomous and cooperating sentient entities
P Verissimo, V Cahill, A Casimiro, K Cheverst, A Friday, J Kaiser
Proceedings of European Wireless 2002 (EW2002), 595-601, 2002
832002
Using the timely computing base for dependable qos adaptation
A Casimiro, P Verissimo
Proceedings 20th IEEE Symposium on Reliable Distributed Systems, 208-217, 2001
652001
How to build a timely computing base using real-time linux
A Casimiro, P Martins, P Verissimo
2000 IEEE International Workshop on Factory Communication Systems …, 2000
562000
GISolve: A grid-based problem solving environment for computationally intensive geographic information analysis
S Wang, MP Armstrong, J Ni, Y Liu
CLADE 2005. Proceedings Challenges of Large Applications in Distributed …, 2005
402005
Event-driven support of real-time sentient objects
P Veríssimo, A Casimiro
Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003
292003
Timing failure detection with a timely computing base
A Casimiro, P Verissimo
Department of Informatics, University of Lisbon, 1999
261999
The karyon project: Predictable and safe coordination in cooperative vehicular systems
A Casimiro, J Kaiser, EM Schiller, P Costa, J Parizi, R Johansson, ...
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013
252013
An architectural framework and a middleware for cooperating smart components
A Casimiro, J Kaiser, P Verissimo
Proceedings of the 1st Conference on Computing Frontiers, 28-39, 2004
252004
A survey on data quality for dependable monitoring in wireless sensor networks
G Jesus, A Casimiro, A Oliveira
Sensors 17 (9), 2010, 2017
222017
The timely computing base. DI
P Verıssimo, A Casimiro
FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr …, 1999
22*1999
Using atomic broadcast to implement a posteriori agreement for clock synchronization
L Rodrigues, P Veríssimo, A Casimiro
Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems, 115-124, 1993
211993
Priority-based totally ordered multicast
L Rodrigues, P Veríssimo, A Casimiro
IFAC Proceedings Volumes 28 (5), 351-359, 1995
201995
A kernel-based architecture for safe cooperative vehicular functions
A Casimiro, J Rufino, RC Pinto, E Vial, EM Schiller, O Morales-Ponce, ...
Proceedings of the 9th IEEE International Symposium on Industrial Embedded …, 2014
182014
A framework for dependable QoS adaptation in probabilistic environments
A Casimiro, P Lollini, M Dixit, A Bondavalli, P Veríssimo
Proceedings of the 2008 ACM symposium on Applied computing, 2192-2196, 2008
182008
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
A Casimiro, J Kaiser, J Karlsson, EM Schiller, P Tsigas, P Costa, J Parizi, ...
Symposium on Self-Stabilizing Systems, 232-235, 2012
172012
Generic timing fault tolerance using a timely computing base
A Casimiro, P Veríssimo
Proceedings International Conference on Dependable Systems and Networks, 27-36, 2002
172002
Elastic state machine replication
A Nogueira, A Casimiro, A Bessani
IEEE Transactions on Parallel and Distributed Systems 28 (9), 2486-2499, 2017
152017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20