Daniel Brand

Top. Cogn. Sci., 2022

2021

Unifying Models for Belief and Syllogistic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 43th Annual Meeting of the Cognitive Science Society, 2021

2020

Predictive Modeling of Individual Human Cognition: Upper Bounds and a New Perspective on Performance.

[BibT_eX]

[DOI]

Top. Cogn. Sci., 2020

Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion".

[BibT_eX]

[DOI]

Top. Cogn. Sci., 2020

Uncovering the Data-Related Limits of Human Reasoning Research: An Analysis based on Recommender Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Do Models Capture Individuals? Evaluating Parameterized Models for Syllogistic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

Analyzing the Differences in Human Reasoning via Joint Nonnegative Matrix Factorization.

[BibT_eX]

[DOI]

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

2019

When Does a Reasoner Respond: Nothing Follows?

[BibT_eX]

[DOI]

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2018

Training Deep Neural Networks with 8-bit Floating Point Numbers.

[BibT_eX]

[DOI]

Kailash Gopalakrishnan

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Developers' Needs and Severity Conceptions of Usability Problems.

[BibT_eX]

[DOI]

Proceedings of the Mensch und Computer 2018, 2018

The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

AdaComp : Adaptive Residual Gradient Compression for Data-Parallel Distributed Training.

[BibT_eX]

[DOI]

Kailash Gopalakrishnan

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

MEC: Memory-efficient Convolution for Deep Neural Network.

[BibT_eX]

[DOI]

Minsik Cho

Proceedings of the 34th International Conference on Machine Learning, 2017

2016

Pointing at the HUD: Gesture Interaction Using a Leap Motion.

[BibT_eX]

[DOI]

Alexander Meschtscherjakov

Kevin Büchele

Proceedings of the Adjunct Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2016

2015

PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2015

Efficient GPU implementation of convolutional neural networks for speech recognition.

[BibT_eX]

[DOI]

Proceedings of the INTERSPEECH 2015, 2015

2010

A novel analysis space for pointer analysis and its application for bug finding.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

2008

Flexible pointer analysis using assign-fetch graphs.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Evidence-Based Analysis and Inferring Preconditions for Bug Detection.

[BibT_eX]

[DOI]

Marcio Buss

Vugranam C. Sreedhar

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

2002

Early analysis tools for system-on-a-chip design.

[BibT_eX]

[DOI]

John A. Darringer

Subhrajit Bhattacharya

IBM J. Res. Dev., 2002

2000

A Software Falsifier.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

1998

Don't cares in synthesis: theoretical pitfalls and practical solutions.

[BibT_eX]

[DOI]

Leon Stok

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

1996

BooleDozer: Logic synthesis for ASICs.

[BibT_eX]

[DOI]

IBM J. Res. Dev., 1996

Inaccuracies in power estimation during logic synthesis.

[BibT_eX]

[DOI]

Chandramouli Visweswariah

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

1995

Be careful with don't cares.

[BibT_eX]

[DOI]

Leon Stok

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

Efficient use of large don't cares in high-level and logic synthesis.

[BibT_eX]

[DOI]

Michel R. C. M. Berkelaar

Leon Stok

Shiv Prakash

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

1994

Identification of redundant delay faults.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

In the Driver's Seat of BooleDozer.

[BibT_eX]

[DOI]

Lukas P. P. P. van Ginneken

Robert F. Damiano

Anthony D. Drumm

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

Incremental synthesis.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

1993

Exhaustive simulation need not require an exponential number of tests.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

Minimization of AND-EXOR Expressions Using Rewrite Rules.

[BibT_eX]

[DOI]

Tsutomu Sasao

IEEE Trans. Computers, 1993

Verification of large synthesized designs.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

1992

Identification of Single Gate Delay Fault Redundancies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

1989

Synthesis of Pseudo-Random Pattern Testable Designs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings International Test Conference 1989, 1989

1988

Timing Analysis Using Functional Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

Hill climbing with reduced search space (logic optimization).

[BibT_eX]

[DOI]

Proceedings of the 1988 IEEE International Conference on Computer-Aided Design, 1988

1986

Detecting Sneak Paths in Transistor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1986

On typing in prolog.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1986

Technology adaption in logic synthesis.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1985

Production logic synthesis.

[BibT_eX]

[DOI]

John A. Darringer

Louise Trevillyan

John V. Gerbi

Proceedings of the 13th ACM Annual Conference on Computer Science, 1985

1984

LSS: A System for Production Logic Synthesis.

[BibT_eX]

[DOI]

John A. Darringer

John V. Gerbi

Louise Trevillyan

IBM J. Res. Dev., 1984

1983

On Communicating Finite-State Machines

[BibT_eX]

[DOI]

Pitro Zafiropulo

J. ACM, April, 1983

Redundancy and Don't Cares in Logic Synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1983

1982

Verification of HDLC.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1982

1980

Towards Analyzing and Synthesizing Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1980

1979

Symbolic simulation for correct machine design.

[BibT_eX]

[DOI]

William C. Carter

Proceedings of the 16th Design Automation Conference, 1979

1978

A note on data abstractions.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1978

Path Calculus in Program Verification.

[BibT_eX]

[DOI]

J. ACM, 1978

Verification of Protocols Using Symbolic Execution.

[BibT_eX]

[DOI]

Comput. Networks, 1978

Using Machine Descriptions in Program Verification.

[BibT_eX]

William C. Carter

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

Microprogram verification considered necessary.

[BibT_eX]

William C. Carter

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1976

Analytic Resolution in Theorem Proving.

[BibT_eX]

[DOI]

Artif. Intell., 1976

Proving Programs Incorrect.

[BibT_eX]

Proceedings of the Third International Colloquium on Automata, 1976

1975

Proving Theorems with the Modification Method.

[BibT_eX]

[DOI]