StarPU Software Authors: C. Augonnet, S. Thibault, R. Namyst, P.-A. Wacrenier Cited in: 31 Publications (2012–2022) Related Software: CUDA; OpenCL; PLASMA; OmpSs; DAGuE; MAGMA; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
UMM Software Authors: Yang Y, Gopalakrishnan G, Lindstrom G Cited in: 6 Publications (2007–2016) Related Software: Coq; Checkfence; TSOTool; GitHub; Weak2SC; Lazy-CSeq; … Main Fields: Computer science (68-XX)
ArchC Software Authors: Azevedo, Rodolfo; Rigo, Sandro; Bartholomeu, Marcus; Araujo, Guido; Araujo, Cristiano; Barros, Edna Cited in: 2 Publications (2005–2010) Related Software: aiT; MiBench; MediaBench; ISDL Main Fields: Computer science (68-XX)