E-LIB Suche - Ergebnisse für: Taft, S. Tucker

1

Rigorous Pattern Matching as a Language Feature:

Taft, S. Tucker
ACM SIGAda Ada Letters. 42 (2023) 2 - p. 69-74 , 2023

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

2

A Work-Stealing Scheduler for Ada 2022, in Ada:

Taft, S Tucker
ACM SIGAda Ada Letters. 42 (2022) 1 - p. 80-80 , 2022

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

3

Defining a Pattern Matching Language Feature for Ada:

Taft, S. Tucker ; Baird, Stephen ; Dross, Claire
ACM SIGAda Ada Letters. 42 (2022) 1 - p. 79-79 , 2022

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

4

A Layered Mapping of Ada 202X to OpenMP:

Taft, S. Tucker
ACM SIGAda Ada Letters. 40 (2021) 2 - p. 55-58 , 2021

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

5

A Layered Mapping of Ada 202X to OpenMP:

Taft, S. Tucker
ACM SIGAda Ada Letters. 40 (2021) 2 - p. 55-58 , 2021

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

6

Language support for parallel and distributed computing:

Chard, Kyle ; Muns, James ; Wai, Richard.
ACM SIGAda Ada Letters. 40 (2021) 2 - p. 51-54 , 2021

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

7

Language support for parallel and distributed computing:

Chard, Kyle ; Muns, James ; Wai, Richard.
ACM SIGAda Ada Letters. 40 (2021) 2 - p. 51-54 , 2021

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

8

Building Trust in a Model-Based Automatic Code Generator:

Taft, S. Tucker ; Richa, Elie ; Toom, Andres
ACM SIGAda Ada Letters. 36 (2017) 2 - p. 54-57 , 2017

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

9

Building Trust in a Model-Based Automatic Code Generator:

Taft, S. Tucker ; Richa, Elie ; Toom, Andres
ACM SIGAda Ada Letters. 36 (2017) 2 - p. 54-57 , 2017

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

10

Real-Time Fine-Grained Parallelism in Ada:

Pinho, Luís Miguel ; Moore, Brad ; Michell, Stephen.
ACM SIGAda Ada Letters. 35 (2015) 1 - p. 46-58 , 2015

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

11

Real-Time Fine-Grained Parallelism in Ada:

Pinho, Luís Miguel ; Moore, Brad ; Michell, Stephen.
ACM SIGAda Ada Letters. 35 (2015) 1 - p. 46-58 , 2015

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

12

Panel summary: finding safety in numbers: new languages for..:

Bocchino, Robert ; Matsakis, Nicholas ; Taft, S. Tucker..
ACM SIGAda Ada Letters. 34 (2014) 3 - p. 105-106 , 2014

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

13

Safe parallel programming in ada with language extensions:

Taft, S. Tucker ; Moore, Brad ; Pinho, Luís Miguel.
ACM SIGAda Ada Letters. 34 (2014) 3 - p. 87-96 , 2014

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

14

Ada 83 to Ada 2012 : lessons learned over 30 years of la..:

, In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology,

Barnes, John ; Taft, S. Tucker - p. 3-4 , 2014

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

15

Safe parallel programming in ada with language extensions:

, In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology,

Taft, S. Tucker ; Moore, Brad ; Pinho, Luís Miguel. - p. 87-96 , 2014

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