Вопросы с тегом «program-optimization»

Вопрос: Существует ли установленная процедура или теория для генерации кода, который эффективно применяет умножение матрицы на вектор, когда матрица плотна и заполнена только нулями и единицами? В идеале оптимизированный код должен систематически использовать ранее вычисленную информацию для сокращения дублируемой работы. Другими словами, у меня есть матрица MMM и я хочу …

22 linear-algebra  matrices  program-optimization 

В книге Эндрю У. Аппеля « Реализация современного компилятора в ML» он говорит в главе 17, что теория вычислимости показывает, что всегда можно изобрести новые оптимизирующие преобразования, и продолжает доказывать, что полностью оптимизирующий компилятор решит проблему остановки: Программа Q, который не производит никакого вывода и никогда не останавливается, может быть …

20 computability  compilers  program-optimization 

У меня есть массив из 100 000 строк, все длиной kkk . Я хочу сравнить каждую строку с любой другой строкой, чтобы увидеть, отличаются ли любые две строки на 1 символ. Прямо сейчас, когда я добавляю каждую строку в массив, я проверяю ее по каждой строке, уже находящейся в массиве, …

19 algorithms  data-structures  program-optimization  comparison 

Согласно странице Википедии о статическом одиночном назначении (SSA) , SSA используется крупными и известными проектами, такими как LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey и V8, в то время как страница с проектами использует стиль прохождения продолжения. (CPS) немного не хватает в сравнении. У меня есть представление, что CPS предпочитают компиляторы …

16 compilers  program-optimization  continuations 

Я знаком с идеей базового исключения хвостовой рекурсии, когда функции, которые возвращают прямой результат вызова для себя, могут быть переписаны как итерационные циклы. foo(...): # ... return foo(...) Я также понимаю, что в особом случае функция все еще может быть переписана, если рекурсивный вызов обернут в вызов cons. foo(...): # …

14 compilers  recursion  program-optimization  tail-recursion 

Я читал, что операционные системы, такие как Android и iOS, каким-то образом оптимизированы для увеличения времени автономной работы. Насколько я понимаю, процессор выполняет определенное количество операций за определенное время, поэтому я думаю, что вы можете ускорить приложения, сократив количество требуемых операций, но поскольку процессор все равно будет выполнять x операций …

11 computer-architecture  operating-systems  performance  program-optimization 

В Википедии дается реализация восходящей схемы динамического программирования для расстояния редактирования. Это не следует определению полностью; внутренние ячейки вычисляются следующим образом: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( d[i-1, j] + 1, // a deletion d[i, j-1] …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

Ответ Бабу на недавний вопрос напоминает мне о том, что когда-то я читал статью об эквивалентности (с точки зрения как фактов, которые можно вывести или доказать, так и сложности времени выполнения алгоритма вывода) анализа потока данных , абстрактная интерпретация , и тип логического вывода . В некоторых случаях (например, между …

9 reference-request  compilers  type-inference  program-optimization