Parallel Systems
1 – 250 of 463
- show: 250
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Proof Logging for the Circuit Constraint
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Succinct Opacity Micromaps
2024) High-Performance Graphics 2024 In Proceedings of the ACM in Computer Graphics and Interactive Techniques 7(3).(
- Contribution to journal › Article
-
Mark
Towards the exact complexity of realizability for Safety LTL
(
- Contribution to journal › Article
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sparse Spatial Shading in Augmented Reality
2024) 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications 1. p.293-299(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hardware and Software Generation from Large Actor Machines in Streaming Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
KRW Composition Theorems via Lifting
(
- Contribution to journal › Article
-
Mark
End-to-End Verification for Subgraph Solving
2024) 38th AAAI Conference on Artificial Intelligence, AAAI 2024 In Proceedings of the AAAI Conference on Artificial Intelligence 38. p.8038-8047(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
2023) 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023 p.98-103(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scalable Actor Networks with CAL
2023) p.169-179(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clique Is Hard on Average for Unary Sherali-Adams
2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.12-25(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Graphs with many edge-colorings such that complete graphs are rainbow
(
- Contribution to journal › Article
-
Mark
Certified Core-Guided MaxSAT Solving
2023) Proceedings of the 29th International Conference on Automated Deduction, CADE-29 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14132 LNAI. p.1-22(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
(
- Contribution to journal › Article
-
Mark
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
(
- Contribution to journal › Article
- 2022
-
Mark
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
2022)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
(
- Thesis › Doctoral thesis (compilation)
-
Mark
MeerKAT correlator-beamformer : a real-time processing back-end for astronomical observations
(
- Contribution to journal › Article
-
Mark
An Auditable Constraint Programming Solver
2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Real-Time Rendering of Indirectly Visible Caustics
2022) 17th International Conference on Computer Graphics Theory and Applications, GRAPP 2022; Part of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022 1. p.39-48(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving
2022) 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) In Leibniz International Proceedings in Informatics (LIPIcs) 236.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Auto-Partitioning Heterogeneous Task-Parallel Programs with StreamBlocks
2022) 31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022 p.398-411(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysing Dataflow Programs with Causation Traces
2022) 31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022 p.534-535(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Estimating Stream Application Performance in Early-Stage System Design
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
(
- Contribution to journal › Article
-
Mark
Sparse Steiner triple systems of order 21
(
- Contribution to journal › Article
-
Mark
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
(
- Contribution to journal › Article
-
Mark
Path Verification for Dynamic Indirect Illumination
2021)(
- Book/Report › Report
-
Mark
Proof complexity and SAT solving
2021) p.233-350(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Antithetic Sampling for Monte Carlo Differentiable Rendering
(
- Contribution to journal › Article
-
Mark
Learn to relax : Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search
(
- Contribution to journal › Article
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
2021) 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12601 LNCS. p.440-451(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Foreword: Selected papers from the 22nd International Symposium on Fundamentals of Computation Theory (FCT 2019)
(
- Contribution to journal › Article
-
Mark
Modular counting of subgraphs : Matchings, matching-splittable graphs, and paths
2021) 29th Annual European Symposium on Algorithms, ESA 2021 In Leibniz International Proceedings in Informatics, LIPIcs 204.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The power of negative reasoning
2021) 36th Computational Complexity Conference, CCC 2021 In Leibniz International Proceedings in Informatics, LIPIcs 200.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2020
-
Mark
A framework to generate domain-specific manycore architectures from dataflow programs
(
- Contribution to journal › Article
-
Mark
Graphs with equal domination and covering numbers
(
- Contribution to journal › Article
-
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
Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
2020) 35th Computational Complexity Conference, CCC 2020 In Leibniz International Proceedings in Informatics, LIPIcs 169.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simplified and Improved Separations Between Regular and General Resolution by Lifting
2020) 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 In Lecture Notes in Computer Science 12178. p.182-200(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trade-offs between size and degree in polynomial calculus
2020) 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 In Leibniz International Proceedings in Informatics, LIPIcs 151.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A simple approach to nondecreasing paths
(
- Contribution to journal › Article
-
Mark
Using Resolution Proofs to Analyse CDCL Solvers
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.917-934(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computing the boolean product of two n × n boolean matrices using o(N2) mechanical operations
(
- Contribution to journal › Article
-
Mark
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
2020) 32nd International Conference on Computer Aided Verification, CAV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12224 LNCS. p.463-484(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Crystal centering using deep learning in X-ray crystallography
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dual-precision fixed-point arithmetic for low-power ray-triangle intersections
(
- Contribution to journal › Article
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
(
- Contribution to journal › Article
-
Mark
Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth
(
- Contribution to journal › Article
-
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
Photon Mapping Superluminal Particles
2020) Eurographics Eurovis, EGEV 2020(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
- 2019
-
Mark
Pushing the Online Matrix-Vector Conjecture Off-Line and Identifying Its Easy Cases
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Importance Sampling of Many Lights on the GPU
2019) p.255-255(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
The approximability of maximum rooted triplets consistency with fan triplets and forbidden triplets
(
- Contribution to journal › Article
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
2019) 13th International Symposium on Parameterized and Exact Computation (IPEC 2018). In LIPIcs 115. p.1-13(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On a Fire Fighter’s Problem
(
- Contribution to journal › Article
-
Mark
A fast deterministic detection of small pattern graphs in graphs without large cliques
(
- Contribution to journal › Article
-
Mark
Clearing directed subgraphs by mobile agents : Variations on covering with paths
(
- Contribution to journal › Article
-
Mark
Shortcuts for the circle
(
- Contribution to journal › Article
-
Mark
Generalized Kakeya sets for polynomial evaluation and faster computation of fermionants
(
- Contribution to journal › Article
-
Mark
Dynamic Many-Light Sampling for Real-Time Ray Tracing
2019) High-Performance Graphics, 2019(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
A faster hafnian formula for complex matrices and its benchmarking on a supercomputer
(
- Contribution to journal › Article
-
Mark
Constraint programming in embedded systems design : Considered helpful
(
- Contribution to journal › Article
-
Mark
Approximate counting of K-paths : Deterministic and in polynomial space
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computing permanents and counting Hamiltonian cycles by listing dissimilar vectors
2019) 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019 In Leibniz International Proceedings in Informatics (LIPIcs) 132. p.1-25(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Solving systems of polynomial equations over GF(2) by a parity-counting self-reduction
2019) 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019 In Leibniz International Proceedings in Informatics (LIPIcs) 132. p.1-26(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
(2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science 11651.
- Book/Report › Book
-
Mark
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11651. p.322-334(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11651 LNCS.(
- Chapter in Book/Report/Conference proceeding › Preface to 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
-
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
Ray Tracing Gems : High-Quality and Real-Time Rendering with DXR and other APIs
Haines, Eric and Akenine-Möller, Tomas LU (2019)
- Book/Report › Anthology (editor)
- 2018
-
Mark
3D Rectangulations and Geometric Matrix Multiplication
(
- Contribution to journal › Article
-
Mark
Extensor-Coding
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Determining the consistency of resolved triplets and fan triplets
(
- Contribution to journal › Article
-
Mark
MPEG reconfigurable video coding
2018) p.213-249(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Exploiting Sparsity for Bipartite Hamiltonicity
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Counting Connected Subgraphs with Maximum-Degree-Aware Sieving
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Counting Shortest Two Disjoint Paths in Cubic Planar Graphs with an NC Algorithm
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation schemes for capacitated geometric network design
(
- Contribution to journal › Article
-
Mark
Extreme Witnesses and Their Applications
(
- Contribution to journal › Article
-
Mark
A QPTAS for the base of the number of crossing-free structures on a planar point set
(
- Contribution to journal › Article
-
Mark
Generalized Kakeya sets for polynomial evaluation and faster computation of fermionants
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation Algorithms for the Geometric Firefighter and Budget Fence Problems
(
- Contribution to journal › Article
-
Mark
Forest-like abstract Voronoi diagrams in linear time
(
- Contribution to journal › Article
-
Mark
Are unique subgraphs not easier to find?
(
- Contribution to journal › Article
-
Mark
Real-Time Rendering
2018)(
- Book/Report › Book
- 2017
-
Mark
Bounds for semi-disjoint bilinear forms in a unit-cost computational model
2017) 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10185 LNCS. p.412-424(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards an almost quadratic lower bound on the monotone circuit complexity of the Boolean convolution
2017) 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10185 LNCS. p.401-411(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Determining the consistency of resolved triplets and fan triplets
2017) 21st Annual International Conference on Research in Computational Molecular Biology, RECOMB 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10229 LNCS. p.82-98(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computing the permanent modulo a prime power
(
- Contribution to journal › Article
-
Mark
Computing Graph Distances Parameterized by Treewidth and Diameter
2017) 11th International Symposium on Parameterized and Exact Computation In Leibniz International Proceedings in Informatics (LIPIcs) 63. p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trace-based manycore partitioning of stream-processing applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
High-level system synthesis and optimization of dataflow programs for MPSoCs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Spotting Trees with Few Leaves
(
- Contribution to journal › Article
-
Mark
Efficient Software Implementation of Stream Programs
2017)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Ray Accelerator : Efficient and Flexible Ray Tracing on a Heterogeneous Architecture
(
- Contribution to journal › Article
-
Mark
A fast deterministic detection of small pattern graphs in graphs without large cliques
2017) 11th International Conference and Workshops on Algorithms and Computation, WALCOM 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10167 LNCS. p.217-227(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Narrow sieves for parameterized paths and packings
(
- Contribution to journal › Article
-
Mark
Time-Continuous Quasi-Monte Carlo Ray Tracing
(
- Contribution to journal › Article
-
Mark
Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors)
2017) 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 2017 10139. p.229-240(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Counting thin subgraphs via packings faster than meet-in-the-middle time
(
- Contribution to journal › Article
-
Mark
Guest Editorial : Special Issue on Parameterized and Exact Computation
(
- Contribution to journal › Article
-
Mark
The snow team problem : (Clearing Directed subgraphs by mobile agents)
2017) 21th International Symposium on Fundamentals of Computation Theory, FCT 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10472 LNCS. p.190-203(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Directed Hamiltonicity and Out-Branchings via Generalized Laplacians
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Aegis : Reliable Application Execution over the Mobile Cloud
(
- Contribution to journal › Article
-
Mark
Shortcuts for the circle
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2016
-
Mark
Faster data structures and graphics hardware techniques for high performance rendering
2016)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Constrained Multilinear Detection and Generalized Graph Motifs
(
- Contribution to journal › Article
-
Mark
Efficient culling techniques for interactive deformable NURBS surfaces on GPU
2016) 11th International Conference on Computer Graphics Theory and Application, GRAPP 2016; Part of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2016 p.17-27(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Foreword to special section on SIGGRAD 2015
(
- Contribution to journal › Article
-
Mark
Below All Subsets for Some Permutational Counting Problems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Coloring Graphs Having Few Colorings Over Path Decompositions
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How Proofs are Prepared at Camelot
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Code Generation for Custom Architectures using Constraint Programming
2016)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Memory Power Management for Java Processors Using Heap Partitioning and Power Gating
2016) 14th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES 2016(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clock-gating of streaming applications for energy efficient implementations on FPGAs
(
- Contribution to journal › Article
-
Mark
High-level synthesis of dynamic dataflow programs on heterogeneous MPSoC platforms
2016) International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XVI) p.227-234(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Processes and actors: Translating Kahn processes to dataflow with firing
2016) International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XVI) p.21-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Content-based caching in a managed runtime computing environment
2016) 9,411,744(
- Patent › Patent
-
Mark
Implementing a streaming application on a processor array : A case study on the Epiphany architecture
2016) 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015 2016-February. p.177-181(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Photon Splatting Using a View-Sample Cluster Hierarchy
2016) High Performance Graphics, 2016(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques : Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies
(
- Contribution to journal › Article
-
Mark
Support for Data Parallelism in the CAL Actor Language
2016) WPMVP 2016 - 3rd Workshop on Programming Models for SIMD/Vector Processing(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Minimum Weight Triangulation
2016) p.1325-1328(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
SAH guided spatial split partitioning for fast BVH construction
(
- Contribution to journal › Article
-
Mark
Efficiently Correcting Matrix Products (arXiv 2016)
2016)(
- Book/Report › Report
- 2015
-
Mark
Detecting and Counting Small Pattern Graphs
(
- Contribution to journal › Article
-
Mark
A Fire Fighter's Problem.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Masked Depth Culling for Graphics Hardware
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A performance and energy evaluation of many-light rendering algorithms
(
- Contribution to journal › Article
-
Mark
Real-Time Multiply Recursive Reflections and Refractions using Hybrid Rendering
(
- Contribution to journal › Article
-
Mark
Monstret i Turings bibliotek
(
- Contribution to specialist publication or newspaper › Specialist publication article
-
Mark
Filtered Stochastic Shadow Mapping Using a Layered Approach
(
- Contribution to journal › Article
-
Mark
Spotting Trees with Few Leaves
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Parity of Set Systems under Random Restrictions with Applications to Exponential Time Problems
2015) The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) 9134. p.231-242(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Fast Parallel Algorithm for Minimum-Cost Small Integral Flows
(
- Contribution to journal › Article
-
Mark
Fast and High-Quality Visibility Determination
2015)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Immersive Linear Algebra
2015)(
- Book/Report › Book
-
Mark
Perception of Highlight Disparity at a Distance in Consumer Head-Mounted Displays
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Application-Set Driven Exploration for Custom Processor Architectures
2015) 26th IEEE International Conference on Application-specific Systems, Architectures and Processors p.70-71(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Application-Set Mapping for Minimal-Disturbance Reconfiguration in Embedded Streaming
2015) MCC 2015: Eighth Swedish Workshop on Multi-Core Computing(
- Contribution to conference › Paper, not in proceeding
-
Mark
Graph colouring algorithms
2015) p.277-303(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
A comparative study of scheduling techniques for multimedia applications on SIMD pipelines
2015) DATE Friday Workshop on Heterogeneous Architectures and Design Methods for Embedded Image Systems (HIS 2015) p.3-9(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Programming support for reconfigurable custom vector architectures
2015) PMAM 2015: The 6th International Workshop on Programming Models and Applications for Multicores and Manycores in conjunction with PPoPP 2015, 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel p.49-57(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pixel Merge Unit
2015) Eurographics(
- Contribution to conference › Paper, not in proceeding
-
Mark
Method of generating data for estimating resource requirements for a circuit design
2015) US9117046 (B1)(
- Patent › Patent
-
Mark
Engineering Motif Search for Large Graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Algorithmic Improvements for Stochastic Rasterization & Depth Buffering
2015)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Bonsai: Rapid Bounding Volume Hierarchy Generation using Mini Trees
(
- Contribution to journal › Article
- 2014
-
Mark
Interactive rendering of NURBS surfaces
(
- Contribution to journal › Article
-
Mark
Energy Analysis for Graphics Processors using Novel Methods & Efficient Multi-View Rendering
2014)(
- Thesis › Doctoral thesis (monograph)
-
Mark
Determinant Sums for Undirected Hamiltonicity
(
- Contribution to journal › Article
-
Mark
Quickest path queries on transportation network
(
- Contribution to journal › Article
-
Mark
AMFS: Adaptive Multi-Frequency Shading for Future Graphics Processors
(
- Contribution to journal › Article
-
Mark
Dynamic Ray Stream Traversal
2014) 41th International Conference on Computer Graphics and Interactive Techniques, 2014 33(4). p.9-151(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adaptive texture space shading for stochastic rendering
(
- Contribution to journal › Article
-
Mark
3D Rectangulations and Geometric Matrix Multiplication
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fast Witness Extraction using a Decision Oracle
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation Algorithms for the Geometric Firefighter and Budget Fence Problems.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficiently Correcting Matrix Products
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Instruction Selection and Scheduling for DSP Kernels
(
- Contribution to journal › Article
-
Mark
Simple Iterative Heuristics for Correlation Clustering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortest Two Disjoint Paths in Polynomial Time
2014) Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014 8572. p.211-222(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Layered Reconstruction for Defocus and Motion Blur
(
- Contribution to journal › Article
-
Mark
Mapping streaming applications on multiprocessors with time-division-multiplexed network-on-chip
(
- Contribution to journal › Article
-
Mark
Listing Triangles
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Execution trace graph analysis of dataflow programs: Bounded buffer scheduling and deadlock recovery using model predictive control
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Realizing Efficient Execution of Dataflow Actors on Manycores
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automata, Languages, and Programming
- Book/Report › Conference proceeding (editor)
-
Mark
Counting Thin Subgraphs via Packings Faster Than Meet-in-the-Middle Time
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dataflow machines
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Measuring Per-Frame Energy Consumption of Real-Time Graphics Applications
(
- Contribution to journal › Article
-
Mark
Dataflow programs analysis and optimization using model predictive control techniques: An example of bounded buffer scheduling
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Turnus: An open-source design space exploration framework for dynamic stream programs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Characterizing communication behavior of dataflow programs using trace analysis
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Finding fast action selectors for dataflow actors
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Coarse grain clock gating of streaming applications in programmable logic implementations
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software code generation for dynamic dataflow programs
2014) SCOPES '14 Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems p.31-39(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Mapping and Scheduling of Dataflow Graphs - A Systematic Map
2014) 48th Asilomar Conference on Signals, Systems and Computers, 2014(
- Contribution to conference › Paper, not in proceeding
-
Mark
Coarse Pixel Shading
2014) High Performance Graphics, 2014(
- Contribution to conference › Paper, not in proceeding
-
Mark
Exponential Time Complexity of the Permanent and the Tutte Polynomial
(
- Contribution to journal › Article
- 2013
-
Mark
Synthesis and optimization of high-level stream programs
2013) The 2013 Electronic System Level Synthesis Conference(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Methods to explore design space for MPEG RVC codec specifications
(
- Contribution to journal › Article
-
Mark
Probably Optimal Graph Motifs
2013) 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), LIPIcs 20. p.20-31(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A(4): Asynchronous Adaptive Anti-Aliasing using Shared Memory
(
- Contribution to journal › Article
-
Mark
Actor Classification using Actor Machines
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time
(
- Contribution to journal › Article
-
Mark
Counting and Detecting Small Subgraphs via Equations
(
- Contribution to journal › Article
-
Mark
The Parity of Directed Hamiltonian Cycles
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Counting Closed Trails
(
- Contribution to journal › Letter
-
Mark
Dynamic Stackless Binary Tree Traversal
(
- Contribution to journal › Article
-
Mark
Detecting and Counting Small Pattern Graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Adaptive and Dynamic Mesh Refinement Based on a Non-recursive Strategy
(
- Contribution to journal › Article
-
Mark
Unique subgraphs are not easier to find
(
- Contribution to journal › Article
-
Mark
Stochastic Depth Buffer Compression using Generalized Plane Encoding
(
- Contribution to journal › Article
-
Mark
Hardware Support for CSP on a Java Chip-Multiprocessor
(
- Contribution to journal › Article
-
Mark
Representing Guard Dependencies in Dataflow Execution Traces
2013) Fifth International Conference on Computational Intelligence, Communication Systems, and Networks (CICSyN) p.291-295(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Octree Light Propagation Volumes
2013) SIGRAD, 2013(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Mapping Streaming Applications on Multiprocessor with Statically Configured NoC
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MPEG Reconfigurable Video Coding
2013) p.281-314(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Instruction Selection and Scheduling for DSP Kernels on Custom Architectures
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automatic Single-View Character Model Reconstruction
2013) p.5-14(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Buffer Optimization Based on Critical Path Analysis of a Dataflow Program Design
2013) IEEE International Symposium on Circuits and Systems (ISCAS), 2013(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Theory and Analysis of Higher-Order Motion Blur Rasterization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design space exploration and implementation of RVC-CAL applications using the TURNUS framework
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Turnus: A unified dataflow design space exploration framework for heterogeneous parallel systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design Space Exploration for Streaming Applications on Multiprocessors with Guaranteed Service NoC
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
TURNUS: a Design Exploration Framework for Dataflow System Design
2013) IEEE International Symposium on Circuits and Systems (ISCAS), 2013(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Systems Design Space Exploration by Serial Dataflow Program Executions
2013) 47th Annual Asilomar Conference on Signals, Systems, and Computers, 2003(
- Contribution to conference › Paper, not in proceeding
-
Mark
Automatic queue sizing for dataflow applications
2013) US 8,595,391(
- Patent › Patent
-
Mark
High-level Synthesis of Dataflow Programs for Signal Processing Systems
2013) 8th International Symposium on Image and Signal Processing and Analysis (ISPA 2013)(
- Contribution to conference › Paper, not in proceeding
-
Mark
JaCoP - Java Constraint Programming Solver
2013) CP Solvers: Modeling, Applications, Integration, and Standardization, co-located with the 19th International Conference on Principles and Practice of Constraint Programming(
- Contribution to conference › Abstract
-
Mark
Design Space Exploration of High-Level Stream Programs on Parallel Architectures
2013) 8th International Symposium on Image and Signal Processing and Analysis (ISPA 2013)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Multi-Clock-Domain Optimization for Reconfigurable Architectures in High-Level Dataflow Applications
2013) 47th Annual Asilomar Conference on Signals, Systems, and Computers, 2003(
- Contribution to conference › Paper, not in proceeding
-
Mark
Method and apparatus for processing an event notification in a concurrent processing system
2013) US 8,572,432(
- Patent › Patent
-
Mark
Partitioning and Optimization of High-Level Stream Applications for Multi-Clock-Domain Architectures
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2012
-
Mark
Performance per What?
(
- Contribution to journal › Article
-
Mark
High-Level Architecture Modeling and Exploration for Streaming Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hyperplane Culling for Stochastic Rasterization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Toward Efficient Execution of Dataflow Actors
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
High-Quality Curve Rendering using Line Sampled Visibility
(
- Contribution to journal › Article
-
Mark
Partitioning and Mapping Dynamic Dataflow Programs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Runtime Voltage/Frequency Scaling for Energy-Aware Streaming Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Texture Caches
(
- Contribution to journal › Debate/Note/Editorial
-
Mark
Per-Vertex Defocus Blur for Stochastic Rasterization
(
- Contribution to journal › Article
-
Mark
Constraint Programming Approach to Reconfigurable Processor Extension Generation and Application Compilation
(
- Contribution to journal › Article
-
Mark
Scheduling, binding and routing system for a run-time reconfigurable operator based multimedia architecture
(
- Contribution to journal › Article
-
Mark
Efficient Depth of Field Rasterization Using a Tile Test Based on Half-Space Culling
(
- Contribution to journal › Article
-
Mark
The Traveling Salesman Problem in Bounded Degree Graphs
(
- Contribution to journal › Article
-
Mark
Fast zeta transforms for point lattices
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Robust and Flexible Mapping for Real-Time Distributed Applications During the Early Design Phases
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Explicit Cache Management for Volume Ray-Casting on Parallel Architectures
2012)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Java bytecode to hardware made easy with Bluespec System Verilog
2012) JTRES '12 10th International Workshop on Java Technologies for Real-time and Embedded Systems p.80-87(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design and Novel Uses of Higher-Dimensional Rasterization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding