Michael J. Foster

dblp:88/2796 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
0since 2021 · last 2009
—ORCID · conflict

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

Systems, architecture and hardware · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 2 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 2

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
3 papers
Electronic design automation · 49% Embedded and real-time systems · 22% Hardware accelerators and domain-specific architectures · 16%
Software engineering, system software, and programming languages
1 paper
Concurrent programming · 100%
Theoretical computer science
1 paper
Algorithms and data structures · 100%

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

TopicWeightPapersLastEvidence papers
Electronic design automation
high-level synthesis
0.011985
Compiling Path Expressions into VLSI Circuits · POPL 1985
Embedded and real-time systems
cyber-physical system platforms
0.011982
MISE: Machine for In-System Evaluation of Custom VLSI Chips for Real-Time Systems · RTSS 1982
Electronic design automation › design methodology
VLSI design methodology
0.011980
Design of Special-Purpose VLSI Chips: Example and Opinions · ISCA 1980
Concurrent programming › synchronization
process synchronization
0.011985
Compiling Path Expressions into VLSI Circuits · POPL 1985
Integrated circuit design › VLSI design
custom VLSI design
0.011982
MISE: Machine for In-System Evaluation of Custom VLSI Chips for Real-Time Systems · RTSS 1982
Integrated circuit design
digital circuit design
0.011982
MISE: Machine for In-System Evaluation of Custom VLSI Chips for Real-Time Systems · RTSS 1982

Methods — techniques the papers use, named apart from their topics

pipelining · 0.0VLSI design · 0.0in-system evaluation · 0.0
YearPublicationVenuePosition
2009 Stochastic Radiative Transfer on Modeled Cloud Fields
abstract
Several efforts are currently underway to improve cloud-radiation parameterizations in Global Climate Models (GCMs) by incorporating statistical properties of the cloud field. Although some radiation parameterizations, which are already computationally costly, now incorporate subgrid scale variability in cloud properties, they are not yet capable of using this information in their calculations of the 3-D radiation fields. Before drastic changes are made to such algorithms to incorporate cloud-cloud radiation interactions, the impact of including realistic high-resolution cloud distributions on the shortwave fluxes should be assessed. This letter provides a framework for carrying out such assessments, including a new methodology that blends a stochastic radiative transfer model, high-resolution cloud fields from a mesoscale meteorological model, and a threshold and object identification technique applied to cloud water content fields. This process provides a link between the radiative fluxes calculated in GCMs, where clouds occur at a subgrid scale, and the highly resolved cloud fields in a regional climate model, which can provide cloud field statistics. Two case studies are described herein.
Dana E. Veron, Christopher P. Weaver, Fabrice Veron, Michael J. Foster
IEEE Geosci. Remote. Sens. Lett.4
1986 Compiling Path Expressions Into VLSI Circuits
Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra
Distributed Comput.3
1985 Compiling Path Expressions into VLSI Circuits
abstract
Path expressions were originally proposed by Campbell and Habermann [1] as a mechanism for process synchronization at the monitor level in software. Not unexpectedly, they also provide a useful notation for specifying the behavior of asynchronous circuits. Motivated by this potential application we investigate how to directly translate path expressions into hardware.
Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra
POPL3
1982 MISE: Machine for In-System Evaluation of Custom VLSI Chips for Real-Time Systems
Roberto Bisiani, Michael J. Foster, H. T. Kung 0001, Kemal Oflazer
RTSS2
1980 Design of Special-Purpose VLSI Chips: Example and Opinions
abstract
This paper identifies important steps in the design of a special purpose VLSI chip, and argues that the most crucial step is the design of the underlying algorithm. Because the algorithm determines the degree of parallelism and pipelining that is possible, it largely determines the performance of the chip. Furthermore, if the underlying algorithm has the right properties such as modularity and regularity, then the rest of the design should be routine and thus take little effort. These claims are supported by a concrete example—the design of an efficient pattern matching chip, which has been fabricated for testing.
Michael J. Foster, H. T. Kung 0001
ISCA1