output
20082026
most citedDesign Space Exploration of Hardware Spiking Neurons for Embedded Artificial Intelligence

47 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2008

Modular Compilation of a Synchronous Language

Annie Ressouche, Daniel Gaffé, Valérie Roy

Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t…