Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings
Springer Science & Business Media, 28.11.1995 - 410 Seiten
This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995.
The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.
Was andere dazu sagen - Rezension schreiben
Es wurden keine Rezensionen gefunden.
Andere Ausgaben - Alle anzeigen
A-calculus Abstract access-program actions algorithm application arguments atoms basic message Bayesian networks binary binary space partition bisimulation calculus cell channel Computer Science concurrent condition constraint constraint programming constructed defined Definition denote duration calculus EA(F edge equivalence ESTEREL event structures example execution finite formal formula function functional programs given gradient model graph Hamiltonian cycle horn clause hyperrectangles hypothesis idle implementation induction join labeled language Lemma load balancing loaded processor logic programs minimal linear invariants model checker module multi-actions node nondeterministic derivation normal form objects operational semantics operator paper parallel partition tree performance priority inversions probabilistic probabilistic logic probe problem Proceedings process term processor elements proof prove Quicksort range-join recursive relation represent rules Section semantics sequence sequential SIMD spanning 2-tree spanning tree specification subset subsumption theorem subterms task templates trace-module transformation transition systems tuples variables vertex voxel