Results 1 - 10
of
29
A Lisp-language Mathematica-to-Lisp Translator
- 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
- 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
- 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
"... 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
, 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
- 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
- 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
- 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
- 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
, 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
Results 1 - 10
of
29