22 août 2014
_année_2014 _mois_août documentation groovy java programming tutorial
Selecting top k items from a list efficiently in Java / Groovy
Très bon article sur la sélection partielle dans une grosse liste. Je ne pensais pas que l’utilisation naïve de TreeMap dans ce cas était aussi inefficace.