noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
banner
noerdman.bsky.social
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
160 followers 1 following 570 posts
Der Nerd aus dem Norden. Jeden Montag neu #comics #comic #noerdman #truscova www.rolfdrechsler.de
Posts Media Videos Starter Packs
#NORCAS2025 - Fatemeh Shirinzadeh from @dfki.bsky.social presenting on "Fault-Tolerant Character Recognition in Neuromorphic Systems Using RRAM Crossbar Arrays" - one of the Award Candidates; paper is available #online agra.informatik.uni-bremen.de/doc/konf/Nor... @unibremen.bsky.social #ReRAM
#NORCAS2025 - Saeideh Nabipour from @dfki.bsky.social presenting on "Performance Evaluation of MAGIC-ReRAM Arithmetic Circuits for Low-Latency In-Memory Computing"; paper is available #online agra.informatik.uni-bremen.de/doc/konf/Nor... @unibremen.bsky.social @dsc-ub.bsky.social #ReRAM #MAGIC
#ICCAD2025 - #Keynote by Hans-Jörg Vögel from BMW Group on "Driven by AI – Driving Requires More Compute Than Ever": 2007 #BMW takes stake in #DFKI 2025.iccad.com/plenary-spea... @dfki.bsky.social
20 Years of #ZeMKI International Anniversary Conference - Opening Ceremony: "20 Years into the Future: What is our vision of media, data, and society?" zemki.uni-bremen.de/en/event/20-... @unibremen.bsky.social #UniBremen @zemki.bsky.social #Bremen @dsc-ub.bsky.social
#DFT2025 - Chandan Kumar Jha from @unibremen.bsky.social presenting our paper at the 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, #Barcelona dfts.org/program.htm @dsc-ub.bsky.social @dfki.bsky.social #RRAM #verification
#DFT2025 - Chandan Kumar Jha from @unibremen.bsky.social presenting our paper on "Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory" at 38th IEEE Intl Symp on DFT www.dfts.org/program.htm @dsc-ub.bsky.social @dfki.bsky.social #RRAM #verification
#DTTIS2025 - Kamalika Datta from @unibremen.bsky.social and @dfki.bsky.social presents our paper on "A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing" dttis2025.uniwa.gr @dsc-ub.bsky.social #verification #synthesis #Plim #MAGIC #LiM
#DTTIS2025 - Lennart Weingarten from @unibremen.bsky.social presents our paper on "Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits" at #DTTIS dttis2025.uniwa.gr @dsc-ub.bsky.social @dfki.bsky.social #verification #formal #PolyVer