Filters








871 Hits in 3.9 sec

Design of a LISP-based microprocessor

Guy Lewis Steele, Gerald Jay Sussman
1980 Communications of the ACM  
controller exists and the number of processors is not known a priori.  ...  This note presents an efficient algorithm, requiring O(n log I1) message passes, for f'mding the largest (or smallest) of a set of n uniquely numbered processors arranged in a circle, in which no central  ...  The problem is to designate by consensus a unique processor from the circle.  ... 
doi:10.1145/359024.359031 fatcat:vb5wyuva5rdh3p33owv43skzla

Page 328 of Behavior Research Methods Vol. 11, Issue 2 [page]

1979 Behavior Research Methods  
F. 234 Structured F low of Control in a Laboratory Control Language SESSION IX A Microprocessor-Based Multifunction Psychopathology Laboratory: A Symposium Cromwell, R.  ...  G. 253 A Microprocessor-Based Psychopathology Laboratory: IV. Software Design SESSION X Clinical Applications Johnson, J. H., Giannctti, R. A., & Williams, T.  ... 

Industrial hardware and software verification with ACL2

Warren A. Hunt, Matt Kaufmann, J Strother Moore, Anna Slobodova
2017 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
We also wish to thank Sol Swords for helpful feedback on a draft of this paper, and to thank the many sponsors of the ACL2 group at the University of Texas at Austin, including NSF and DARPA.  ...  Thanking the individuals who led important industrial proof projects and/or contributed books or improvements used by the community would require a recapitulation of the paper, so we just thank all the  ...  While the logic of Nqthm is based on pure Lisp, the logic of ACL2 is based on the applicative subset of Common Lisp.  ... 
doi:10.1098/rsta.2015.0399 pmid:28871049 fatcat:7bdhr5s6srdrjm6aonktjsm7qq

Page 503 of Thought Vol. 61, Issue 243 [page]

1986 Thought  
EXPERT-SYSTEM SOFTWARE 503 of Lisp, Prolog, and Small Talk, have facilitated the development of expert systems.  ...  ., and software publisher Gold Hill Computers joined forces to produce a $7,000 Intel 80386-based board, the 386 Hummingboard, which enables IBM PC-XTs and ATs and compatible computers to run AI applications  ... 

Software reports

1989 Computers and Mathematics with Applications  
Because it is designed to take full advantage of the segmented architecture of the 8086 microprocessor, muLISP-87 typically executes application programs at least 3 times faster than other 8086 based LISP  ...  It includes an interactive Tutorial System which covers all the basic features of LISP plus the additional features in muLISP-87, a superbly designed and written 500 page Reference Manual, and an on-line  ... 
doi:10.1016/0898-1221(89)90233-2 fatcat:lxtax2ofe5covbrpfl65mm3gku

A Mechanized Program Verifier [chapter]

J. Strother Moore
2008 Lecture Notes in Computer Science  
Everything done in this approach is software verification since the models are runnable programs in a subset of an ANSI standard programming language (Common Lisp).  ...  I summarize the progress so far using this approach, sketch the key research challenges ahead and describe my vision of the role and shape of a useful verification system.  ...  Incompleteness Theorem [34] ; the correctness of a gate-level microprocessor design [19] ; the correctness of an operating system kernel [1] ; the correctness of an assembler, linker and loader for  ... 
doi:10.1007/978-3-540-69149-5_29 fatcat:ysnkmkzodrcczdewbagxwobuoq

Decentralized extrema-finding in circular configurations of processors

D. S. Hirschberg, J. B. Sinclair
1980 Communications of the ACM  
controller exists and the number of processors is not known a priori.  ...  This note presents an efficient algorithm, requiring O(n log I1) message passes, for f'mding the largest (or smallest) of a set of n uniquely numbered processors arranged in a circle, in which no central  ...  The problem is to designate by consensus a unique processor from the circle.  ... 
doi:10.1145/359024.359029 fatcat:6tkjsv3rr5egpjub53fj6p3zsq

Single-Threaded Objects in ACL2 [chapter]

