Design and verification of distributed phasers

Karthik Murthy; Sri Raj Paul; Kuldeep S. Meel; Tiago Cogumbreiro; John Mellor-Crummey

doi:10.1007/978-3-319-43659-3_30

Design and verification of distributed phasers

Karthik Murthy
, Sri Raj Paul
, Kuldeep S. Meel
, Tiago Cogumbreiro
, John Mellor-Crummey

Computer Science

Rice University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, Proceedings
Editors	Pierre-François Dutot, Denis Trystram
Publisher	Springer Verlag
Pages	37-50
Number of pages	14
ISBN (Print)	9783319436586
DOIs	https://doi.org/10.1007/978-3-319-43659-3_30
State	Published - 2016
Event	22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016 - Grenoble, France Duration: Aug 24 2016 → Aug 26 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9833 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016
Country/Territory	France
City	Grenoble
Period	8/24/16 → 8/26/16

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-43659-3_30

Cite this

Murthy, K., Paul, S. R., Meel, K. S., Cogumbreiro, T., & Mellor-Crummey, J. (2016). Design and verification of distributed phasers. In P.-F. Dutot, & D. Trystram (Eds.), Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, Proceedings (pp. 37-50). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9833 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-43659-3_30

Design and verification of distributed phasers. / Murthy, Karthik; Paul, Sri Raj; Meel, Kuldeep S. et al.
Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, Proceedings. ed. / Pierre-François Dutot; Denis Trystram. Springer Verlag, 2016. p. 37-50 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9833 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Murthy, K, Paul, SR, Meel, KS, Cogumbreiro, T & Mellor-Crummey, J 2016, Design and verification of distributed phasers. in P-F Dutot & D Trystram (eds), Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9833 LNCS, Springer Verlag, pp. 37-50, 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, Grenoble, France, 8/24/16. https://doi.org/10.1007/978-3-319-43659-3_30

Murthy K, Paul SR, Meel KS, Cogumbreiro T, Mellor-Crummey J. Design and verification of distributed phasers. In Dutot PF, Trystram D, editors, Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, Proceedings. Springer Verlag. 2016. p. 37-50. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-43659-3_30

Murthy, Karthik ; Paul, Sri Raj ; Meel, Kuldeep S. et al. / Design and verification of distributed phasers. Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, Proceedings. editor / Pierre-François Dutot ; Denis Trystram. Springer Verlag, 2016. pp. 37-50 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6110708669ec45e98c8f076c7f07ea5f,

title = "Design and verification of distributed phasers",

author = "Karthik Murthy and Paul, \{Sri Raj\} and Meel, \{Kuldeep S.\} and Tiago Cogumbreiro and John Mellor-Crummey",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016 ; Conference date: 24-08-2016 Through 26-08-2016",

year = "2016",

doi = "10.1007/978-3-319-43659-3\_30",

language = "English",

isbn = "9783319436586",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "37--50",

editor = "Pierre-Fran{\c c}ois Dutot and Denis Trystram",

booktitle = "Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, Proceedings",

}

TY - GEN

T1 - Design and verification of distributed phasers

AU - Murthy, Karthik

AU - Paul, Sri Raj

AU - Meel, Kuldeep S.

AU - Cogumbreiro, Tiago

AU - Mellor-Crummey, John

PY - 2016

Y1 - 2016

UR - https://www.scopus.com/pages/publications/84984846491

UR - https://www.scopus.com/pages/publications/84984846491#tab=citedBy

U2 - 10.1007/978-3-319-43659-3_30

DO - 10.1007/978-3-319-43659-3_30

M3 - Conference contribution

AN - SCOPUS:84984846491

SN - 9783319436586

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 37

EP - 50

BT - Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, Proceedings

A2 - Dutot, Pierre-François

A2 - Trystram, Denis

PB - Springer Verlag

T2 - 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016

Y2 - 24 August 2016 through 26 August 2016

ER -

Design and verification of distributed phasers

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Fingerprint

Cite this