- Full text PDF available (11)
- This year (0)
- Last 5 years (2)
- Last 10 years (9)
Journals and Conferences
Control network programming (CNP) is a style of high-level programming created to be especially convenient for solving problems with natural graph-like representation. Showing that this goal has been achieved is the purpose of the current report. CNP solutions to four problems representative of four important problem classes are presented. Most of the… (More)
The report describes the means for dynamic control of the computation process that are available in Spider – a language for Control Network Programming.
The paper describes one of the most researched techniques in solving Constraint Satisfaction Problems (CSPs) searching which is well-suited for declarative (non-procedural) implementation in a new programming paradigm named Control Network Programming, and how this can be achieved using the tools for dynamic computation control. Some heuristics for variable… (More)
The aim of this series of two reports is to demonstrate that Control Network Programming (CNP), respectively WinSpider, can be used as an excellent environment for teaching and learning both nondeterminism and randomization. More specifically, the focus is on CNP implemented models and algorithms typically studied in courses on Computation theory and… (More)
Control network programming (CNP) is a style of high-level programming that is especially effective for solving problems that have natural graph-like representation of imperative, declarative, or mixed nature. The 'program' is often nondeterministic. The report is aimed as a concise, 'modern', and relatively self-contained introduction to the background and… (More)
The report describes the type of improved uninformed or heuristic search algorithms that are well-suited for non-procedural implementation in Control network programming, and how this can be achieved using the tools for dynamic computation control.
This report presents the general picture of how Control Network Programming can be effectively used for implementing various search strategies, both blind and informed. An interesting possibility is non-procedural solutions that can be developed for most local search algorithms. A generic solution is described for procedural
This is the second in a series of two reports presenting a comparison between the Control Network Programming language Spider and the logic programming language Prolog. Here, the focus is on juxtaposing the tools for programmer's control of the computation (inference) offered by the two languages.
A set of software modules for computer catalogues creation and use in B2B- communication field is considered. The advantages of this approach over the classic Internet-based E-commerce, the realization steps and the main functionality, which it serves, are discussed.
The paper describes the main features of the integrated environment TOST. The objective of TOST is to be used in Operating Systems, Parallel Programming and Compilers courses. It has to provide a better understanding of the studied topics. TOST is intended to give students an operating system inside view. It includes a multitasking operating system, a… (More)