Search

Your search keyword '"Lindstrom, Gary"' showing total 115 results
Start Over Author "Lindstrom, Gary"
115 results on '"Lindstrom, Gary"'

1. Model Checking Real Time Java Using Java PathFinder

Author

Lindstrom, Gary, Mehlitz, Peter C., Visser, Willem, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Peled, Doron A., editor, and Tsay, Yih-Kuen, editor

Published
2005
Full Text
View/download PDF

2. Memory-Model-Sensitive Data Race Analysis

Author

Yang, Yue, Gopalakrishnan, Ganesh, Lindstrom, Gary, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Davies, Jim, editor, Schulte, Wolfram, editor, and Barnett, Mike, editor

Published
2004
Full Text
View/download PDF

12. DISEMINER : a distributional-semantics inference maker

Author

Klein, Sheldon, Lieman, Stephen L., and Lindstrom, Gary

Subjects
FOS: Computer and information sciences, ComputingMilieux_COMPUTERSANDEDUCATION, 89999 Information and Computing Sciences not elsewhere classified, ComputingMilieux_MISCELLANEOUS
Abstract

Computer Science Department

Published
2018
Full Text
View/download PDF

13. Ada as a hardware description language : an initial report

Author

Barbacci, Mario R., Grout, Steve, Lindstrom, Gary, and Maloney, Michael Patrick.

Subjects
FOS: Computer and information sciences, ComputingMilieux_COMPUTERSANDEDUCATION, 89999 Information and Computing Sciences not elsewhere classified, ComputingMilieux_MISCELLANEOUS
Abstract

Computer Science Department

Published
2018
Full Text
View/download PDF

14. Implementing logical variables on a graph reduction architecture

Author

Lindstrom, Gary, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Fasel, Joseph H., editor, and Keller, Robert M., editor

Published
1987
Full Text
View/download PDF

15. Generating efficient code from strictness annotations

Author

Lindstrom, Gary, George, Lal, Yeh, Dowming, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Ehrig, Hartmut, editor, Kowalski, Robert, editor, Levi, Giorgio, editor, and Montanari, Ugo, editor

Published
1987
Full Text
View/download PDF

16. Static analysis of functional programs with logical variables

Author

Lindstrom, Gary, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Deransart, P., editor, Lorho, B., editor, and Małuszyński, J., editor

Published
1989
Full Text
View/download PDF

19. Copying List Structures Using Bounded Workspace.

Author

Lindstrom, Gary and Manacher, G.

Subjects
*COMPUTER algorithms, *COMPUTER programming, *GRAPH algorithms, *DATA structures, *ELECTRONIC data processing
Abstract

Two new algorithms are presented for list structure copying using bounded workspace. The first, of primarily theoretical interest, shows that without cell tag bits the task can be performed in time n². The second algorithm, assuming one tag bit in each cell, delivers attractive practical speed. Any noncyclic structure is copied in linear speed, while cyclic structures are copied in average time less than n log n. No foreknowledge of cycle absence is necessary to achieve linear speed. A variation of the second algorithm solves an open problem concerning list structure marking. That result demonstrates that marking can be done in average time n log n without the aid of supplemental tag bits or stacks. [ABSTRACT FROM AUTHOR]

Published
1974
Full Text
View/download PDF

33. Model Checking Real Time Java Using Java PathFinder.

Author

Peled, Doron A., Tsay, Yih-Kuen, Lindstrom, Gary, Mehlitz, Peter C., and Visser, Willem

Abstract

