Parallel Systems
51 – 60 of 456
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Lifting with simple gadgets and applications to circuit and proof complexity
2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.24-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
KRW composition theorems via lifting
2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.43-49(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Photon Mapping Superluminal Particles
2020) Eurographics Eurovis, EGEV 2020(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A simple approach to nondecreasing paths
(
- Contribution to journal › Article
- 2019
-
Mark
A faster hafnian formula for complex matrices and its benchmarking on a supercomputer
(
- Contribution to journal › Article
-
Mark
Tÿcho : A framework for compiling stream programs
(
- Contribution to journal › Article
-
Mark
Shortest two disjoint paths in polynomial time
(
- Contribution to journal › Article
-
Mark
Lower bounds for Demorgan circuits of bounded negation width
2019) 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019 In Leibniz International Proceedings in Informatics, LIPIcs 126.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Local Routing in Sparse and Lightweight Geometric Graphs
2019) 30th International Symposium on Algorithms and Computation (ISAAC 2019) In LIPIcs – Leibniz International Proceedings in Informatics 149. p.1-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding