output
20062026
most citedHyperspectral and Multispectral Image Fusion based on a Sparse Representation

709 citations

researchers with a paper here
collaborating institutions
Showing 2006Show all

1 paper · 1 filter

cs.DC2006★ 7 cited

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux

The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type s…