David Walter

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 10

Top Topics

Systematic Review

Support Systems

Floating Point Arithmetic

Top Venues

Publications

Marco Di Maria, David Walter, Paul-Ferdinand Steuck, Ralf Knackstedt
Mitigating Educational Challenges Through Unlearning. DELFI (2023)
Marco Di Maria, David Walter, Fabian Segieth, Ralf Knackstedt
COREFLECTOR - Prototyp zur Unterstützung von Verlernen beim analytischen Lesen für Studierende. DELFI (2023)
Marco Di Maria, David Walter, Ralf Knackstedt
Promoting Sustainable Ecosystems through Interorganizational Unlearning - A Call for Research. GI-Jahrestagung (2023)
Marco Di Maria, David Walter, Thorsten Schoormann, Ralf Knackstedt
Practical Support for Unlearning â€" a Systematic Review to Organize the field. ECIS (2023)
David Walter, Marco Di Maria, Ralf Knackstedt
Tool-Support for Managing Technostress in Hybrid Learning Settings. DELFI (2023)
Marco Di Maria, David Walter, Thorsten Schoormann, Ralf Knackstedt
Design-Challenges im virtuellen Raum - Ein Erfahrungsbericht und Handlungsempfehlungen. HMD Prax. Wirtsch. 60 (3) (2023)
Marco Di Maria, David Walter, Thorsten Schoormann, Ralf Knackstedt
Designing Unlearning Support Systems: A Requirements Catalog. Wirtschaftsinformatik (2023)
Marco Di Maria, David Walter, Ralf Knackstedt
THESIS DESIGNER - Eine Webanwendung zur Unterstützung von Abschlussarbeiten. DELFI (2022)
Ayon Basumallik, Darius Bunandar, Nicholas Dronen, Nicholas C. Harris, Ludmila Levkova, Calvin McCarter, Lakshmi Nair, David Walter, David Widemann
Adaptive Block Floating-Point for Analog Deep Learning Hardware. CoRR (2022)
Rohil Verma, Samuel Kim, David Walter
Syntactical Analysis of the Weaknesses of Sentiment Analyzers. EMNLP (2018)
Andrew N. Fisher, Satish Batchu, Kevin R. Jones, Dhanashree Kulkarni, Scott Little, David Walter, Chris J. Myers
LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. MWSCAS (2014)
Kostadin Damevski, Badreldin Altayeb, Hui Chen, David Walter
Teaching cyber-physical systems to computer scientists via modeling and verification. SIGCSE (2013)
Scott Little, David Walter, Chris J. Myers, Robert A. Thacker, Satish Batchu, Tomohiro Yoneda
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (4) (2011)
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Int. J. Found. Comput. Sci. 21 (2) (2010)
David Walter, Scott Little, Chris J. Myers, Nicholas Seegmiller, Tomohiro Yoneda
Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (12) (2008)
David Walter, Scott Little, Chris J. Myers
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. ATVA (2007)
David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
Symbolic Model Checking of Analog/Mixed-Signal Circuits. ASP-DAC (2007)
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. ATVA (2007)
Chris J. Myers, Reid R. Harrison, David Walter, Nicholas Seegmiller, Scott Little
The Case for Analog Circuit Verification. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda
Verification of analog/mixed-signal circuits using labeled hybrid petri nets. ICCAD (2006)
Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
Verification of timed circuits with failure-directed abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (3) (2006)
Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. ATVA (2004)
Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
Verification of Timed Circuits with Failure Directed Abstractions. ICCD (2003)
David Walter, Jon M. Kerridge
The Design of the IRISS Parallel Database Machine. HPCN Europe (1996)
Jon M. Kerridge, David Walter, Romola Guiton
W-SQL: An Interface for Scalable, Highly Parallel Database Machines. BNCOD (1995)
David Walter
Computer art from Newton's, Secant, and Richardson's methods. Comput. Graph. 18 (1) (1994)
David Walter, Jon M. Kerridge
Large Scale Data Management and Massively Parallel Architectures in Automatic Fingerprint Recognition. HPCN (1994)
David Walter
Systemised serendipity for producing computer art. Comput. Graph. 17 (6) (1993)