Parallel Systems
1 – 10 of 469
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Using machine learning hardware to solve linear partial differential equations with finite difference methods
(
- Contribution to journal › Article
-
Mark
Navigating the Challenges and Opportunities of Securing Internet of Autonomous Vehicles With Lightweight Authentication
(
- Contribution to journal › Article
- 2024
-
Mark
Quantum Automating TC0-Frege Is LWE-Hard
2024) 39th Computational Complexity Conference, CCC 2024 In Leibniz International Proceedings in Informatics, LIPIcs 300.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From Proof Complexity to Circuit Complexity via Interactive Protocols
2024) 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 In Leibniz International Proceedings in Informatics, LIPIcs 297.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Packet-Type Aware Scheduling of Moldable Streaming Tasks on Multicore Systems with DVFS
(
- 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
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
-
Mark
KRW Composition Theorems via Lifting
(
- Contribution to journal › Article
-
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