Algorithms, concurrency, and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings
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 fr...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
1023 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algorithms, concurrency, and knowledge, 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, proceedings, Kanchana Kanchanasut, Jean-Jacques Lévy, eds, Berlin, Springer, 1995, 1 vol. (X-410 p.), Lecture notes in computer science, 3-540-60688-2 • Algorithms, Concurrency and Knowledge, Texte imprimé, 9783662210741 |
| LEADER | 04964nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944436 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155188143 | ||
| 020 | |a 9783540492627 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1 | ||
| 111 | 2 | |a Asian Computing Science Conference |n (01 |d :1995 |c :Pathumthani, Thailande). | |
| 245 | 1 | 0 | |a Algorithms, concurrency, and knowledge : |b 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings |c [edited by] Kanchana Kanchanasut, Jean-Jacques Lévy. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1023 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Leapfrogging samplesort -- Spanning 2-trees -- Minimal linear invariants -- Parallel maximal matching on minimal vertex series parallel digraphs -- Efficient equality-testing and updating of sets -- Binary space partitions for sets of hyperrectangles -- Transformation of orthogonal term rewriting systems -- An automaton-driven frame disposal algorithm and its proof of correctness -- Labeled ?-calculus and a generalised notion of strictness -- Preemption primitives in reactive languages -- Multi-action process algebra -- Complexity as a basis for comparing semantic models of concurrency -- Combinatory formulations of concurrent languages -- Constraints for free in concurrent computation -- Formalizing inductive proofs of message recovery in distributed systems -- Detecting distributed termination in the presence of node failure -- An extended gradient model for NUMA multiprocessor systems -- Efficient parallel permutation-based range-join algorithms on mesh-connected computers -- Pipelined band join in shared-nothing systems -- Inductive logic programming based on genetic algorithm -- The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution -- Probabilistic logic programming and Bayesian networks -- Deriving and applying logic program transformers -- Performance of a data-parallel concurrent constraint programming system -- Formalizing inductive proofs of network algorithms -- TROM An object model for reactive system development -- Duration calculus specification of scheduling for tasks with shared resources -- Trace specifications of non-deterministic multi-object modules -- ESP-MC: An experiment in the use of verification tools. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Représentation des connaissances | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Kanchanasut, Kanchana, |d 1951- |4 pbd | |
| 700 | 1 | |a Lévy, Jean-Jacques, |d 1947-...., |c mathématicien. |4 pbd | |
| 776 | 0 | |0 024668400 |t Algorithms, concurrency, and knowledge |o 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 |o proceedings |f Kanchana Kanchanasut, Jean-Jacques Lévy, eds |c Berlin |n Springer |d 1995 |p 1 vol. (X-410 p.) |s Lecture notes in computer science |z 3-540-60688-2 | |
| 776 | 0 | |t Algorithms, Concurrency and Knowledge |b Texte imprimé |z 9783662210741 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60688-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-QLBKGQ35-9 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747919631 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60688-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932163 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60688-2 |z Accès INSA CVL | |
| 997 | |0 944436 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||