A parallel logic programming system based on BaLinda Lisp : an implementation of flat guarded horn clasues /

A parallel logic programming system based on BaLinda Lisp : an implementation of flat guarded horn clasues /

Saved in:

書目詳細資料
主要作者:	Li, Zhenpeng
格式:	Thesis 圖書
語言:	English
出版:	1996.
主題:	Parallel programming (Computer science) Logic programming. LISP (Computer program language)
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

A parallel lisp system /
由: Wong, Weng Fai
出版: (1991)

Design and emulation of a parallel data-driven lisp machine /
由: Yee, Jenn Jong
出版: (1992)

The implementation of BaLinda C and C++ for sun systems /
由: Wang, Qun
出版: (1997)

A transputer-based implementation for parallel LISP applications /
由: Feng, Ming Dong
出版: (1991)

Compilation and run-time environment of parallel Lisp on distributed systems /
由: Feng, Ming Dong
出版: (1994)

The implementation of BaLinda Fortran on multithread-based workstation /
由: Shi, Hao
出版: (1995)

The implementation and optimization of an experimental LISP interpreter for a small computer /
由: Steele, David J.
出版: (1992)

The implementation of Balinda C++ on a linked PC system /
由: Wang, Haichen
出版: (1999)

The implementation of Balinda pascal on a multithreading system /
由: Lin, Wei
出版: (1995)

Topology-aware hypergraph based approach to optimize scheduling of parallel applications onto distributed parallel architectures
由: Koohi, Sina Zangbari
出版: (2020)

Implementation of MPI in Python and comparison with other parallel programming techniques
由: Zulkifli, Asmaliza
出版: (2015)

An approach to distributed functional programming /
由: Arun Kumar C. B.
出版: (1996)

Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari
由: Ramli, Suzaimah
出版: (2002)

Parallel simulation algorithms and performance analysis /
由: Tay, Seng Chuan
出版: (1998)

A high-order logic for object-oriented logic programming /
由: Wee, Boon Tun
出版: (1998)

Parallel Block Methods for Solving Ordinary Differential Equations
由: Abdul Majid, Zanariah
出版: (2004)

Logic mining in neural networks /
由: Saratha Sathasivam
出版: (2006)

An object-based concurrent language ABCL/1 on transputers /
由: Lai, Siet Leng
出版: (1992)

An approach to modelling and simulating multithreaded schedulers for divide and conquer problems on multicore architecture /
由: Al-Obaidi, Alaa Mohammed Ali Wadi

Query proof structure caching for incremental evaluation of tabled PROLOG programs /
由: Ali, Taher Muhammad
出版: (2013)

An online hotel search system using fuzzy logic (OHSeS) / Siti Nur Hakima Mohamed
由: Mohamed, Siti Nur Hakima
出版: (2014)

A parallel distributed Javaspaces implementation of RSA public key factorization using quadratic sieve /
由: Lau, Khek Hooi
出版: (2003)

Visualization of heart model in a homogeneous cluster environment /
由: Lai, Chew Ping
出版: (2011)

Cellular automation for efficient impulse noise removal and edge detection using graphic processor unit
由: Jalalian, Afsaneh
出版: (2010)

Extending a word processor for a literate programming system /
由: Lim, Peng Heng
出版: (1997)

Novices learning to understand programs : an analysis of the benefits of performing explicit transformation of program code into alternative, diagrammatic form /
由: Rukaini Haji Abdullah
出版: (2001)

Prototype for program analysis /
由: Loo, Poh Kok
出版: (1995)

Development of a robot teaching system using virtual reality technology /
由: Yap, Hwa Jen
出版: (2005)

Sigma - a bahasa Malaysia question - answering system /
由: Siti Salwah Salim
出版: (1989)

Parallel block methods for solving higher order ordinary differential equations directly
由: Omar, Zurni
出版: (1999)

Modeling a problem solving approach through computational thinking for teaching programming /
由: Tareq, Zebel Al
出版: (2021)

High-speed shortest path co-processor design /
由: Suraya Abu Bakar
出版: (2010)

Design and implementation of a new compositional facility for concurrent processes /
由: Chen, Yanping
出版: (1995)

Evolutionary cost-cognizant regression test case prioritization for object-oriented programs
由: Bello, AbdulKarim
出版: (2019)

Redefining architecture of game engines through utilization of concurrency /
由: Mohebali, Ali
出版: (2012)

Design and analysis of 4 degrees of freedom parallel manipulator /
由: Sameh Farag Mohamed Ghobashi
出版: (2003)

Legal protection for computer programs under the United Kingdom, Malaysian and Singaporean legislations /
由: Puteri Nemie Jahn Kassim
出版: (1994)

Consistency techniques for linear arithmetic and functional constraints /
由: Zhang, Yuanlin
出版: (1998)

Multiprogramming on small computer /
由: Faust, Robert Samuel
出版: (1969)

Evolutionary Programming (EP) based optimization technique for voltage stability improvement using reactive power dispatch / Mohd Idris Abdul Rahman
由: Abdul Rahman, Mohd Idris
出版: (2004)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group