Marcel Walter
Titel
Zitiert von
Zitiert von
Jahr
Look-ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits
R Wille, O Keszocze, M Walter, P Rohrs, A Chattopadhyay, R Drechsler
Design Automation Conference (ASP-DAC), 2016 21st Asia and South Pacific …, 2016
872016
Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic
R Wille, O Keszocze, S Hillmich, M Walter, A Garcia-Ortiz
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016 …, 2016
332016
An Exact Method for Design Exploration of Quantum-dot Cellular Automata
M Walter, R Wille, D Große, FS Torres, R Drechsler
Design, Automation and Test in Europe (DATE), Dresden, Germany, 2018
262018
Scalable Design for Field-coupled Nanocomputing Circuits
M Walter, R Wille, FS Torres, D Große, R Drechsler
Proceedings of the 24th Asia and South Pacific Design Automation Conference …, 2019
142019
Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is NP-complete (Research Note)
M Walter, R Wille, D Große, FS Torres, R Drechsler
ACM Journal on Emerging Technologies in Computing Systems (JETC) 15 (3), 1-10, 2019
132019
Evaluating the Impact of Interconnections in Quantum-dot Cellular Automata
FS Torres, R Wille, M Walter, P Niemann, D Große, R Drechsler
2018 21st Euromicro Conference on Digital System Design (DSD), 649-656, 2018
122018
Synchronization of Clocked Field-coupled Circuits
FS Torres, M Walter, R Wille, D Große, R Drechsler
2018 IEEE 18th International Conference on Nanotechnology (IEEE-NANO), 1-5, 2018
122018
fiction: An open source framework for the design of field-coupled nanocomputing circuits
M Walter, R Wille, FS Torres, D Große, R Drechsler
arXiv preprint arXiv:1905.02477, 2019
82019
Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies
R Wille, M Walter, FS Torres, D Große, R Drechsler
2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 651-656, 2019
62019
Verification for field-coupled nanocomputing circuits
M Walter, R Wille, FS Torres, D Große, R Drechsler
2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020
42020
On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata
FS Torres, PA Silva, G Fontes, M Walter, JAM Nacif, RS Ferreira, ...
Microprocessors and Microsystems 76, 103109, 2020
42020
Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents
T Meywerk, M Walter, V Herdt, D Große, R Drechsler
2019 22nd Euromicro Conference on Digital System Design (DSD), 129-136, 2019
32019
Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits
M Walter, R Wille, FS Torres, R Drechsler
ISVLSI, 2020
12020
One-pass Synthesis for Field-coupled Nanocomputing Technologies
M Walter, W Haaswijk, R Wille, FS Torres, R Drechsler
2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC), 574-580, 2021
2021
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
T Meywerk, M Walter, V Herdt, J Kleinekathöfer, D Große, R Drechsler
International Symposium on Leveraging Applications of Formal Methods, 326-347, 2020
2020
ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing
U Garlando, M Walter, R Wille, F Riente, FS Torres, R Drechsler
2020 23rd Euromicro Conference on Digital System Design (DSD), 408-415, 2020
2020
Design Automation for Field-Coupled Nanotechnologies
M Walter, R Drechsler
2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 176-181, 2020
2020
VLSID & ES 2018–List of Reviewers
A Kranti, RS Chakraborty, G Saini, A Doboli, R Patrikar, G Rao, A Kulkarni, ...
Clustering-Guided SMT(LRA) Learning
T Meywerk, M Walter, D Große, R Drechsler
Additional Reviewers DSD 2020
RV Achmad, R Afonso, A Agrawal, D Basuroy, M Brohet, B Bussolino, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20