L'informatique

9
Sélection des paramètres pour l'algorithme génétique

Comment sélectionner le nombre approprié de paramètres pour un algorithme génétique pour modéliser un système donné? Par exemple, supposons que vous souhaitiez optimiser la production de voitures et que vous disposiez de 1 000 mesures d'efficacité horaire pour différentes tâches pour chacun des 1...

9
Représentation compacte des chemins dans un graphique

J'ai un sous-ensemble des chemins simples dans un graphique. La longueur des chemins est délimitée par .rédd Quelle est la manière la plus compacte (en termes de mémoire) que je peux représenter les chemins de sorte qu'aucun autre chemin en dehors de ceux sélectionnés ne soit représenté? Notez que...

9
Les techniques de vérification des programmes pourraient-elles empêcher les bogues du genre Heartbleed de se produire?

Concernant le bug Heartbleed, Bruce Schneier écrivait dans son Crypto-Gram du 15 avril: «Catastrophique» est le bon mot. Sur une échelle de 1 à 10, il s'agit d'un 11. » J'ai lu il y a plusieurs années qu'un noyau d'un certain système d'exploitation a été rigoureusement vérifié avec un système de...

9
Inférence de type + surcharge

Je suis à la recherche d'un algorithme d'inférence de type pour un langage que je développe, mais je n'ai pas pu trouver celui qui correspond à mes besoins car ils sont généralement soit: à la Haskell, avec polymorphisme mais sans surcharge ad hoc à la C ++ (auto) dans laquelle vous avez une...

9
Expressivité des expressions régulières modernes

J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai...