Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Algebraic System Specification and Development [[electronic resource] ] : A Survey and Annotated Bibliography / / edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
| Algebraic System Specification and Development [[electronic resource] ] : A Survey and Annotated Bibliography / / edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (XII, 184 p.) |
| Disciplina | 004.2/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer organization
Computer Systems Organization and Communication Networks |
| ISBN | 3-540-47382-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basic foundations -- Models and logics -- Development concepts -- Support tools -- Applications. |
| Record Nr. | UNISA-996465945103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automata, Languages and Programming [[electronic resource] ] : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings / / edited by Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
| Automata, Languages and Programming [[electronic resource] ] : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings / / edited by Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XXXVIII, 1256 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer science—Mathematics Numerical analysis Data structures (Computer science) Software Engineering/Programming and Operating Systems Theory of Computation Discrete Mathematics in Computer Science Numeric Computing Data Structures |
| ISBN | 3-540-27836-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Self-Adjusting Computation -- The Past, Present, and Future of Web Search Engines -- What Do Program Logics and Type Systems Have in Common? -- Feasible Proofs and Computations: Partnership and Fusion -- Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input -- Testing, Optimizaton, and Games -- Contributed Papers -- Deciding Knowledge in Security Protocols Under Equational Theories -- Representing Nested Inductive Types Using W-Types -- Algorithms for Multi-product Pricing -- Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas -- Linear and Branching Metrics for Quantitative Transition Systems -- Learning a Hidden Subgraph -- Optimal Reachability for Weighted Timed Games -- Wavelength Assignment in Optical Networks with Fixed Fiber Capacity -- External Memory Algorithms for Diameter and All-Pairs Shortest-Paths on Sparse Graphs -- A ?-Calculus for Resource Separation -- The Power of Verification for One-Parameter Agents -- Group Spreading: A Protocol for Provably Secure Distributed Name Service -- Further Improvements in Competitive Guarantees for QoS Buffering -- Competition-Induced Preferential Attachment -- Approximating Longest Directed Paths and Cycles -- Definitions and Bounds for Self-Healing Key Distribution Schemes -- Tree-Walking Automata Cannot Be Determinized -- Projecting Games on Hypercoherences -- An Analog Characterization of Elementarily Computable Functions over the Real Numbers -- Model Checking with Multi-valued Logics -- The Complexity of Partition Functions -- Comparing Recursion, Replication, and Iteration in Process Calculi -- Dynamic Price Sequence and Incentive Compatibility -- The Complexity of Equivariant Unification -- Coordination Mechanisms -- Online Scheduling of Equal-Length Jobs: Randomization and Restarts Help -- Efficient Computation of Equilibrium Prices for Markets with Leontief Utilities -- Coloring Semirandom Graphs Optimally -- Sublinear-Time Approximation for Clustering Via Random Sampling -- Solving Two-Variable Word Equations -- Backtracking Games and Inflationary Fixed Points -- A PTAS for Embedding Hypergraph in a Cycle -- Towards an Algebraic Theory of Typed Mobile Processes -- Ecological Turing Machines -- Locally Consistent Constraint Satisfaction Problems -- Quantum Query Complexity of Some Graph Problems -- A Domain Theoretic Account of Picard’s Theorem -- Interactive Observability in Ludics -- Easily Refutable Subformulas of Large Random 3CNF Formulas -- On Graph Problems in a Semi-streaming Model -- Linear Tolls Suffice: New Bounds and Algorithms for Tolls in Single Source Networks -- Bounded Fixed-Parameter Tractability and log2 n Nondeterministic Bits -- Exact (Exponential) Algorithms for Treewidth and Minimum Fill-In -- Fast Parameterized Algorithms for Graphs on Surfaces: Linear Kernel and Exponential Speed-Up -- Selfish Unsplittable Flows -- A General Technique for Managing Strings in Comparison-Driven Data Structures -- Greedy Regular Expression Matching -- A Time Algorithm for d-Dimensional Protein Folding in the HP-Model -- Nash Equilibria in Discrete Routing Games with Convex Latency Functions -- Improved Results for Data Migration and Open Shop Scheduling -- Deterministic M2M Multicast in Radio Networks -- Syntactic Control of Concurrency -- Linear-Time List Decoding in Error-Free Settings -- A Categorical Model for the Geometry of Interaction -- Testing Monotonicity over Graph Products -- The Minimum-Entropy Set Cover Problem -- Communication Versus Computation -- Optimal Website Design with the Constrained Subtree Selection Problem -- Simple Permutations Mix Well -- Closest Pair Problems in Very High Dimensions -- Universality in Quantum Computation -- Approximation Algorithms for the Capacitated Minimum Spanning Tree Problem and Its Variants in Network Design -- Fairness to All While Downsizing -- A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems -- A Faster Algorithm for Minimum Cycle Basis of Graphs -- The Black-Box Complexity of Nearest Neighbor Search -- Regular Solutions of Language Inequalities and Well Quasi-orders -- A Calculus of Coroutines -- Almost Optimal Decentralized Routing in Long-Range Contact Networks -- Word Problems on Compressed Words -- Complexity of Pseudoknot Prediction in Simple Models -- Property Testing of Regular Tree Languages -- Entropy as a Fixed Point -- Transparent Long Proofs: A First PCP Theorem for -- A Time Lower Bound for Satisfiability -- Some Results on Effective Randomness -- A Polynomial Quantum Query Lower Bound for the Set Equality Problem -- Succinct Representations of Functions -- A Note on Karr’s Algorithm -- The Existence and Efficient Construction of Large Independent Sets in General Random Intersection Graphs -- Efficient Consistency Proofs for Generalized Queries on a Committed Database -- A -Approximation Algorithm for Rectangle Tiling -- Extensional Theories and Rewriting -- Hardness of String Similarity Search and Other Indexing Problems -- A Syntactic Characterization of Distributive LTL Queries -- Online Scheduling with Bounded Migration -- On the Expressive Power of Monadic Least Fixed Point Logic -- Counting in Trees for Free -- Games with Winning Conditions of High Borel Complexity -- Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas -- LA, Permutations, and the Hajós Calculus -- A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles -- Efficiently Computing Succinct Trade-Off Curves -- On Randomization Versus Synchronization in Distributed Systems -- A New Algorithm for Optimal Constraint Satisfaction and Its Implications -- On the Power of Ambainis’s Lower Bounds. |
| Record Nr. | UNISA-996465487903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automata, Languages and Programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings / / edited by Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
| Automata, Languages and Programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings / / edited by Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XXXVIII, 1256 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer science—Mathematics Numerical analysis Data structures (Computer science) Software Engineering/Programming and Operating Systems Theory of Computation Discrete Mathematics in Computer Science Numeric Computing Data Structures |
| ISBN | 3-540-27836-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Self-Adjusting Computation -- The Past, Present, and Future of Web Search Engines -- What Do Program Logics and Type Systems Have in Common? -- Feasible Proofs and Computations: Partnership and Fusion -- Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input -- Testing, Optimizaton, and Games -- Contributed Papers -- Deciding Knowledge in Security Protocols Under Equational Theories -- Representing Nested Inductive Types Using W-Types -- Algorithms for Multi-product Pricing -- Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas -- Linear and Branching Metrics for Quantitative Transition Systems -- Learning a Hidden Subgraph -- Optimal Reachability for Weighted Timed Games -- Wavelength Assignment in Optical Networks with Fixed Fiber Capacity -- External Memory Algorithms for Diameter and All-Pairs Shortest-Paths on Sparse Graphs -- A ?-Calculus for Resource Separation -- The Power of Verification for One-Parameter Agents -- Group Spreading: A Protocol for Provably Secure Distributed Name Service -- Further Improvements in Competitive Guarantees for QoS Buffering -- Competition-Induced Preferential Attachment -- Approximating Longest Directed Paths and Cycles -- Definitions and Bounds for Self-Healing Key Distribution Schemes -- Tree-Walking Automata Cannot Be Determinized -- Projecting Games on Hypercoherences -- An Analog Characterization of Elementarily Computable Functions over the Real Numbers -- Model Checking with Multi-valued Logics -- The Complexity of Partition Functions -- Comparing Recursion, Replication, and Iteration in Process Calculi -- Dynamic Price Sequence and Incentive Compatibility -- The Complexity of Equivariant Unification -- Coordination Mechanisms -- Online Scheduling of Equal-Length Jobs: Randomization and Restarts Help -- Efficient Computation of Equilibrium Prices for Markets with Leontief Utilities -- Coloring Semirandom Graphs Optimally -- Sublinear-Time Approximation for Clustering Via Random Sampling -- Solving Two-Variable Word Equations -- Backtracking Games and Inflationary Fixed Points -- A PTAS for Embedding Hypergraph in a Cycle -- Towards an Algebraic Theory of Typed Mobile Processes -- Ecological Turing Machines -- Locally Consistent Constraint Satisfaction Problems -- Quantum Query Complexity of Some Graph Problems -- A Domain Theoretic Account of Picard’s Theorem -- Interactive Observability in Ludics -- Easily Refutable Subformulas of Large Random 3CNF Formulas -- On Graph Problems in a Semi-streaming Model -- Linear Tolls Suffice: New Bounds and Algorithms for Tolls in Single Source Networks -- Bounded Fixed-Parameter Tractability and log2 n Nondeterministic Bits -- Exact (Exponential) Algorithms for Treewidth and Minimum Fill-In -- Fast Parameterized Algorithms for Graphs on Surfaces: Linear Kernel and Exponential Speed-Up -- Selfish Unsplittable Flows -- A General Technique for Managing Strings in Comparison-Driven Data Structures -- Greedy Regular Expression Matching -- A Time Algorithm for d-Dimensional Protein Folding in the HP-Model -- Nash Equilibria in Discrete Routing Games with Convex Latency Functions -- Improved Results for Data Migration and Open Shop Scheduling -- Deterministic M2M Multicast in Radio Networks -- Syntactic Control of Concurrency -- Linear-Time List Decoding in Error-Free Settings -- A Categorical Model for the Geometry of Interaction -- Testing Monotonicity over Graph Products -- The Minimum-Entropy Set Cover Problem -- Communication Versus Computation -- Optimal Website Design with the Constrained Subtree Selection Problem -- Simple Permutations Mix Well -- Closest Pair Problems in Very High Dimensions -- Universality in Quantum Computation -- Approximation Algorithms for the Capacitated Minimum Spanning Tree Problem and Its Variants in Network Design -- Fairness to All While Downsizing -- A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems -- A Faster Algorithm for Minimum Cycle Basis of Graphs -- The Black-Box Complexity of Nearest Neighbor Search -- Regular Solutions of Language Inequalities and Well Quasi-orders -- A Calculus of Coroutines -- Almost Optimal Decentralized Routing in Long-Range Contact Networks -- Word Problems on Compressed Words -- Complexity of Pseudoknot Prediction in Simple Models -- Property Testing of Regular Tree Languages -- Entropy as a Fixed Point -- Transparent Long Proofs: A First PCP Theorem for -- A Time Lower Bound for Satisfiability -- Some Results on Effective Randomness -- A Polynomial Quantum Query Lower Bound for the Set Equality Problem -- Succinct Representations of Functions -- A Note on Karr’s Algorithm -- The Existence and Efficient Construction of Large Independent Sets in General Random Intersection Graphs -- Efficient Consistency Proofs for Generalized Queries on a Committed Database -- A -Approximation Algorithm for Rectangle Tiling -- Extensional Theories and Rewriting -- Hardness of String Similarity Search and Other Indexing Problems -- A Syntactic Characterization of Distributive LTL Queries -- Online Scheduling with Bounded Migration -- On the Expressive Power of Monadic Least Fixed Point Logic -- Counting in Trees for Free -- Games with Winning Conditions of High Borel Complexity -- Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas -- LA, Permutations, and the Hajós Calculus -- A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles -- Efficiently Computing Succinct Trade-Off Curves -- On Randomization Versus Synchronization in Distributed Systems -- A New Algorithm for Optimal Constraint Satisfaction and Its Implications -- On the Power of Ambainis’s Lower Bounds. |
| Record Nr. | UNINA-9910144158103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings / / Donald Sannella, ed
| Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings / / Donald Sannella, ed |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 005.1 |
| Altri autori (Persone) | SannellaDonald |
| Soggetto topico |
Computer programming - Congresses
Programming languages (Electronic computers) - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Programming Languages and Systems — ESOP '94 |
| Record Nr. | UNISA-996466266403316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Trends in Data Type Specification [[electronic resource] ] : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers / / edited by Donald Sannella
| Recent Trends in Data Type Specification [[electronic resource] ] : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers / / edited by Donald Sannella |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
| Descrizione fisica | 1 online resource (VIII, 268 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-45970-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The stratified loose approach: A generalization of initial and loose semantics -- Algebraic data type and process specifications based on projection spaces -- Structuring theories on consequence -- Completion with history-dependent complexities for generated equations -- Jungle evaluation -- The ACT-system experiences and future enhancements -- The specification language of OBSCURE -- Algebraic specifications of reachable higher-order algebras -- Observing nondeterministic data types -- Initial behaviour semantics for algebraic specifications -- Partial algebras, subsorting, and dependent types -- Operational semantics of behavioural canons based on narrowing -- The algebraic specification of semicomputable data types. |
| Record Nr. | UNISA-996465651303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||