The proceedings contain 14 papers. The special focus in this conference is on Implementing Automata. The topics include: WIA and the practice of theory in computer science;algorithms for guided tree automata;time seri...
ISBN:
(纸本)3540631747
The proceedings contain 14 papers. The special focus in this conference is on Implementing Automata. The topics include: WIA and the practice of theory in computer science;algorithms for guided tree automata;time series forecasting by finite-state automata;dynamical implementation of nondeterministic automata and concurrent systems;implementing WSIS via finite automata;instruction computation in subset construction;application to french data adverbials;a toolbox to manipulate finite-state automata;a new quadratic algorithm to convert a regular expression into an automaton;implementing sequential and parallel programs for the homing sequence problem;integrating hands-on work into the formal languages course via tools and programming;NFA to DFA transformation for finite languages;how to use sorting procedures to minimize DFA and FAs and REs in C++.
A constraint network is arc consistent if any value of its variables is compatible with at least one value of any other variable. Enforcing arc consistency in a constraint network is a commonly used preprocessing step...
详细信息
The proceedings contain 24 papers. The special focus in this conference is on theory and practice of parallelprogramming. The topics include: Time and information in sequential and concurrent computation;simulating g...
ISBN:
(纸本)3540591729
The proceedings contain 24 papers. The special focus in this conference is on theory and practice of parallelprogramming. The topics include: Time and information in sequential and concurrent computation;simulating guarded programs in linear logic;sharing mutable objects and controlling groups of tasks in a concurrent and distributed language;multi-threaded pailisp with granularity adaptive parallel execution;an abstract machine for scheduling fine-grain threads on stock CPUs;higher-order concurrent linear logic programming;a parallel object-oriented language OCore;concurrent objects in a process calculus;formalism for remotely interacting processes;a meta system for concurrent process calculi based on SOS;first-class synchronous operations;a performance debugger for a parallel logic programming language fleng;locality abstractions for parallel and distributed computing;an algorithm for efficient global garbage collection on massively parallel computers;advanced component interface specification;graph notation for concurrent combinators;a calculus for exploiting data parallelism on recursively defined data;the data-parallel C language NCX and its implementation strategies and programming with distributed data structure for EM-X multiprocessor.
We develop an elementary theory of process structure, a mathematical object which is intended to capture a basic aspect of concurrent processes in a simple way. It has two kinds of presentations, one underlying many e...
详细信息
We propose a parallel object-oriented language, called OCore. OCore is designed to generate efficient code especially for multi-computers. As a research vehicle for massively parallel computation models, advanced comm...
详细信息
The EM-X, a new generation of EM-4, is a distributed memory multiprocessor which has a dataflow mechanism. The dataflow mechanism enables a fine-grain communication packet through the network to invoke and synchronize...
详细信息
暂无评论