2.:Applications to Recognizability and Decidability / Michel Rigo |
Autore | RIGO, Michel |
Pubbl/distr/stampa | London, : ISTE |
Descrizione fisica | Testo elettronico (PDF) (XIX, 245 p.) |
Disciplina | 001.642 |
Collana | Networks and Telecommunications Series |
Soggetto topico |
Computer programming
Formal languages Machine theory |
ISBN | 9781119042853 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996451649603316 |
RIGO, Michel | ||
London, : ISTE | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2008 49th Annual IEEE Symposium on Foundations of Computer Science : 25-28 October 2008 |
Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
Descrizione fisica | 1 online resource (835 pages) |
Soggetto topico |
Electronic data processing
Machine theory |
ISBN | 1-5090-8151-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198304703316 |
New York : , : IEEE, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2008 49th Annual IEEE Symposium on Foundations of Computer Science : 25-28 October 2008 |
Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
Descrizione fisica | 1 online resource (835 pages) |
Soggetto topico |
Electronic data processing
Machine theory |
ISBN | 1-5090-8151-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910139850703321 |
New York : , : IEEE, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2010 Seventh International Conference on the Quantitative Evaluation of Systems |
Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2010 |
Disciplina | 621.39 |
Soggetto topico |
Computer systems - Evaluation
Computer networks - Evaluation Reliability (Engineering) Petri nets Machine theory Engineering & Applied Sciences Computer Science |
ISBN | 0-7695-4188-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Seventh International Conference on the Quantitative Evaluation of Systems |
Record Nr. | UNISA-996206444103316 |
[Place of publication not identified], : I E E E, 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2010 Seventh International Conference on the Quantitative Evaluation of Systems |
Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2010 |
Disciplina | 621.39 |
Soggetto topico |
Computer systems - Evaluation
Computer networks - Evaluation Reliability (Engineering) Petri nets Machine theory Engineering & Applied Sciences Computer Science |
ISBN | 0-7695-4188-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Seventh International Conference on the Quantitative Evaluation of Systems |
Record Nr. | UNINA-9910619141003321 |
[Place of publication not identified], : I E E E, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2022 |
Descrizione fisica | 1 online resource |
Disciplina | 004 |
Soggetto topico |
Switching theory
Machine theory |
ISBN | 1-66545-519-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science |
Record Nr. | UNISA-996575265903316 |
Piscataway, New Jersey : , : IEEE, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (VII, 234 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
ISBN | 3-540-69850-7 |
Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
Record Nr. | UNISA-996465393403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
25 Years of Model Checking : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (VII, 234 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
ISBN | 3-540-69850-7 |
Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
Record Nr. | UNINA-9910767508103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
27th annual Symposium on Foundations of Computer Science : October 27-29, 1986 |
Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
Descrizione fisica | 1 online resource (x, 517 pages) |
Soggetto topico |
Machine theory
Computer programming |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996212309303316 |
New York : , : IEEE, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
43rd Symposium on Foundations of Computer Science (FOCS 2002) |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2002 |
Descrizione fisica | 1 online resource (xvi, 813 pages) : illustrations |
Disciplina | 004 |
Soggetto topico |
Computer science
Machine theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foreword -- Program Committee -- Reviewers -- TUTORIAL 1 -- Zero-Knowledge -- TUTORIAL 2 -- Approximation Algorithms -- TUTORIAL 3 -- Randomness Extractors and Their Many Guises -- SESSION 1A -- Locally Testable Codes and PCPs of Almost-Linear Length -- Hardness Results for Coloring 3-Colorable 3-Uniform Hypergraphs -- The Hardness of 3-Uniform Hypergraph Coloring -- SESSION 1B -- Minimizing Congestion in General Networks -- Small Induced-Universal Graphs and Compact Implicit Graph Representations -- Deterministic Broadcasting Time in Radio Networks of Unknown Topology -- Explicit Unique-Neighbor Expanders -- SESSION 2A -- Abstract Combinatorial Programs and Efficient Property Testers -- A Lower Bound for Testing 3-Colorability in Bounded-Degree Graphs -- Testing Juntas -- A Spectral Algorithm for Learning Mixtures of Distributions -- Equivalence between Priority Queues and Sorting -- Implicit B-Trees: New Results for the Dictionary Problem -- An Inverse-Ackermann Style Lower Bound for the Online Minimum Spanning Tree Verification Problem -- PAC = PAExact and Other Equivalent Models in Learning -- Learning Intersections and Thresholds of Halfspaces -- On-Line Confidence Machines Are Well-Calibrated -- Learning a Hidden Matching -- An Information Statistics Approach to Data Stream and Communication Complexity -- Correlation Clustering -- SESSION 4A -- Decoding Turbo-Like Codes via Linear Programming -- Breaking the O(n1/2k-1) Barrier for Information-Theoretic Private Information Retrieval -- SESSION 4B -- Graphs with Tiny Vector Chromatic Numbers and Huge Chromatic Numbers -- Scheduling over a Time-Varying User-Dependent Channel with Applications to High Speed Wireless Data -- SESSION 1A -- David Shmoys -- Proving Integrality Gaps without Knowing the Linear Program -- Dependent Rounding in Bipartite Graphs -- A Constant-Factor Approximation Algorithm for the Multicommodity Rent-or-Buy Problem -- SESSION 1B -- Constant-Round Coin-Tossing with a Man in the Middle or Realizing the Shared Random String Model -- Generalized Compact Knapsacks, Cyclic Lattices, and Efficient One-Way Functions from Worst-Case Complexity Assumptions -- Concurrent Zero Knowledge with Logarithmic Round-Complexity -- On the (non)Universality of the One-Time Pad -- Market Equilibrium via a Primal-Dual-Type Algorithm -- On the Hardness of Optimal Auctions -- Auctions with Severely Bounded Communication -- Nash Equilibria in Competitive Societies, with Applications to Facility Location, Traffic Routing and Auctions -- SESSION 2B -- Privacy and Interaction in Quantum Communication Complexity and a Theorem about the Relative Entropy of Quantum States -- Linear Diophantine Equations over Polynomials and Soft Decoding of Reed-Solomon Codes -- Authentication of Quantum Messages -- Limits on the Power of Quantum Statistical Zero-Knowledge -- SESSION 3A -- Protocols and Impossibility Results for Gossip-Based Communication Mechanisms -- Covering Problems with Hard Capacities -- Packing 2-Dimensional Bins in Harmony -- Fast Approximation Algorithms for Fractional Steiner Forest and Related Problems -- SESSION 3B -- Quantum Lower Bounds for the Collision and the Element Distinctness Problems -- Quantum Computation and Lattice Problems -- On the Decidability of Self-Assembly of Infinite Ribbons -- The Parameterized Complexity of Counting Problems -- SESSION 4A -- Dimension Reduction in the l1 Norm -- On Approximating the Radii of Point Sets in High Dimensions -- Low-Dimensional Linear Programming with Violations -- Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles -- Satisfiability, Branch-Width and Tseitin Tautologies -- A Switching Lemma for Small Restrictions and Lower Bounds for k-DNF Resolution -- SESSION 1A -- Dynamic Planar Convex Hull -- Optimal System of Loops on an Orientable Surface -- SESSION 1B -- A Dichotomy Theorem for Constraints on a Thre-Element Set -- Lower Bounds on the Bounded Coefficient Complexity of Bilinear Maps -- Power from Random Strings -- Improved Dynamic Reachability Algorithms for Directed Graphs -- SESSION 2A -- Conflict-Free Colorings of Simple Geometric Regions with Applications to Frequency Assignment in Cellular Networks -- Global Information from Local Observation -- Rapidly Mixing Markov Chains for Sampling Contingency Tables with a Constant Number of Rows -- Spectral Gap and log-Sobolev Constant for Balanced Matroids -- SESSION 2B -- Random Lattices and a Conjectured 0 - 1 Law about Their Polynomial Time Computable Properties -- Graph Isomorphism is in SPP -- Kolmogorov's Structure Functions with an Application to the Foundations of Model Selection -- Forbidden Information -- SESSION 3 -- The 3-Xorsat Threshold -- The Asymptotic Order of the Random k-SAT Threshold -- On Random Symmetric Travelling Salesman Problems -- Load Balancing with Memory -- Erratum to "Vickrey Pricing and Shortest Paths: What Is an Edge Worth?" -- Author Index. |
Record Nr. | UNISA-996198560903316 |
[Place of publication not identified], : IEEE Computer Society Press, 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|