Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2 5, 1996 : proceedings
This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996. The volume presents 31 revised full papers selected from a total of 169 submissions; also included are three invited papers and 14 posters. The paper...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
1179 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Concurrency and parallelism, programming, networking, and security, Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, proceedings, Joxan Jaffar, Roland H.C. Yap, eds, 1996, Berlin, Springer, 1 vol. (XIII-394 p.), Lecture notes in computer science, 3-540-62031-1 • Concurrency and Parallelism, Programming, Networking, and Security, Texte imprimé, 9783662181904 |
| LEADER | 06275nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945689 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155237330 | ||
| 020 | |a 9783540496267 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Asian Computing Science Conference |n (02 |d :1996 |c :Singapour). | |
| 245 | 1 | 0 | |a Concurrency and parallelism, programming, networking, and security : |b Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2 5, 1996 : proceedings |c [edited by] Joxan Jaffar, Roland H. C. Yap. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1179 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Randomized parallel list ranking for distributed memory multiprocesors -- Suffix arrays for multiple strings: A method for on-line multiple string searches -- Relations among parallel and sequential computation models -- The expressive power of possible-is-certain semantics -- Using stochastic methods to guide search in CLP: A preliminary report -- Backtrackable state with linear affine implication and Assumption Grammars -- Declarative debugging in constraint logic programming -- An improved logging and checkpointing scheme for recoverable distributed shared memory -- Distributed concurrency control in real-time cooperative editing systems -- Variable timestamp-based distributed deadlock detection and resolution -- Lambda-definable term rewriting systems -- Sets as anti-chains -- A typed Lambda Calculus of Objects -- Intensionality versus extensionality and Primitive Recursion -- On the bounded theories of finite trees -- Broadcasting in star graphs with Byzantine failures -- Blind threshold signatures based on discrete logarithm -- Computation of the k-error linear complexity of binary sequences with period 2n -- Symbolic rights and vouchers for access control in distributed object systems -- The heuristics for the constrained multicast routing -- On design and analysis of a new block cipher -- CHESSBOARD: A synergy of object-oriented concurrent programming and program layering -- A calculational approach to flattening nested data parallelism in functional languages -- Concurrent object-oriented programming in Tempo++ -- A universal scripting framework or Lambda: The ultimate little language -- Design and application of a light-weight persistency mechanism -- Hierarchical verification using verification diagrams -- A dynamic evolution for the specifications of distributed systems.-Formal verification and evaluation of execution time in the envelope theory -- Design of controllers for linear hybrid systems -- Checking linear duration invariants by linear programming -- Conjunctive vector representations for set valued feature descriptions -- Constructive negation in definite constraint logic programs -- Multilevel master-slave parallel programming models -- Improving the X.509 protocol for ATM networks -- InterMUD communications (IMC) protocol with extensions to VRMLise MultiUser Domains (MUDs) -- ALPS-HI: An annotated logic programming system with hypothetical implications -- Constructing more relevant models -- Formal analysis for continuous systems controlled by programs -- Implementation tuning of a dataflow language on a stock parallel machine with visualization tools -- Overall system for secure wireless mobile networks -- Materialized view adaptation in distributed databases -- Coupling object orientation & deduction A modelling perspective -- An integer programming-based nurse rostering system -- Synthesizing parallel divide-and-conquer algorithms using the list interleave operator -- Some thoughts on statecharts, 13 years later -- End-to-end behavior of the internet: Measurements, analysis, and applications -- The Oz programming language and system -- Cryptographic postage indicia. | |
| 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 book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996. The volume presents 31 revised full papers selected from a total of 169 submissions; also included are three invited papers and 14 posters. The papers are organized in topical sections on algorithms, constraints and logic programming, distributed systems, formal systems, networking and security, programming and systems, and specification and verification. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Systèmes informatiques |x Mesures de sûreté | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Jaffar, Joxan, |d 1957- |4 pbd | |
| 700 | 1 | |a Yap, Roland H. C., |d 1963- |4 pbd | |
| 776 | 0 | |0 02628135X |t Concurrency and parallelism, programming, networking, and security |o Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 |o proceedings |f Joxan Jaffar, Roland H.C. Yap, eds |d 1996 |c Berlin |n Springer |p 1 vol. (XIII-394 p.) |s Lecture notes in computer science |z 3-540-62031-1 | |
| 776 | 0 | |t Concurrency and Parallelism, Programming, Networking, and Security |b Texte imprimé |z 9783662181904 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0027773 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-HN0LC38G-Q |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747908427 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0027773 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750921374 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0027773 |z Accès INSA CVL | |
| 997 | |0 945689 |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/ | ||