Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Paulo Guedes

dblp:88/3329 · DBLP profile ↗
← Back
6ranked-venue papers
0as first author
0since 2021 · last 2001
0009-0008-0334-0197ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3Security and privacy · 2Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
2 papers
Memory systems · 60% Distributed systems · 40%
Network and information security
1 paper
Authentication and access control · 100%
Software engineering, system software, and programming languages
3 papers
Programming languages and type systems · 42% Operating systems · 40% Software maintenance and evolution · 18%

Topics — the 12 heaviest of 13, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Memory systems › shared memory
distributed shared memory
0.021996
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory · OSDI 1996
A Checkpoint Protocol for an Entry Consistent Shared Memory System · PODC 1994
Memory systems › memory consistency › memory consistency model › release consistency
lazy release consistency
0.011996
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory · OSDI 1996
Distributed systems › fault tolerance
checkpointing
0.011994
A Checkpoint Protocol for an Entry Consistent Shared Memory System · PODC 1994
Distributed systems › consistency models
entry consistency
0.011994
A Checkpoint Protocol for an Entry Consistent Shared Memory System · PODC 1994
Programming languages and type systems
domain-specific languages
0.012001
SPL: An Access Control Language for Security Policies and Complex Constraints · NDSS 2001
Operating systems › distributed systems
distributed operating system
0.011989
Extending the Operating System to Support an Object-Oriented Environment · OOPSLA 1989
Software maintenance and evolution
logging
0.011996
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory · OSDI 1996
Operating systems › resource management
memory management
0.011996
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory · OSDI 1996
Memory systems
cache coherence
0.011994
A Checkpoint Protocol for an Entry Consistent Shared Memory System · PODC 1994
Distributed systems
fault tolerance
0.011994
A Checkpoint Protocol for an Entry Consistent Shared Memory System · PODC 1994
Distributed systems › fault tolerance
node failure
0.011994
A Checkpoint Protocol for an Entry Consistent Shared Memory System · PODC 1994
Programming languages and type systems
object-oriented programming
0.011989
Extending the Operating System to Support an Object-Oriented Environment · OOPSLA 1989
YearPublicationVenuePosition
2001 SPL: An Access Control Language for Security Policies and Complex Constraints
Carlos Ribeiro, André Zúquete, Paulo Ferreira 0001, Paulo Guedes
NDSS4
1997 Efficient Error-Propagating Block Chaining
André Zúquete, Paulo Guedes
IMACC2
1996 Lightweight Logging for Lazy Release Consistent Distributed Shared Memory
abstract
No abstract available.
Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves 0001, Miguel Castro 0001
OSDI2
1994 A Checkpoint Protocol for an Entry Consistent Shared Memory System
abstract
Workstation clusters are becoming an interesting alter-native to dedicated multiprocessors. In this environment, the probability of a failure, during an application’s exeeution, increases with the execution time and the number of work-stations used. If no provision is made for handling failures, it is unlikely that long running applications will terminate successfully. One solution to this problem is process check-pointing. This paper presents a checkpoint protocol for a multi-threaded distributed shared memory system based on the en-try consistency memory model. The protocol allows trans-parent recovery from single node failures and, in some cases, from multiple node failures. A simple mechanism is used to determine if the system can be brought to a consistent state in the event of multiple machine crashes. The protocol keeps a distributed log of shared data ac-cessesin the volatile memory of the processes, taking advan-tage of the independent failure characteristics of workstation clusters. Periodically, or whenever the log reaches a high-water mark, each process checkpoints its state, independently from the others. The protocol needs no extra messagesdur-ing the failure-fke period, since atl checkpoint control in-formation is piggybacked on the memory coherence protocol messages. 1
Nuno Neves 0001, Miguel Castro 0001, Paulo Guedes
PODC3
1989 Extending the Operating System to Support an Object-Oriented Environment
abstract
Comandos is a project within the European Strategic Programme for Research on Information Technology - ESPRIT and it stems from the identified need of providing simpler and more integrated environments for application development in large distributed systems.
José Alves Marques, Paulo Guedes
OOPSLA2
1988 The Distributed Operating System of the SMD Project
abstract
Abstract This article analyses the structure of the distributed operating system of the SMD project— DIOS. The description of the basic structure is followed by a global view of the services and the supporting kernel of the system. Each service is analysed according to its functionality and implementation. DIOS was implemented on bare machines and on top of commercial operating systems. The port of the system to hetereogeneous environments is discussed and some implementation details are described. In parallel with the research on DIOS a multiprocessor station has been developed. These two projects had clear influences on each other; to illustrate some of the major interdependencies, the performance of DIOS in their particular architecture is analysed. The paper ends with information on the current status of the project and on some planned directions of work.
José Alves Marques, João Paulo Cunha, Paulo Guedes, Nuno Guimarães, Alberto Cunha
Softw. Pract. Exp.3