Запитання з тегом «program-optimization»

Питання: Чи існує встановлена ​​процедура чи теорія для генерування коду, яка ефективно застосовує множення матричного вектора, коли матриця щільна та заповнена лише нулями та одиницями? В ідеалі оптимізований код використовував би систематизовану раніше обчислену інформацію для зменшення дублювання роботи. Іншими словами, у мене є матриця і я хочу зробити попередні …

22 linear-algebra  matrices  program-optimization 

У книзі Ендрю У. Аппеля " Сучасне впровадження компілятора в ML" він говорить, що в розділі 17 теорія обчислюваності показує, що завжди можна буде винайти нові оптимізуючі перетворення і перейти до доказу, що повністю оптимізуючий компілятор вирішить проблему зупинки: Програма Q, який не дає виходу і ніколи не зупиняється, може …

20 computability  compilers  program-optimization 

У мене є масив із 100 000 рядків, усіма довжиною . Я хочу порівняти кожну рядок з кожною іншою рядком, щоб побачити, чи відрізняються будь-які два рядки на 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, якимось чином оптимізовані для покращення роботи акумулятора. Я розумію, що процесор виконує певну кількість операцій в певний час, так що я думаю , що ви можете прискорити роботу додатків за рахунок скорочення числа необхідних операцій, але так як процесор буде по- …

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 …

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

@ Відповідь Бабу на недавнє запитання нагадує мені, що свого часу я думаю, що я прочитав документ про еквівалентність (з точки зору обох фактів, які можна зробити висновками або довести, та складності часу виконання алгоритму висновку) аналізу потоків даних , абстрактна інтерпретація та тип висновку . У деяких підставах (як, …

9 reference-request  compilers  type-inference  program-optimization