Author: "Taft, S." - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Taft, S."' showing total 376 results

Start Over Author "Taft, S."

376 results on '"Taft, S."'

1. Sound and precise static analysis using a generalization of static single assignment and value numbering

Author: Taft, S. Tucker
Published: 2024
Full Text: View/download PDF

2. ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations

Author: Taft, S. Tucker
Subjects: Computer Science - Programming Languages
Abstract: ParaSail is a language specifically designed to simplify the construction of programs that make full, safe use of parallel hardware even while manipulating potentially irregular data structures. As parallel hardware has proliferated, there has been an urgent need for languages that ease the writing of correct parallel programs. ParaSail achieves these goals largely through simplification of the language, rather than by adding numerous rules. In particular, ParaSail eliminates global variables, parameter aliasing, and most significantly, re-assignable pointers. ParaSail has adopted a pointer-free approach to defining complex data structures. Rather than using pointers, ParaSail supports flexible data structuring using expandable (and shrinkable) objects implemented using region-based storage management, along with generalized indexing. By eliminating global variables, parameter aliasing, and pointers, ParaSail reduces the complexity for the programmer, while still allowing ParaSail to provide flexible, pervasive, safe, parallel programming for irregular computations. Perhaps the most interesting discovery in this language development effort, based on over six years of use by the author and a group of ParaSail users, has been that it is possible to simultaneously simplify the language, support parallel programming with advanced data structures, and maintain flexibility and efficiency.
Published: 2019
Full Text: View/download PDF

3. Industrialization and food safety for the Tsleil-Waututh Nation: An analysis of chemical levels in shellfish in Burrard Inlet

Author: Andrade-Rivas, F., Afshari, R., Yassi, A., Mardani, A., Taft, S., Guttmann, M., Rao, A.S., Thomas, S., Takaro, T., and Spiegel, J.M.
Published: 2022
Full Text: View/download PDF

4. A unique metal-semiconductor interface and resultant electron transfer phenomenon

Author: Taft, S. L.
Subjects: Condensed Matter - Materials Science
Abstract: An unusual electron transfer phenomenon has been identified from an n-type semiconductor to Schottky metal particles, the result of a unique metal semiconductor interface that results when the metal particles are grown from the semiconductor substrate. The unique interface acts as a one-way (rectifying) open gateway and was first identified in reduced rutile polycrystalline titanium dioxide (an n-type semiconductor) to Group VIII (noble) metal particles. The interface significantly affects the Schottky barrier height resulting in electron transfer to the metal particles from the reduced rutile titanium dioxide (TiO2) based on their respective work functions. The result is a negative charge on the metal particles which is of sufficient magnitude and duration to provide cathodic protection of the metal particles from surface oxidation., Comment: 11 pages, 7 figures, 5 tables
Published: 2012

5. Packages

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

6. Tasks and Synchronization

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

7. Visibility Rules

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

8. Subprograms

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

9. Declarations and Types

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

10. General

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

11. Names and Expressions

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

12. Generic Units

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

13. Lexical Elements

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

14. Exceptions

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

15. Representation Issues

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

16. Program Structure and Compilation Issues

Author: Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Schonberg, Edmond, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, editor, Duff, Robert A., editor, Brukardt, Randall L., editor, Ploedereder, Erhard, editor, Leroy, Pascal, editor, and Schonberg, Edmond, editor
Published: 2013
Full Text: View/download PDF

17. An Execution Model for Fine-Grained Parallelism in Ada

Author: Pinho, Luís Miguel, Moore, Brad, Michell, Stephen, Tucker Taft, S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, de la Puente, Juan Antonio, editor, and Vardanega, Tullio, editor
Published: 2015
Full Text: View/download PDF

18. Annex P (informative): Syntax Summary

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

19. Annex Q (informative): Language-Defined Entities

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

20. Annex M (informative): Summary of Documentation Requirements

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

21. Annex K (informative): Language-Defined Attributes

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

22. Annex N (informative): Glossary

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

23. Annex J (normative): Obsolescent Features

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

24. Annex C (normative): Systems Programming

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

25. Annex H (normative): High Integrity Systems

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

26. Annex E (normative): Distributed Systems

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

27. Annex F (normative): Information Systems

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

28. Annex D (normative): Real-Time Systems

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

29. Annex G (normative): Numerics

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

30. Section 8: Visibility Rules

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

31. Annex A (normative): Predefined Language Environment

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

32. Annex B (normative): Interface to Other Languages

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

33. Section 9: Tasks and Synchronization

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

34. Section 11: Exceptions

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

35. Section 3: Declarations and Types

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

36. Section 5: Statements

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

37. Section 6: Subprograms

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

38. Section 4: Names and Expressions

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

39. Section 7: Packages

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

40. Section 1: General

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

41. Section 2: Lexical Elements

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

42. Section 12: Generic Units

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

43. Section 10: Program Structure and Compilation Issues

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

44. Section 13: Representation Issues

Author: Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, Leroy, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Taft, S. Tucker, Duff, Robert A., Brukardt, Randall L., Ploedereder, Erhard, and Leroy, Pascal
Published: 2006
Full Text: View/download PDF

45. Rigorous Pattern Matching as a Language Feature

Author: Taft, S. Tucker, primary
Published: 2023
Full Text: View/download PDF

46. Multicore Programming in ParaSail : Parallel Specification and Implementation Language

Author: Taft, S. Tucker, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Romanovsky, Alexander, editor, and Vardanega, Tullio, editor
Published: 2011
Full Text: View/download PDF

47. Defining a Pattern Matching Language Feature for Ada

Author: Taft, S. Tucker, primary, Baird, Stephen, additional, and Dross, Claire, additional
Published: 2022
Full Text: View/download PDF

48. A Work-Stealing Scheduler for Ada 2022, in Ada

Author: Taft, S Tucker, primary
Published: 2022
Full Text: View/download PDF

49. Supporting Deadlines and EDF Scheduling in Ada

Author: Burns, Alan, Wellings, Andy J., Taft, S. Tucker, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Llamosí, Albert, editor, and Strohmeier, Alfred, editor
Published: 2004
Full Text: View/download PDF

50. Ectoparasitic insects from migrating saw-whet owls (Aegolius acadicus) in Central Wisconsin

Author: Taft, S J, Kerstner, C D, and BioStor
Published: 2000

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Region

Database

Publisher

376 results on '"Taft, S."'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources