- da4ml: Distributed Arithmetic for Real-time Neural Networks on FPGAs
2025/07/06 by Chang Sun, Sun, Chang, Zhiqiang Que +7 · 5 citations
Computer Science · Engineering · #B.2.4 #B.6 #FOS: Computer and information sciences #FOS: Physical sciences #Fault Detection and Control Systems #Hardware Architecture (cs.AR) #High Energy Physics - Experiment (hep-ex) #Machine Learning (cs.LG) #Neural Networks and Applications
- Encoding Integers and Rationals on Neuromorphic Computers using Virtual Neuron
2022/08/15 by Prasanna Date, Date, Prasanna, Shruti Kulkarni +9 · 1 citation
Computer Science · Engineering · #Advanced Memory and Neural Computing #B.2 #B.6 #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Hardware Architecture (cs.AR) #Neural Networks and Reservoir Computing #Neural and Evolutionary Computing (cs.NE)
- The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
2013/05/01 by David I. Spivak, Spivak, David I. · 7 citations
Computer Science · Mathematics · #03B10 #03B70 #03D20 #18A15 #18B10 #18D50 #68P15 #94C99 #B.6 #Category Theory (math.CT) #D.1.6 #D.3.3 #Databases (cs.DB) #E.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #G.2.2 #G.4 #H.2.1 #H.2.3 #H.5 #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #acm:03B10 #acm:03B70 #acm:03D20 #acm:18A15 #acm:18B10 #acm:18D50 #acm:68P15 #acm:94C99 #cs.DB #math.CT #math.LO #msc:03B10 #msc:03B70 #msc:03D20 #msc:18A15 #msc:18B10 #msc:18D50 #msc:68P15 #msc:94C99