the verification problem for probabilistic concurrent finite-state program is to decide whether such a program satisfies its linear temporal logic specification. An automata-theoretic approach is described whereby pro...
详细信息
ISBN:
(纸本)0818606444
the verification problem for probabilistic concurrent finite-state program is to decide whether such a program satisfies its linear temporal logic specification. An automata-theoretic approach is described whereby probabilistic quantification over sets of computation is reduced to standard quantification over individual computations. Using new determinization construction for omega -automata, the author improves the time complexity of the algorithm by two exponentials. the time complexity of the final algorithm is polynomial in the size of the program and doubly exponential in the size of the specification.
logic programming is a mathematical formalism capable of expressing certain classes of problems in a non-procedural manner. Furthermore, logic programs do not presuppose a von Neumann computer architecture and are the...
详细信息
ISBN:
(纸本)0818605383
logic programming is a mathematical formalism capable of expressing certain classes of problems in a non-procedural manner. Furthermore, logic programs do not presuppose a von Neumann computer architecture and are therefore inherently well suited to parallel computations. In this paper we consider a data-driven model for interpreting logic programs and investigate the architectural requirements necessary to support its implementation. It will be shown that the model is capable of exploiting the capabilities of highly-parallel dataflow architectures.
the main contribution of this paper is the design of a hardware sorter. this sorter is configured as a balanced, fixed binary tree of node units;the configuration of the sorter is independent of the length of data to ...
详细信息
the design of a modular crossbar network that can be used to support a multiprocessor is reviewed in this paper. the network is viewed at a functional level and the objectives, motivations and resultant design decisio...
详细信息
there has been considerable study of the tradeoff between improved reliability and additional hardware. An alternative is to trade speed for improved reliability, as in alternating logic, which is based on the success...
详细信息
Many people have suggested adding scanning logic to a rotating memory system, such as disk or shift registers, to allow faster execution of database operations. Most of these have been concerned with producing a form ...
详细信息
One effective way to exploit decreasing hardware costs is to build processors tailored to highly specialized tasks. Our experience withthe specification, design and programming of a hardware realization of a terminal...
An approach to the synthesis of correct mlcroprograms is to use the methodologies that have been beneficial in the generation of correct programs, i.e., structured programming, high-level languages, and formal program...
详细信息
A particular, dynamically microprogrammed computer (proposed by Tucker and Flynn in Commun. of acm, April 1971) is considered with respect to main memory and micro-memory utilization. A dependency is shown between mem...
详细信息
In the first part, motivation is presented for a study of Ternary computers using emulation. Areas of interest and goals of evaluation are briefly *** the second part, a representation of balanced ternary numbers is p...
详细信息
暂无评论