Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 11
    Book
    Book
    Washington, DC : American Council of Learned Soc.
    UID:
    gbv_413601145
    Format: V, 37 Seiten , Tabellen
    Series Statement: Program in oriental languages / American Council of Learned Societies 1
    Note: Text englisch und burmesisch in burmesischer-Schrift
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 12
    UID:
    gbv_1808356950
    Format: 1 Online-Ressource (xxxv, 111 p.)
    ISBN: 0807817732
    Series Statement: Literature Online - Twentieth-Century African American Poetry / Literature Online - Twentieth-Century American Poetry
    Additional Edition: Erscheint auch als Druck-Ausgabe Toomer, Jean The Collected Poems Of Jean Toomer: Edited By Robert B. Jones and Margery Toomer Latimer: With an Introduction and Textual Notes By Robert B. Jones. London : University of North Carolina Press, 1988
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 13
    Online Resource
    Online Resource
    Boston, MA : Springer US
    UID:
    b3kat_BV045148892
    Format: 1 Online-Ressource (XVIII, 151 p)
    ISBN: 9781461511014
    Content: Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microprocessors with tens and even hundreds of thousands of gates. The second approach is applied at a high-level of abstraction and is used for high-level descriptions of designs. The book contains three main topics: Self consistency, a technique for deriving a formal specification of design behavior from the design itself; The use of the parametric representation to encode predicates as functional vectors for symbolic simulation, an important step in addressing the state-explosion problem; Incremental flushing, a method used to verify high-level descriptions of out-of-order execution. Symbolic Simulation Methods for Industrial Formal Verification concludes with work on verification of simplified models of out-of-order processors
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781461353959
    Language: English
    Keywords: Hardwareverifikation ; Formale Methode ; Logiksimulation
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 14
    UID:
    gbv_832174122
    Format: VIII, 517 S , 28 cm
    Edition: rev. ed
    Note: Schriftart: Ant. und Thai
    In: Book 1
    Language: Thai
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 15
    UID:
    gbv_832174246
    Format: VIII, 791 S , 28 cm
    Note: Schriftart: Ant. und Thai
    In: Book 2
    Language: Thai
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 16
    Book
    Book
    Knoxville :Univ. of Tennessee Press,
    UID:
    almafu_BV026644593
    Format: 192 S.
    ISBN: 0-87049-198-9
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 17
    UID:
    almahu_BV025143342
    Format: XXXIV, 111 S.
    Edition: 2. [print.]
    ISBN: 0-8078-4209-5 , 0-8078-1773-2
    Language: English
    Subjects: American Studies
    RVK:
    RVK:
    Keywords: Fiktionale Darstellung
    Author information: Toomer, Jean, 1894-1967.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 18
    UID:
    almahu_9947364061902882
    Format: XV, 564 p. , online resource.
    ISBN: 9783540374114
    Series Statement: Lecture Notes in Computer Science, 4144
    Note: Invited Talks -- Formal Specifications on Industrial-Strength Code—From Myth to Reality -- I Think I Voted: E-Voting vs. Democracy -- Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs -- The Ideal of Verified Software -- Session 1. Automata -- Antichains: A New Algorithm for Checking Universality of Finite Automata -- Safraless Compositional Synthesis -- Minimizing Generalized Büchi Automata -- Session 2. Tools Papers -- Ticc: A Tool for Interface Compatibility and Composition -- FAST Extended Release -- Session 3. Arithmetic -- Don’t Care Words with an Application to the Automata-Based Approach for Real Addition -- A Fast Linear-Arithmetic Solver for DPLL(T) -- Session 4. SAT and Bounded Model Checking -- Bounded Model Checking for Weak Alternating Büchi Automata -- Deriving Small Unsatisfiable Cores with Dominators -- Session 5. Abstraction/Refinement -- Lazy Abstraction with Interpolants -- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop -- Counterexamples with Loops for Predicate Abstraction -- Session 6. Tools Papers -- cascade: C Assertion Checker and Deductive Engine -- Yasm: A Software Model-Checker for Verification and Refutation -- Session 7. Symbolic Trajectory Evaluation -- SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation -- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation -- Session 8. Property Specification and Verification -- Some Complexity Results for SystemVerilog Assertions -- Check It Out: On the Efficient Formal Verification of Live Sequence Charts -- Session 9. Time -- Symmetry Reduction for Probabilistic Model Checking -- Communicating Timed Automata: The More Synchronous, the More Difficult to Verify -- Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis -- Session 10. Tools Papers -- DiVinE – A Tool for Distributed Verification -- EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation -- Session 11. Concurrency -- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions -- Model Checking Multithreaded Programs with Asynchronous Atomic Methods -- Causal Atomicity -- Session 12. Trees, Pushdown Systems and Boolean Programs -- Languages of Nested Trees -- Improving Pushdown System Model Checking -- Repair of Boolean Programs with an Application to C -- Session 13. Termination -- Termination of Integer Linear Programs -- Automatic Termination Proofs for Programs with Shape-Shifting Heaps -- Termination Analysis with Calling Context Graphs -- Session 14. Tools Papers -- Terminator: Beyond Safety -- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools -- Session 15. Abstract Interpretation -- SMT Techniques for Fast Predicate Abstraction -- The Power of Hybrid Acceleration -- Lookahead Widening -- Session 16. Tools Papers -- The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover -- LEVER: A Tool for Learning Based Verification -- Session 17. Memory Consistency -- Formal Verification of a Lazy Concurrent List-Based Set Algorithm -- Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study -- Fast and Generalized Polynomial Time Memory Consistency Verification -- Session 18. Shape Analysis -- Programs with Lists Are Counter Automata -- Lazy Shape Analysis -- Abstraction for Shape Analysis with Fast and Precise Transformers.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540374060
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 19
    UID:
    edocfu_9959237528102883
    Format: 1 online resource
    ISBN: 979-88-9313-082-9 , 1-4696-1641-6 , 1-4696-1642-4
    Uniform Title: Poems. Selections
    Content: Collected Poems of Jean Toomer
    Note: "A Publication history of the poetry of Jean Toomer": pages 105-111. , Cover; Contents; Introduction; Editors' Note; THE AESTHETIC PERIOD (1919-1921); Five Vignettes; Storm Ending; And Pass; Her Lips Are Copper Wire; I See Her Lovely There; Evening Song; Face; Air; Earth; Fire; Water; Poem in C; Sound Poem (I); Sound Poem (II); Skyline; Gum; Delivered at the Knighting of Lord Durgling; Banking Coal; THE ANCESTRAL CONSCIOUSNESS PERIOD (1921-1923); Reapers; November Cotton Flower; Cotton Song; Song of the Son; Georgia Dusk; Nullo; Conversion; Portrait in Georgia; Beehive; Prayer; Harvest Song; Tell Me; THE OBJECTIVE CONSCIOUSNESS PERIOD (1924-1939) , The Lost DancerHoney of Being; Angelic Eve; Merl; White Arrow; Unsuspecting; The Gods Are Here; At Sea; Upward Is This Actuality; As the Eagle Soars; Be with Me; The Blue Meridian; Peers; Living Earth; Words for a Hymn to the Sun; Men; People; Imprint for Rio Grande; I Sit in My Room; Rolling, Rolling; It Is Everywhere; THE CHRISTIAN EXISTENTIAL PERIOD (1940-1955); Vague Opening; Desire; Not for Me; The Chase; Cloud; Motion and Rest; Our Growing Day; Mended; Prayer (I); One Within; The Promise; They Are Not Missed; To Gurdjieff Dying; See the Heart , A Publication History of the Poetry of Jean Toomer , English
    Additional Edition: ISBN 0-8078-1773-2
    Additional Edition: ISBN 0-8078-4209-5
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 20
    Book
    Book
    Washington, DC :American Council of Learned Societies,
    Show associated volumes
    UID:
    almahu_BV014882712
    Format: III, 37 S.
    Series Statement: Program in Oriental Languages: Publication series / B 1
    Language: English
    Subjects: Comparative Studies. Non-European Languages/Literatures , General works
    RVK:
    RVK:
    Keywords: Birmanische Schrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages