Advances in Computing Science - ASIAN 2000 [[electronic resource] ] : 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings / / edited by Jifeng He, Masahiko Sato |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 306 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Mathematical logic Computer logic Artificial intelligence Computer communication systems Algorithms Theory of Computation Mathematical Logic and Formal Languages Logics and Meanings of Programs Artificial Intelligence Computer Communication Networks Algorithm Analysis and Problem Complexity |
ISBN | 3-540-44464-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables -- Performance Evaluation of Networks: New Problems and Challenges -- Emerging Patterns and Classification -- IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications -- Performance of Location Caching Scheme to Support Call Locality in Wireless Networks -- A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures -- Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network -- Spatial Congruence for Ambients Is Decidable -- A Spatio-temporal Representation Scheme for Modeling Moving Objects in Video Data -- Node-to-Set Disjoint Paths Problem in Rotator Graphs -- On Simulation-Checking with Sequential Systems -- Reusing Animations in Databases for Multimedia Presentations -- Reflecting BDDs in Coq -- On Model Checking Synchronised Hardware Circuits -- Safe Ambients: Control Flow Analysis and Security -- Security Types for Mobile Safe Ambients -- Improving Functional Logic Programs by Difference-Lists -- A New Multihop Logical Topology for Reliable Broadband Communication -- A New Scalable Topology for Multihop Optical Networks -- On Computable Tree Functions -- Sharpening the Undecidability of Interval Temporal Logic. |
Record Nr. | UNISA-996466179103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Computing Science - ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings / / edited by Jifeng He, Masahiko Sato |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 306 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Mathematical logic Computer logic Artificial intelligence Computer communication systems Algorithms Theory of Computation Mathematical Logic and Formal Languages Logics and Meanings of Programs Artificial Intelligence Computer Communication Networks Algorithm Analysis and Problem Complexity |
ISBN | 3-540-44464-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables -- Performance Evaluation of Networks: New Problems and Challenges -- Emerging Patterns and Classification -- IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications -- Performance of Location Caching Scheme to Support Call Locality in Wireless Networks -- A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures -- Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network -- Spatial Congruence for Ambients Is Decidable -- A Spatio-temporal Representation Scheme for Modeling Moving Objects in Video Data -- Node-to-Set Disjoint Paths Problem in Rotator Graphs -- On Simulation-Checking with Sequential Systems -- Reusing Animations in Databases for Multimedia Presentations -- Reflecting BDDs in Coq -- On Model Checking Synchronised Hardware Circuits -- Safe Ambients: Control Flow Analysis and Security -- Security Types for Mobile Safe Ambients -- Improving Functional Logic Programs by Difference-Lists -- A New Multihop Logical Topology for Reliable Broadband Communication -- A New Scalable Topology for Multihop Optical Networks -- On Computable Tree Functions -- Sharpening the Undecidability of Interval Temporal Logic. |
Record Nr. | UNINA-9910143609403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic, Language and Computation [[electronic resource] ] : Festschrift in Honor of Satoru Takasu / / edited by Neil Jones, Masami Hagiya, Masahiko Sato |
Edizione | [1st ed. 1994.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
Descrizione fisica | 1 online resource (XIII, 269 p.) |
Disciplina | 005.1/01/5113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Computers Architecture, Computer Computer logic Programming languages (Electronic computers) Mathematical Logic and Formal Languages Theory of Computation Computer System Implementation Logics and Meanings of Programs Computation by Abstract Devices Programming Languages, Compilers, Interpreters |
ISBN | 3-540-48391-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Lifschitz's logic of calculable numbers and optimizations in program extraction -- On implicit arguments -- A functional system with transfinitely defined types -- The non-deterministic catch and throw mechanism and its subject reduction property -- Conservativeness of ? over ??-calculus -- ML with first-class environments and its type inference algorithm -- A simple proof of the genericity lemma -- The logic of FOL systems: Formulated in set theory -- Well-ordering of algebras and Kruskal's theorem -- On locomorphism in analytical equivalence theory -- Analysis of a software/hardware system by tense arithmetic -- The essence of program transformation by partial evaluation and driving -- Program transformation via contextual assertions -- On coding theorems with modified length functions -- Thirty four comparisons are required to sort 13 items. |
Record Nr. | UNISA-996466244303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|