• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 29
Next 10 →

A Lisp-language Mathematica-to-Lisp Translator

by Richard J. Fateman - ACM SIGSAM Bulletin , 1921
"... Wide distribution of the computer algebra system Mathematica1 has encouraged numerous programmers, researchers and educators to produce libraries of programs in its special language, for incorporation as \packages " into Mathematica systems. Although some features of the language are quite inte ..."
Abstract - Cited by 4 (2 self) - Add to MetaCart
Wide distribution of the computer algebra system Mathematica1 has encouraged numerous programmers, researchers and educators to produce libraries of programs in its special language, for incorporation as \packages " into Mathematica systems. Although some features of the language are quite

Lisp-Stat to Java to R

by Balasubramanian Narasimhan - Journal of Statistical Software 13, Issue
"... This paper will describe my experiences in moving on from Lisp-Stat to Java to R. I was introduced to Lisp-Stat in 1989 and used it actively for teaching and research over the next 10 years. My use of Lisp-Stat culminated in a joint project with Hani Doss and I on Bayesian Sensitivity Analysis and i ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
This paper will describe my experiences in moving on from Lisp-Stat to Java to R. I was introduced to Lisp-Stat in 1989 and used it actively for teaching and research over the next 10 years. My use of Lisp-Stat culminated in a joint project with Hani Doss and I on Bayesian Sensitivity Analysis

Context-oriented software transactional memory in common lisp

by Pascal Costanza, Charlotte Herzeel - In Proceedings of the 5th symposium on Dynamic languages , 2009
"... Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched. Although some first steps exist to ease experimenting with different strategies, this still re-mains a relatively complex and cumb ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched. Although some first steps exist to ease experimenting with different strategies, this still re-mains a relatively complex

CLOS Efficiency: Instantiation On the Behavior and Performance of LISP, Part 2.1

by Didier Verna
"... This article reports the results of an ongoing experimental research on the behavior and performance of CLOS, the COMMON-LISP Object System. Our purpose is to evaluate the behavior and performance of the 3 most important characteristics of any dynamic object-oriented system: class instantiation, slo ..."
Abstract - Add to MetaCart
This article reports the results of an ongoing experimental research on the behavior and performance of CLOS, the COMMON-LISP Object System. Our purpose is to evaluate the behavior and performance of the 3 most important characteristics of any dynamic object-oriented system: class instantiation

Multilanguage Interoperability in Distributed Systems: EXPERIENCE REPORT

by Mark J. Maybee, Dennis H. Heimbigner, Leon J. Osterweil , 1996
"... The Q system provides interoperability support for multilingual, heterogeneous component-based software systems. Initial development of Q began in 1988, and was driven by the very pragmatic need for a communication mechanism between a client program written in Ada and a server written in C. The init ..."
Abstract - Cited by 34 (5 self) - Add to MetaCart
. The initial design was driven by language features present in C, but not in Ada, or vice-versa. In time our needs and aspirations grew and Q evolved to support other languages, such as C++, Lisp, and Prolog. As a result of pervasive usage by the Arcadia SDE research project, usage levels and modes of the Q

Implementing the Locator/ID Separation Protocol: Design and experience

by Luigi Iannone, Damien Saucez, Olivier Bonaventure - Computer Networks , 2011
"... During the last few years, the network research community and the industry have been working on the design of an alternate Internet Routing Archi-tecture aiming at solving the issues arising in the current architecture. It is widely accepted that applying a Locator/ID Separation paradigm would resul ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
During the last few years, the network research community and the industry have been working on the design of an alternate Internet Routing Archi-tecture aiming at solving the issues arising in the current architecture. It is widely accepted that applying a Locator/ID Separation paradigm would

Statistical Methods for Analyzing Speedup Learning Experiments

by Oren Etzioni, Ruth Etzioni - Machine Learning , 1994
"... Speedup learning systems are typically evaluated by comparing their impact on a problem solver's performance. The impact is measured by running the problem solver, before and after learning, on a sample of problems randomly drawn from some distribution. Often, the experimenter imposes a bound o ..."
Abstract - Cited by 21 (2 self) - Add to MetaCart
on the CPU time the problem solver is allowed to spend on any individual problem. Segre et al. [1991] argue that the experimenter's choice of time bound can bias the results of the experiment. To address this problem, we present statistical hypothesis tests specifically designed to analyze speedup data

The Semantics of Future and Its Use in Program Optimization

by Cormac Flanagan, Matthias Felleisen - Rice University , 1995
"... The future annotations of MultiLisp provide a simple method for taming the implicit parallelism of functional programs. Past research concerning futures has focused on implementation issues. In this paper, we present a series of operational semantics for an idealized functional language with futures ..."
Abstract - Cited by 58 (4 self) - Add to MetaCart
The future annotations of MultiLisp provide a simple method for taming the implicit parallelism of functional programs. Past research concerning futures has focused on implementation issues. In this paper, we present a series of operational semantics for an idealized functional language

Tools for Empirically Analyzing AI Programs

by Scott D. Anderson , David M. Hart, David L. Westbrook, Paul R. Cohen, Adam Carlson - IN PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE AND STATISTICS , 1995
"... The paper describes two separate but synergistic tools for running experiments on large Lisp systems such as Artificial Intelligence planning systems, by which we mean systems that produce plans and execute them in some kind of simulator. The first tool, called Clip (Common Lisp Instrumentation P ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Package), allows the researcher to define and run experiments, including experimental conditions (parameter values of the planner or simulator) and data to be collected. The data are written out to data files that can be analyzed by statistics software. The second tool, called Clasp (Common Lisp

Formal Analysis of the Remote Agent Before and After Flight

by Klaus Havelund, Mike Lowry, Seungjoon Park, Charles Pecheur, John Penix, Willem Visser, Jon L. White, Recom Technologies , 2000
"... This paper describes two separate efforts that used the SPIN model checker to verify deep space autonomy flight software. The first effort occurred at the beginning of a spiral development process and found five concurrency errors early in the design cycle that the developers acknowledge would not h ..."
Abstract - Cited by 36 (14 self) - Add to MetaCart
not have been found through testing. This effort required a substantial manual modeling effort involving both abstraction and translation from the prototype LISP code to the PROMELA language used by SPIN. This experience and others led to research to address the gap between formal method tools
Next 10 →
Results 1 - 10 of 29
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2016 The Pennsylvania State University