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. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Stephen Michell

dblp:52/4405 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
0since 2021 · last 2015
—ORCID · none

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

Software engineering, systems software and programming languages · 1Applied, interdisciplinary, general and emerging computing · 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
1 paper
Parallel and multicore computing · 87% Embedded and real-time systems · 13%
Software engineering, system software, and programming languages
2 papers
Programming languages and type systems · 94% Concurrent programming · 6%

Topics — the 6 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Parallel and multicore computing › parallelization strategies
fine-grained parallelism
0.212015
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada · RTSS 2015
Parallel and multicore computing
parallel programming models
0.212015
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada · RTSS 2015
Programming languages and type systems
language design
0.112015
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada · RTSS 2015
Embedded and real-time systems
real-time programming languages
0.112015
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada · RTSS 2015
Programming languages and type systems › concurrent programming languages
concurrent object-oriented programming
0.012000
Integrating object-oriented programming and protected objects in Ada 95 · ACM Trans. Program. Lang. Syst. 2000
Programming languages and type systems
extensibility
0.012000
Integrating object-oriented programming and protected objects in Ada 95 · ACM Trans. Program. Lang. Syst. 2000
YearPublicationVenuePosition
2015 Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada
abstract
The Ada language has for long provided support for the development of reliable real-time systems, with a model of computation amenable for real-time analysis. To complement the already existent multiprocessor support in the language, an ongoing effort is underway to extend Ada with a fine-grained parallel programming model also suitable for real-time systems. This paper overviews the model which is being proposed, pointing out the main issues still open and road ahead.
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
RTSS3
2000 Integrating object-oriented programming and protected objects in Ada 95
abstract
Integrating concurrent and object-oriented programming has been an active research topic since the late 1980's. There is a now a plethora of methods for achieving this integration. The majority of approaches have taken a sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and made it object-oriented. The most important of this latter class is the Ada 95 language, which is an extension to the object-based concurrent programming language Ada 83. Arguably, Ada 95 does not fully integrate its models of concurrency and object-oriented programming. For example, neither tasks nor protected objects are extensible. This article discusses ways in which protected objects can be made more extensible.
Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf 0013, Stephen Michell
ACM Trans. Program. Lang. Syst.6