E-LIB Suche - Ergebnisse für: Heumann, Stephen T.

1

Region and effect inference for safe parallelism:

Tzannes, Alexandros ; Heumann, Stephen T. ; Eloussi, Lamyaa...
Automated Software Engineering. 26 (2019) 2 - p. 463-509 , 2019

Link: https://doi.org/10.1007/..

2

Region and effect inference for safe parallelism:

, In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering,

Tzannes, Alexandros ; Heumann, Stephen T. ; Eloussi, Lamyaa... - p. 512-523 , 2015

Link: https://dl.acm.org/doi/1..

3

The tasks with effects model for safe concurrency:

, In: Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming,

Heumann, Stephen T. ; Adve, Vikram S. ; Wang, Shengjie - p. 239-250 , 2013

Link: https://dl.acm.org/doi/1..

4

The tasks with effects model for safe concurrency:

Heumann, Stephen T. ; Adve, Vikram S. ; Wang, Shengjie
ACM SIGPLAN Notices. 48 (2013) 8 - p. 239-250 , 2013

Link: https://doi.org/10.1145/..

5

Cutaneous CD30+ Mycosis Fungoides: Response to Rotational T..:

Heumann, T.R. ; Danish, H. ; Switchenko, J....
International Journal of Radiation Oncology*Biology*Physics. 93 (2015) 3 - p. E452 , 2015

Link: https://doi.org/10.1016/..

6

Disciplined concurrent programming using tasks with effects:

, In: Proceedings of the 4th USENIX conference on Hot Topics in Parallelism,

Heumann, Stephen ; Adve, Vikram - p. 7 ff. , 2012

Link: https://dl.acm.org/doi/1..

7

Safe nondeterminism in a deterministic-by-default parallel ..:

, In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Bocchino Jr., Robert L. ; Heumann, Stephen ; Honarmand, Nima... - p. 535-548 , 2011

Link: https://dl.acm.org/doi/1..

8

Safe nondeterminism in a deterministic-by-default parallel ..:

Bocchino Jr., Robert L. ; Heumann, Stephen ; Honarmand, Nima...
ACM SIGPLAN Notices. 46 (2011) 1 - p. 535-548 , 2011

Link: https://doi.org/10.1145/..

9

A type and effect system for deterministic parallel Java:

Bocchino Jr., Robert L. ; Adve, Vikram S. ; Dig, Danny...
ACM SIGPLAN Notices. 44 (2009) 10 - p. 97-116 , 2009

Link: https://doi.org/10.1145/..

10

A type and effect system for deterministic parallel Java:

, In: Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications,

Bocchino Jr., Robert L. ; Adve, Vikram S. ; Dig, Danny... - p. 97-116 , 2009

Link: https://dl.acm.org/doi/1..

11

Periportal Cuffing in Inflammatory Bowel Diseases: Mystery ..:

Neesse, A. ; Heumann, T. ; Görg, C....
Inflammatory Bowel Diseases. 16 (2010) 8 - p. 1275-1276 , 2010

Link: https://doi.org/10.1002/..

12

Determination of vacancy jump frequency ratios and correlat..:

Hagenschulte, H ; Heumann, T
Journal of Physics: Condensed Matter. 1 (1989) 23 - p. 3601-3614 , 1989

Link: https://doi.org/10.1088/..

13

Diffusion, correlation effects and jump frequency ratios in..:

Heumann, T
Journal of Physics F: Metal Physics. 9 (1979) 10 - p. 1997-2010 , 1979

Link: https://doi.org/10.1088/..

14

Über stroinspanuungskurven in ionisierten flammengasen:

Heumann, T
Spectrochimica Acta. 1 (1940) 4 - p. 293-318 , 1940

Link: https://doi.org/10.1016/..

15

Contributors:

, In: Clinical Immuno-Oncology,

Agarwal, Parul ; Balachandran, Vinod P. ; Bonifant, Challice L.... - p. v-viii , 2024

Link: https://doi.org/10.1016/..