Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- articleMay 1995
Parallelism in Lisp
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume VIII, Issue 2May-Aug., 1995, Pages 1–14https://doi.org/10.1145/224133.224134Maybe not as hot a topic in computer architecture as it used to be, but still of considerable interest, is parallelism. How do you make a faster computer? Just strap 20 or 200 or 2000 processors together? As we have learned, the architectural and ...
- articleJuly 1994
Analyzing stores and references in a parallel symbolic language
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume VII, Issue 3July-Sept. 1994, Pages 294–305https://doi.org/10.1145/182590.182493We describe an analysis of a parallel language in which processes communicate via first-class mutable shared locations. The sequential core of the language defines a higher-order strict functional language with list data structures. The parallel ...
Also Published in:
LFP '94: Proceedings of the 1994 ACM conference on LISP and functional programming: ISBN 0897916433, July 1994 - articleJuly 1994
Complete proof systems for algebraic simply-typed terms
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume VII, Issue 3July-Sept. 1994, Pages 220–226https://doi.org/10.1145/182590.182482We show that reasoning by case analysis (on whether subprograms diverge or converge) is complete for proving PCF observational congruences of algebraic terms. The latter are applicative combinations of first-order variables and a constant Ω denoting a ...
Also Published in:
LFP '94: Proceedings of the 1994 ACM conference on LISP and functional programming: ISBN 0897916433, July 1994 - articleJuly 1994
Using the run-time sizes of data structures to guide parallel-thread creation
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume VII, Issue 3July-Sept. 1994, Pages 79–90https://doi.org/10.1145/182590.182442Dynamic granularity estimation is a new technique for automatically identifying expressions in functional languages for parallel evaluation. Expressions with little computation relative to thread-creation costs should evaluate sequentially for maximum ...
Also Published in:
LFP '94: Proceedings of the 1994 ACM conference on LISP and functional programming: ISBN 0897916433, July 1994 - articleJanuary 1994
Towards an OMG IDL mapping for Common Lisp
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume VII, Issue 1-2Jan.-March/April-June 1994, Pages 2–5https://doi.org/10.1145/192590.192594The Object Management Group (OMG*) is adopting a set of standards for distributed computing, including multiple programming language bindings to the Interface Definition Language (OMG IDL). This paper explains the need for an OMG IDL mapping to Common ...
- articleJuly 1993
Practicing AI with the portable AI lab
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume VI, Issue 3July-Sept 1993, Pages 44–53https://doi.org/10.1145/174169.174179The Portable Al Lab (PAIL) is an integrated collection of modules implementing established Al tools and techniques intended for use as a resource for teaching or learning artificial intelligence (Al). to well illustrated Al concepts by providing a set ...
Also Published in:
LUV '93: Proceedings of the third international conference on Lisp users and vendors: ISBN 9781450377928, August 1993 - articleJuly 1993
An experimental toolbox for advanced interactive learning environments
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume VI, Issue 3July-Sept 1993, Pages 15–19https://doi.org/10.1145/174169.174173The design of educational software has evolved during three decades, reflecting technical advances and changes in theories of instruction. In this project, we implemented some features of advanced interactive learning environments (ILEs): the ...
Also Published in:
LUV '93: Proceedings of the third international conference on Lisp users and vendors: ISBN 9781450377928, August 1993 - articleOctober 1992
- articleAugust 1992
Lisp and portability: the process modeling system
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume VI, Issue 2April-June 1993, Pages 49–56https://doi.org/10.1145/174186.174193A primary mission of the Technology Modeling and Assessment group (A-7) of the Analysis Division of Los Alamos National Laboratory is to support the Department of Energy in performing analysis of both existing and future facilities that comprise the ...
Also Published in:
LUV '92: Proceedings of the 1992 conference on Lisp users and vendors: ISBN 9781450377911, August 1992 - articleAugust 1992
Supporting complex flight scheduling tasks using CLOS and Statice
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume VI, Issue 2April-June 1993, Pages 23–32https://doi.org/10.1145/174186.174190In the context of the actual trends towards downsizing and client-server architectures, new opportunities and also new requirements to integrate innovative solutions into conventional environments arise. In the future workstations will not just handle ...
Also Published in:
LUV '92: Proceedings of the 1992 conference on Lisp users and vendors: ISBN 9781450377911, August 1992 - articleAugust 1992
Using *this-method* to plan and execute tasks in CLOS
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume V, Issue 3July-Sept. 1992, Pages 3–12https://doi.org/10.1145/147135.147136Advanced supervised/autonomous robotic systems may be characterized as large and long lived software environments, distributed over a large number of mechanical and computer subsystems. Appropriate hierarchical representations of such robotic systems ...
- articleJanuary 1992
A foundation for an efficient multi-threaded scheme system
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume V, Issue 1Jan. 1992, Pages 345–357https://doi.org/10.1145/141478.141573We have built a parallel dialect of Scheme called STING that differs from its contemporaries in a number of important respects. STING is intended to be used as an operating system substrate for modern parallel programming languages.
The basic ...
Also Published in:
LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming: ISBN 0897914813, January 1992 - articleJanuary 1992
Fast parallel implementation of lazy languages—the EQUALS experience
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume V, Issue 1Jan. 1992, Pages 335–344https://doi.org/10.1145/141478.141570This paper describes EQUALS, a fast parallel implementation of a lazy functional language on a commercially available shared-memory parallel machine, the Sequent Symmetry. In contrast to previous implementations, we detect parallelism automatically by ...
Also Published in:
LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming: ISBN 0897914813, January 1992 - articleJanuary 1992
Dynamic program parallelization
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume V, Issue 1Jan. 1992, Pages 311–323https://doi.org/10.1145/141478.141567Static program analysis limits the performance improvements possible from compile-time parallelization. Dynamic program parallelization shifts a portion of the analysis from complie-time to run-time, thereby enabling optimizations whose static ...
Also Published in:
LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming: ISBN 0897914813, January 1992 - articleApril 1991
DMG—object-oriented iterative knowledge acquisition for the generation of diagnostic hypertext systems
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume IV, Issue 2April/June 1991, Pages 24–30https://doi.org/10.1145/121983.121986DMG is a development environment for building diagnostics applications of electrical equipment. Knowledge contained in an equipment model is compiled into a decision-tree like diagnostic logic, which is then used visually to pinpoint deficiencies in the ...
- research-articleApril 1987
Minimizing paging in Lisp applications
ACM SIGPLAN Lisp Pointers (SIGPLAN-LISPPOINTERS), Volume 1, Issue 1April-May 1987, Pages 13–23https://doi.org/10.1145/1862396.1862398Paging is an important aspect of performance in any program and can be the overriding consideration in a large system. When developing large applications, the programmer should be as aware of paging overhead as he is of runtime overhead. The programmer ...