article

Workcrews: an abstraction for controlling parallelism

Authors:

Mark T. Vandevoorde,

Eric S. RobertsAuthors Info & Claims

International Journal of Parallel Programming, Volume 17, Issue 4

Pages 347 - 366

https://doi.org/10.1007/BF01407910

Published: 01 August 1989 Publication History

Abstract

No abstract available.

Cited By

View all

Harchol-Balter M(2021)Open problems in queueing theory inspired by datacenter computingQueueing Systems: Theory and Applications10.1007/s11134-020-09684-697:1-2(3-37)Online publication date: 27-Jan-2021
https://dl.acm.org/doi/10.1007/s11134-020-09684-6
Singer KXu YLee IHollingsworth JKeidar I(2019)Proactive work stealing for futuresProceedings of the 24th Symposium on Principles and Practice of Parallel Programming10.1145/3293883.3295735(257-271)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.1145/3293883.3295735
Tracey JJansen RGoldberg ICollberg CPeterson P(2018)High performance tor experimentation from the magic of dynamic ELFsProceedings of the 11th USENIX Conference on Cyber Security Experimentation and Test10.5555/3307412.3307422(10-10)Online publication date: 13-Aug-2018
https://dl.acm.org/doi/10.5555/3307412.3307422
Show More Cited By

Index Terms

Workcrews: an abstraction for controlling parallelism
1. Mathematics of computing
  1. Probability and statistics
    1. Statistical paradigms
      1. Queueing theory
2. Theory of computation

Recommendations

Abstraction refinement for termination
SAS'05: Proceedings of the 12th international conference on Static Analysis

Abstraction can often lead to spurious counterexamples. Counterexample-guided abstraction refinement is a method of strengthening abstractions based on the analysis of these spurious counterexamples. For invariance properties, a counterexample is a ...
Transition predicate abstraction and fair termination
POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Predicate abstraction is the basis of many program verification tools. Until now, the only known way to overcome the inherent limitation of predicate abstraction to safety properties was to manually annotate the finite-state abstraction of a program. We ...
Transition predicate abstraction and fair termination
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Predicate abstraction is the basis of many program verification tools. Until now, the only known way to overcome the inherent limitation of predicate abstraction to safety properties was to manually annotate the finite-state abstraction of a program. We ...

Comments

Information & Contributors

Information

Published In

cover image International Journal of Parallel Programming

International Journal of Parallel Programming Volume 17, Issue 4

Aug. 1988

63 pages

ISSN:0885-7458

Editor:
Gary Lindstrom

Issue’s Table of Contents

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 August 1989

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

39
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Harchol-Balter M(2021)Open problems in queueing theory inspired by datacenter computingQueueing Systems: Theory and Applications10.1007/s11134-020-09684-697:1-2(3-37)Online publication date: 27-Jan-2021
https://dl.acm.org/doi/10.1007/s11134-020-09684-6
Singer KXu YLee IHollingsworth JKeidar I(2019)Proactive work stealing for futuresProceedings of the 24th Symposium on Principles and Practice of Parallel Programming10.1145/3293883.3295735(257-271)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.1145/3293883.3295735
Tracey JJansen RGoldberg ICollberg CPeterson P(2018)High performance tor experimentation from the magic of dynamic ELFsProceedings of the 11th USENIX Conference on Cyber Security Experimentation and Test10.5555/3307412.3307422(10-10)Online publication date: 13-Aug-2018
https://dl.acm.org/doi/10.5555/3307412.3307422
Lee IBoyd-Wickizer SHuang ZLeiserson CSalapura VGschwind MKnoop J(2010)Using memory mapping to support cactus stacks in work-stealing runtime systemsProceedings of the 19th international conference on Parallel architectures and compilation techniques10.1145/1854273.1854324(411-420)Online publication date: 11-Sep-2010
https://dl.acm.org/doi/10.1145/1854273.1854324
Agrawal KLee ISukha Jauf der Heide FPhillips C(2010)Brief announcementProceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures10.1145/1810479.1810517(186-188)Online publication date: 13-Jun-2010
https://dl.acm.org/doi/10.1145/1810479.1810517
Hiraishi TYasugi MUmatani SYuasa T(2009)Backtracking-based load balancingACM SIGPLAN Notices10.1145/1594835.150418744:4(55-64)Online publication date: 14-Feb-2009
https://dl.acm.org/doi/10.1145/1594835.1504187
Hiraishi TYasugi MUmatani SYuasa TReed DSarkar V(2009)Backtracking-based load balancingProceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming10.1145/1504176.1504187(55-64)Online publication date: 14-Feb-2009
https://dl.acm.org/doi/10.1145/1504176.1504187
Fluet MRainey MReppy JHook JThiemann P(2008)A scheduling framework for general-purpose parallel languagesProceedings of the 13th ACM SIGPLAN international conference on Functional programming10.1145/1411204.1411239(241-252)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411204.1411239
Fluet MRainey MReppy J(2008)A scheduling framework for general-purpose parallel languagesACM SIGPLAN Notices10.1145/1411203.141123943:9(241-252)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411203.1411239
Fluet MFord NRainey MReppy JShaw AXiao YRusso CDreyer D(2007)Status reportProceedings of the 2007 workshop on Workshop on ML10.1145/1292535.1292539(15-24)Online publication date: 2-Oct-2007
https://dl.acm.org/doi/10.1145/1292535.1292539
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Abstraction refinement for termination

Transition predicate abstraction and fair termination

Transition predicate abstraction and fair termination

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations