Searching for authors named "John Havlicek" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Computable Obstructions to Wait-free Computability
- …Computable Obstructions to Wait-free Computability John Havlicek University of Texas at Austin…
- Cited by 6 (2 self) – Add To MetaCart
-
A Note on the Homotopy Type of Wait-free Atomic Snapshot Protocol Complexes
- …A Note on the Homotopy Type of Wait-free Atomic Snapshot Protocol Complexes John Havlicek…
- Cited by 1 (1 self) – Add To MetaCart
-
The ⊤, ⊥ approach for truncated semantics
- …The ⊤, ⊥ approach for truncated semantics Cindy Eisner 1 Dana Fisman 1,2 John Havlicek 3 Johan M…
- Cited by 2 (1 self) – Add To MetaCart
-
Automata construction for PSL
- …Automata Construction for PSL Doron Bustan 1 Dana Fisman 2∗ John Havlicek 1 dbustan…
- Cited by 5 (3 self) – Add To MetaCart
-
Basic Results on the Semantics of Accellera PSL 1.1 Foundation Language
- … Language John Havlicek 1 , Dana Fisman 2,3 , and Cindy Eisner 2 1 Freescale Semiconductor, Inc. 2 IBM Haifa…
- Cited by 7 (2 self) – Add To MetaCart
-
Truncating Regular Expressions
- … Fisman IBM Haifa Research Laboratory and Weizmann Institute of Science Rehovot, ISRAEL 3. John Havlicek…
- Cited by 2 (1 self) – Add To MetaCart
-
Virtual Symmetry Reduction
- …Virtual Symmetry Reduction E. Allen Emerson , John W. Havlicek y , and Richard J. Trefler z…
- Cited by 12 (2 self) – Add To MetaCart
-
Generically Sufficient Conditions for Exact Multichannel Blind Image Restoration
- …GENERICALLY SUFFICIENT CONDITIONS FOR EXACT MULTICHANNEL BLIND IMAGE RESTORATION Hung-Ta Pai, John…
- Cited by 1 (0 self) – Add To MetaCart
-
Reasoning with Temporal Logic on Truncated Paths
- …Reasoning with Temporal Logic on Truncated Paths Cindy Eisner 1 Dana Fisman 1,2 John Havlicek 3…
- Cited by 15 (4 self) – Add To MetaCart
-
The Analytic Image
- …The Analytic Image Joseph P. Havlicek t, John W. Havlicek *t, and Alan C. Bovik t…
- Cited by 11 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
