341 – 350 of 1704
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2017
-
Mark
Code Generation for a SIMD Architecture with Custom Memory Organisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficiently Correcting Matrix Products
(
- Contribution to journal › Article
-
Mark
Large-scale data-dependent kernel approximation
2017) 20th International Conference on Artificial Intelligence and Statistics, AISTATS 2017(
- Contribution to conference › Paper, not in proceeding
-
Mark
Two Countermeasures Against Hardware Trojans Exploiting Non-Zero Aliasing Probability of BIST
(
- Contribution to journal › Article
-
Mark
Conditional Cube Attack on Reduced-Round Keccak Sponge Function
2017) 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017 In Lecture Notes in Computer Science 10211.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Cumulative space in black-white pebbling and resolution
2017) 8th Innovations in Theoretical Computer Science Conference, ITCS 2017 In Leibniz International Proceedings in Informatics, LIPIcs 67.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Graph colouring is hard for algorithms based on hilbert's nullstellensatz and gröbner bases
2017) 32nd Computational Complexity Conference, CCC 2017 In Leibniz International Proceedings in Informatics, LIPIcs 79.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
CNFgen : A generator of crafted benchmarks
2017) 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 In Lecture Notes in Computer Science 10491. p.464-473(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tight Size-Degree Bounds for Sums-of-Squares Proofs
(
- Contribution to journal › Article
-
Mark
Anomalies in scheduling control applications and design complexity
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding