Parallel Systems
61 – 70 of 469
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth
- Contribution to journal › Article
-
Mark
A simple approach to nondecreasing paths
- Contribution to journal › Article
-
Mark
Dual-precision fixed-point arithmetic for low-power ray-triangle intersections
Rajan, Krishna ; Hashemi, Soheil ; Karpuzcu, Ulya ; Doggett, Michael LU
and Reda, Sherief
(2020)
In Computers and Graphics
87.
p.72-79
- Contribution to journal › Article
-
Mark
Lifting with simple gadgets and applications to circuit and proof complexity
De Rezende, Susanna LU
; Meir, Or
; Nordstrom, Jakob
LU
; Pitassi, Toniann
; Robere, Robert
and Vinyals, Marc
(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
De Rezende, Susanna F. LU
; Meir, Or
; Nordstrom, Jakob
LU
; Pitassi, Toniann
and Robere, Robert
(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
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
Solving Hard Problems by Protein Folding?
(2020) 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12494 LNCS. p.36-41
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Photon Mapping Superluminal Particles
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
Mark
Local Routing in Sparse and Lightweight Geometric Graphs
Ashvinkumar, Vikrant ; Gudmundsson, Joachim LU ; Levcopoulos, Christos LU
; Nilsson, Bengt J.
and van Renssen, André
(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
-
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