PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Große, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Approximation-aware rewriting of AIGs for error tolerant applications.

, , , and . ICCAD, page 83. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bärbel Große-Wöhrmann University of Stuttgart

Dr. -Ing. Daniel Holder University of Stuttgart

Optimisation Approach for the Convergence Process of Design and Technology in Automotive Development, , and . Interdisciplinary Practice in Industrial Design : Proceedings of the 14th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, 100, page 109-118. New York, AHFE Open Access, (2023)

Daniel Holder University of Stuttgart

Daniel Sollich University of Stuttgart

Daniel Mezger University of Stuttgart

 

Other publications of authors with the same name

Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules., , , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 228-233. Springer, (2015)From Requirements and Scenarios to ESL Design in SystemC., , and . ISED, page 183-187. IEEE, (2012)Localizing features of ESL models for design understanding., , and . FDL, page 120-125. IEEE, (2012)Extensible and Configurable RISC-V Based Virtual Prototype., , , and . FDL, page 5-16. IEEE, (2018)Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm., , , and . GECCO (Companion), page 79-80. ACM, (2016)metaSMT: Focus on Your Application not on Solver Integration., , , , and . DIFTS@FMCAD, volume 832 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers., , and . DAC, page 185. ACM, (2019)Error Bounded Exact BDD Minimization in Approximate Computing., , and . ISMVL, page 254-259. IEEE Computer Society, (2017)Modeling Multi-Valued Circuits in SystemC., , and . ISMVL, page 281-286. IEEE Computer Society, (2003)Verifying SystemC using an intermediate verification language and symbolic simulation., , , and . DAC, page 116:1-116:6. ACM, (2013)