Fast and Practical Nonblocking and Blocking Concurrent Queue Algorithms

Formal Construction of a Non-blocking Concurrent Queue Algorithm

Abrial, Jean-Raymond
Cansell, Dominique

May 2005

This paper contains a completely formal (and mechanically proved) development of some algorithms dea...

Approximation in non-product form multiple queue systems

Nigel Thomas
See Profile
Nigel Thomas

January 2003

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Algorithms for signal and message asynchronous communication mechanisms and their analysis

Fei Xia
Ian G. Clark
Fei Xia
Ian Clarky

January 2001

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Physically Addressed Queueing (PAQ): Improving Parallelism

Myoungsoo Jung
See Profile
Myoungsoo Jung
Ellis H. Wilson Iii
Mahmut K

January 2012

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms

Michael, Maged M.
Scott, Michael L. (1959 - )

May 2014

Link to published version: http://portal.acm.org/ft_gateway.cfm?id=248106&type=pdf&coll=portal&dl=AC...

On Transitory Queueing

Amy R. Ward
See Profile
Rahul Jain
Amy R. Ward

January 2014

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

A Practical Approach for Reconciling High and Predictable Performance in Non-Regular Parallel Programs

Zheng Li
Nathalie Drach-temam
Olivier Certner
Zheng Li
Pierre Palatin
Olivier Temam
Frederic Arzel Nathalie Drach

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Algorithms

Brian Baldwin
See Profile
Andrew Byrne
Mark Hamilton
Maire Mcloone
See Profile
Brian Baldwin
Andrew Byrne
Liang Lu
Mark Hamilton
Neil Hanley
William P

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Parallelizing the execution of sequential scripts

Zhao Zhang
Daniel S. Katz
Justin M. Wozniak
Ian Foster
See Profile
Zhao Zhang
Daniel S. Katz
Timothy G. Armstrong
Justin M. Wozniak
Ian Foster

January 2013

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Simultaneous multithreading: Maximizing on-chip parallelism

Dean M. Tullsen
See Profile
Dean M. Tullsen
Susan J. Eggers
Henry M. Levy

January 1995

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Scheduling concurrent applications on a cluster of cpu-gpu nodes

Vignesh T. Ravi
Michela Becchi
Wei Jiang
Quantcast Coporation
Gagan Agrawal
See Profile
Vignesh T. Ravi
Michela Becchi
Wei Jiang
Gagan Agrawal
Srimat Chakradhar

January 2012

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Decision making in concurrent multitasking: do people adapt to task interference? PLoS

Menno Nijboer
Niels A Taatgen
Jelmer Pieter Borst
Hedderik Van Rijn
Menno Nijboer
Niels A. Taatgen
Annelies Br
Jelmer P. Borst
Hedderik Van Rijn

January 2013

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Concurrent Scheduling of Event-B Models

Pontus Boström
Marina Waldén
Pontus Boström
Fredrik Degerlund
Kaisa Sere
Marina Waldén

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Scheduling in non-blocking buffered three-stage switching fabrics,” presented at

Nikolaos Chrysos
See Profile
Nikos Chrysos
Manolis Katevenisz

January 2006

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

1Evaluation of Mechanisms for Fine-Grained Parallel Programs

Seth Copen Goldstein
William J. Dally
David E. Culler
Ellen Spertus
Seth Copen Goldstein
William J. Dally
Klaus Erik Schauser
Thorsten Von Eicken
David E. Culler

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Formal Construction of a Non-blocking Concurrent Queue Algorithm

Abrial, Jean-Raymond
Cansell, Dominique

May 2005

This paper contains a completely formal (and mechanically proved) development of some algorithms dea...

Approximation in non-product form multiple queue systems

Nigel Thomas
See Profile
Nigel Thomas

January 2003

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Algorithms for signal and message asynchronous communication mechanisms and their analysis

Fei Xia
Ian G. Clark
Fei Xia
Ian Clarky

January 2001

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Physically Addressed Queueing (PAQ): Improving Parallelism

Myoungsoo Jung
See Profile
Myoungsoo Jung
Ellis H. Wilson Iii
Mahmut K

January 2012

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms

Michael, Maged M.
Scott, Michael L. (1959 - )

May 2014

Link to published version: http://portal.acm.org/ft_gateway.cfm?id=248106&type=pdf&coll=portal&dl=AC...

On Transitory Queueing

Amy R. Ward
See Profile
Rahul Jain
Amy R. Ward

January 2014

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

A Practical Approach for Reconciling High and Predictable Performance in Non-Regular Parallel Programs

Zheng Li
Nathalie Drach-temam
Olivier Certner
Zheng Li
Pierre Palatin
Olivier Temam
Frederic Arzel Nathalie Drach

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Algorithms

Brian Baldwin
See Profile
Andrew Byrne
Mark Hamilton
Maire Mcloone
See Profile
Brian Baldwin
Andrew Byrne
Liang Lu
Mark Hamilton
Neil Hanley
William P

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Parallelizing the execution of sequential scripts

Zhao Zhang
Daniel S. Katz
Justin M. Wozniak
Ian Foster
See Profile
Zhao Zhang
Daniel S. Katz
Timothy G. Armstrong
Justin M. Wozniak
Ian Foster

January 2013

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Simultaneous multithreading: Maximizing on-chip parallelism

Dean M. Tullsen
See Profile
Dean M. Tullsen
Susan J. Eggers
Henry M. Levy

January 1995

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Scheduling concurrent applications on a cluster of cpu-gpu nodes

Vignesh T. Ravi
Michela Becchi
Wei Jiang
Quantcast Coporation
Gagan Agrawal
See Profile
Vignesh T. Ravi
Michela Becchi
Wei Jiang
Gagan Agrawal
Srimat Chakradhar

January 2012

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Decision making in concurrent multitasking: do people adapt to task interference? PLoS

Menno Nijboer
Niels A Taatgen
Jelmer Pieter Borst
Hedderik Van Rijn
Menno Nijboer
Niels A. Taatgen
Annelies Br
Jelmer P. Borst
Hedderik Van Rijn

January 2013

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Concurrent Scheduling of Event-B Models

Pontus Boström
Marina Waldén
Pontus Boström
Fredrik Degerlund
Kaisa Sere
Marina Waldén

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Scheduling in non-blocking buffered three-stage switching fabrics,” presented at

Nikolaos Chrysos
See Profile
Nikos Chrysos
Manolis Katevenisz

January 2006

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

1Evaluation of Mechanisms for Fine-Grained Parallel Programs

Seth Copen Goldstein
William J. Dally
David E. Culler
Ellen Spertus
Seth Copen Goldstein
William J. Dally
Klaus Erik Schauser
Thorsten Von Eicken
David E. Culler

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Formal Construction of a Non-blocking Concurrent Queue Algorithm

Abrial, Jean-Raymond
Cansell, Dominique

May 2005

This paper contains a completely formal (and mechanically proved) development of some algorithms dea...

Approximation in non-product form multiple queue systems

Nigel Thomas
See Profile
Nigel Thomas

January 2003

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Algorithms for signal and message asynchronous communication mechanisms and their analysis

Fei Xia
Ian G. Clark
Fei Xia
Ian Clarky

January 2001

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Fast and Practical Nonblocking and Blocking Concurrent Queue Algorithms

Abstract

Extracted data

Fast and Practical Nonblocking and Blocking Concurrent Queue Algorithms

Abstract

Extracted data

Related items

Related items