Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. Ditto
  5. Download

Ditto

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 2.7/5 - ‎10 ‎Голосов

О Ditto

Хотите написать структуру данных выполнения invariant проверить, чтобы найти ошибку, но не может выдержать замедление? То же самое поможет. Он автоматически оптимизирует такие проверки так, чтобы они запускаются в 10 раз быстрее и более. PLDI 2007 бумажный http://www.cs.berkeley.edu/~aj/cs/ditto.pdf

Похожие программы

  • Mobo Daemon Бесплатный

    Mobo Daemon это приложение, которое позволяет вам беспроводной управлять Android с вашего компьютера через Moborobo - "все-в-одном Android смартфон инструмент управления на ПК. Нажмите на эту ссылку, чтобы узнать больше Mobor

  • Electronic KeyBoard Бесплатный

    Электронная клавиатура является смоделированной клавиатурой, предназначенной для windows vista. Это интересный способ практиковать фортепиано на вашем компьютере. Весело играть с друзьями или в одиночку. Сделайте звуки музыки

  • Android Txt EBook Reader Бесплатный

    Простой читатель TXT для пользователей андроида. Для поддержки, пожалуйста, купите HYReader.

  • Daewoo Radio Code Calculator Бесплатная пробная версия

    «Daewoo Radio Code Calculator приложения были созданы для автомобильной электроники и для отдельных лиц, которые хотят разблокировать радио, но потерял радиоко кода. »Найти серийный на радио (8 цифровых) и переписать его на п

  • AntiLock Pro Бесплатная пробная версия

    Есть ли кто-нибудь, кто думает, что слайд блокировки для Android не нужно? Используя это приложение, экран разблокировки не будет отображаться, так что вы можете пропустить один шаг, чтобы вернуться на домашний экран.Pro

  • P2PCam264 Бесплатная пробная версия

    Это приложение специально построено для серии IP-камер P2P. «Все пользователи, пожалуйста, обратите внимание, что это приложение построено только для серии IP-камер P2P. Это приложение позволяет пользователям иметь возм

  • Veeda Бесплатная пробная версия

    "Veeda" - это приложение для виртуального вождения, разработанное Шри Дроидами. Это приложение помогает водителям, отображая навигационную информацию, управляя входящими звонками, читая текстовые сообщения и давая предупрежде

  • USB Barcode reader driver Бесплатный

    Это драйвер для чтения с USB считыватель штрих-кодов.

  • Anti-lost Бесплатная пробная версия

    Anti-Lost — это программное обеспечение Anti-Lost. По SMS и GPS телефона вы можете мгновенно узнать номер мобильного телефона текущего пользователя, а также его географические координаты.

  • Easy Answer Бесплатный

    Я ̃... Я ̃... Я ̃... Легкий ответ получения телефона легко ̃ ... Я ̃... Я ̃... 1 Датчик близости: Отвечая на вызов, чтобы ответить на вызов, не касаясь2 датчик ускорения, встряхните телефон: Получение call3 Shake Hangup: Датч