Robert S. Boyer, J. Strother Moore
2001 Lecture Notes in Computer Science  
ACL2 is a rst-order applicative programming language based on Common Lisp.  ...  It is also a mathematical logic for which a mechanical theoremprover has been implemented in the style of the Boyer-Moore theorem prover.  ...  It is unlikely we would have done this without their convincing demonstrations of its utility in modeling realistic processors and we are very grateful for their e orts.  ... 
doi:10.1007/3-540-45587-6_3 fatcat:7kptu737ufffja3rqzcyltdx3e

Page 285 of Behavior Research Methods Vol. 15, Issue 2 [page]

1983 Behavior Research Methods  
Supermkrocomputers A final possibility that will become increasingly feasible in the next year or 2 is the supermicrocomputer based on microprocessors with 16 or more bits of address space (e.g., the 68000  ...  This type of system consists of several components: (l)a powerful computer with (2) microcode instructions that are optimized to support LISP, along with (3) a substantially enhanced LISP language and  ... 

An industrial strength theorem prover for a logic based on Common Lisp

M. Kaufmann, J.S. Moore
1997 IEEE Transactions on Software Engineering  
This paper deals primarily with how we scaled up Nqthm's logic to an "industrial strength" programming language -namely, a large applicative subset of Common Lisp -while preserving the use of total functions  ...  See the URL http://www-formal.stanford.edu/clt/ARS/ars-db.html for a data base of automated reasoning systems, including brief descriptions and links to the home pages of the systems mentioned and many  ...  We are also especially grateful to Bishop Brock for providing valuable feedback based on his heavy use of ACL2 for many months.  ... 
doi:10.1109/32.588534 fatcat:bzb42znaqrfg7jn4ybn4ptyk5y

Data communication between an expert system shell and a conventional algorithmic program with application to cam motion specification

P. P. Lin, A. J. Yang
1990 Engineering with Computers  
A program written in a LISP-based expert system shell, OPS 5, and one written in a procedural language, FORTRAN, were tested to verify the presented technique.  ...  This paper presents a simple, shell-and language-independent data communication technique between a shell and a procedural language via a concept analogous to the handshake data transmission used in microprocessors  ...  The presented communication technique is based on the concept of the handshake data transmission technique used in microprocessors.  ... 
doi:10.1007/bf01200243 fatcat:thervqz4ubaqjcvcrmak3fgtmq

The Maxc Systems

E.R. Fiala
1978 Computer  
al.4 A comparison based only upon CPU speed would show a factor of about four difference between the KAIO and KL10.  ...  A number of other computer systems7-14 are based on microprogrammable processors similar in various ways to Maxc.  ... 
doi:10.1109/c-m.1978.218184 fatcat:q5bn52bkmvgfnfpyj3fa6wfnzy

Page 505 of American Ceramic Society Bulletin Vol. 68, Issue 3 [page]

1989 American Ceramic Society Bulletin  
A prototype system of a structured design en- vironment, based upon a knowledge-based systems concept, has been developed.  ...  — Intelligent processing of RBSN Researchers at the Georgia Institute of Technology (Atlanta, GA) have designed a microprocessor-controlled nitriding system for reaction-bonded silicon nitride (RBSN) that  ... 

Advancements in Microprocessor Architecture for Ubiquitous AI—An Overview on History, Evolution, and Upcoming Challenges in AI Implementation

Fatima Hameed Khan, Muhammad Adeel Pasha, Shahid Masud
2021 Micromachines  
This paper presents an overview on the evolution of AI and how the increasing capabilities of microprocessors have fueled the adoption of AI in a plethora of application domains.  ...  In tandem with the emergence of multicore processors, ML techniques started to be embedded in a range of scenarios and applications.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/mi12060665 fatcat:edbpii37wfgnxamx76k42qldsq

Massive parallelism for artificial intelligence (extended abstract)

Luc Steels
1987 Microprocessing and Microprogramming  
Each elementary unit in these machines is itself a fairly complex microprocessor (e.g. a Motorolla 68000) with a fair amount of memory.  ...  An example of this is a concurrent Common LISP developed for the INTEL hypercube (Barber,et.al. 1986) or the BBN parallel LISP developed for the BBN Butterfly computer.  ... 
doi:10.1016/0165-6074(87)90011-1 fatcat:r7ag2bewcvhajeobqtovwhdcau
« Previous Showing results 1 — 15 out of 871 results