Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Ditto
  5. Download

Ditto

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 2.7/5 - ‎10 ‎Votes

Sur Ditto

Vous voulez écrire une vérification invariante de la structure de temps d’exécution pour trouver un bogue, mais ne supporte pas le ralentissement ? Idem aidera. Il optimise automatiquement ces contrôles de sorte qu’ils fonctionnent 10x plus rapidement ou plus. PLDI 2007 papier http://www.cs.berkeley.edu/~aj/cs/ditto.pdf

Programmes connexes

  • Mobo Daemon Gratuit

    Mobo Daemon est une application qui vous permet de gérer sans fil votre Android à partir de votre PC via Moborobo à ¢  €  « un tout-en-un Android Smartphone Management Tool sur PC. Cliquez sur ce lien pour en savoir plus Mo

  • Electronic KeyBoard Gratuit

    Electronic Keyboard est un clavier simulé conçu pour windows vista. C’est une façon amusante de pratiquer le piano sur votre PC. Amusez-vous à jouer avec vos amis ou seul. Faites les sons de la musique dans ce nouveau logicie

  • Android Txt EBook Reader Gratuit

    Un simple lecteur TXT pour les utilisateurs android. Pour prendre en charge, s’il vous plaît acheter HYReader.

  • Daewoo Radio Code Calculator Essai gratuit

    *Daewoo Radio Code Calculator apps a été créé pour l’électronique automobile et pour la personne individuelle qui veut déverrouiller une radio, mais a perdu un code radio.*Trouver série sur votre radio (8 numériques) et le ré

  • AntiLock Pro Essai gratuit

    Y at-il quelqu’un qui pense que le verrou de diapositives pour Android est inutile? À l’aide de cette application, l’écran de déverrouillage ne sera pas affiché, de sorte que vous pouvez sauter une étape pour revenir à l’éc

  • P2PCam264 Essai gratuit

    Cette application est spécialement conçue pour les séries de caméras IP P2P. *Tous les utilisateurs s’il vous plaît noter que cette application construite uniquement pour la série de caméras IP P2P. Cette application pe

  • Veeda Essai gratuit

    « Veeda » est une application d’assistant de conduite virtuelle développée par Sri Droides. Cette application aide les conducteurs en affichant les informations de navigation, en gérant les appels entrants, en lisant les mess

  • USB Barcode reader driver Gratuit

    Il s’agit d’un pilote pour la lecture à partir d’un lecteur de code à barres USB.

  • Anti-lost Essai gratuit

    Anti-lost est un logiciel anti-perdu. Par SMS et GPS du téléphone, vous pouvez connaître instantanément le numéro de téléphone mobile de l’utilisateur actuel, ainsi que ses coordonnées géographiques.

  • Easy Answer Gratuit

     ¢  ~  ...  ¢  ~  ...  ¢  ~  ... Easy Answer réception du téléphone facilement à ¢  ~  ...  ¢  ~  ...  ¢  ~  ... 1 Capteur de proximité : Répondre à un appel pour répondre à un appel sans toucher2 Capteur d’a