The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real time threads; user defined schedulers; asynchronous events, handlers, and control transfers; a priority inheritance based default scheduler; non-heap memory areas such as immortal and scoped, and non-heap real time threads whose execution is not impeded by garbage collection. The Robust Software Systems group at NASA Ames Research Center has Java PathFinder (JPF) under development, a Java model checker. JPF at its core is a state exploring JVM which can examine alternative paths in a Java program (e.g., via backtracking) by trying all nondeterministic choices, including thread scheduling order. This paper describes our implementation of an RTSJ profile (subset) in JPF, including requirements, design decisions, and current implementation status. Two examples are analyzed: jobs on a multiprogramming operating system, and a complex resource contention example involving autonomous vehicles crossing an intersection. The utility of JPF in finding logic and timing errors is illustrated, and the remaining challenges in supporting all of RTSJ are assessed. [ABSTRACT FROM AUTHOR]

Published
2005
Full Text
View/download PDF

35. PowerFlite vs. TorqueFlite

Author

Lindstrom, Gary

Subjects
Hobbies and crafts
Abstract

In a sidebar to Angelo Van Bogart's article on the 1955 Plymouth convertible in the Aug. 19 issue of Old Cars Weekly, he states the car's transmission is a TorqueFlite. [...]

Published
2010

36. Head over heads on overhead-cam Pontiac six

Author

Lindstrom, Gary

Subjects
Automobile industry, Automobile Industry, Hobbies and crafts
Abstract

Bill Ladroga wrote about the bad experience that he had with his overhead-cam Pontiac engine. I would like to counter with my own experience with an OHC six in a [...]

Published
2010

38. Flick

Author

Eide, Eric, primary, Frei, Kevin, additional, Ford, Bryan, additional, Lepreau, Jay, additional, and Lindstrom, Gary, additional

Published
1997
Full Text
View/download PDF

41. An application framework for module composition tools.

Author

Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Cointe, Pierre, Banavar, Guruduth, and Lindstrom, Gary

Abstract

This paper shows that class inheritance, viewed as a mechanism for composing self-referential namespaces, is a broadly applicable concept. We show that several kinds of software artifacts can be modeled as self-referential namespaces, and software tools based on a model of composition of namespaces can effectively manage these artifacts. We describe four such tools: an interpreter for compositionally modular Scheme, a compositional linker for object files, a compositional interface definition language, and a compositional document processing tool. We show that these tools benefit significantly from incorporating inheritance-based reuse. Furthermore, the implementation of these tools share much in common since they are based on the same underlying model. We describe a reusable OO framework for efficiently constructing such tools. Three of the above tools were built by directly reusing the application framework, and the fourth evolved in parallel with it. We provide reuse statistics and experiences with the development of our framework and its completions. [ABSTRACT FROM AUTHOR]

Published
1996
Full Text
View/download PDF

46. Flick.

Author

Eide, Eric, Frei, Kevin, Ford, Bryan, Lepreau, Jay, and Lindstrom, Gary

Published
1997
Full Text
View/download PDF

50. UMM: an operational memory model specification framework with integrated model checking capability.

Author

Yue Yang, Gopalakrishnan, Ganesh, and Lindstrom, Gary

Subjects
COMPUTER memory management, DISTRIBUTED shared memory, TECHNICAL specifications, JAVA programming language, COMPUTER science
Abstract

Given the complicated nature of modern shared memory systems, it is vital to have a systematic approach to specifying and analyzing memory consistency requirements. In this paper, we present the UMM specification framework, which integrates two key features to support memory model verification: (i) it employs a simple and generic memory abstraction that can capture a large collection of memory models as guarded commands with a uniform notation, and (ii) it provides built-in model checking capability to enable formal reasoning about thread behaviors. Using this framework, memory models can be specified in a parameterized style—designers can simply redefine a few bypassing rules and visibility ordering rules to obtain an executable specification of another memory model. We formalize several classical memory models, including Sequential Consistency, Coherence, and PRAM, to illustrate the general techniques of applying this framework. We then provide an alternative specification of the Java memory model, based on a proposal from Manson and Pugh, and demonstrate how to analyze Java thread semantics using model checking. We also compare our operational specification style with axiomatic specification styles and explore a mechanism that converts a memory model definition from one style to the other. Copyright © 2005 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR]

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results