3 ms·
Well, for math we're already here: http://www.spiralgen.com http://www.spiralgen.com It's optimizes math code, both at the math level and the implementation le
by petra 10y ago
Well, for math we're already here: http://www.spiralgen.com http://www.spiralgen.com
It's optimizes math code, both at the math level and the implementation level, and Intel have used it to optimize their performance libraries.
- tluyben2 10y agoNice, I did not see that one yet; any papers on how it works?
- petra 10y agosee: http://users.ece.cmu.edu/~moura/papers/ieeeproceedings-pueschelmouraetal-feb05-ieeexplore.pdf http://users.ece.cmu.edu/~moura/papers/ieeeproceedings-puesc... http://www.spiral.net http://www.spiral.net
- amelius 10y ago> Well, for math we're already here No, they are here: > SpiralGen holds the exclusive license to the Spiral software generation and optimization technology. But I wonder how that can be true if: > Spiral was developed under the lead of Carnegie Mellon University
- nickpsecurity 10y agoIt's called Technology Transfer to private sector. Happens all the time. The CompCert certifying compiler for C was a landmark achievement of INRIA that lots of CompSci is building on. A company called AbsInt controls the I.P. now.
- petra 10y agoThe thing i don't get: this seems like a useful but rarely used tech. Even if there are patents involved , i'm sure it's not patented everywhere around the globe, and it's just software, so why isn't there no real competition ? something like a reasonably prices SAAS service ?