Справочник JavaScript

15.12.2016 - Автор: tutor - Категория: JavaScript - Нет комментариев

Глобальные методы

Кратко | Подробно

Глобальные свойства

Кратко | Подробно

Синтаксические конструкции

Кратко | Подробно

Операторы

Кратко | Подробно

SAT-солвер на основе метода резолюций
Для решения проблемы SAT предлагается алгоритм, который вытекает из нестандартного доказательства полноты метода резолюций. В отличие от SAT-солверов, использующих поиск с возвратом, алгоритм исключает переменные по очереди, порождая новые клаузы. Все клаузы хранятся в структуре данных, в которой никакая клауза не является частью другой клаузы. На основании результатов тестирования выдвинуто предположение о небольшом объеме этой […]
Sunarius: Battle Brothers встречает Fallout в постапокалиптической пустоши
Если описать Sunarius одной фразой, получится примерно так: отряд из Battle Brothers отправили путешествовать по миру классического Fallout на мобильном телефоне (андроид)Именно на эти две легендарные игры Sunarius опирается сильнее всего. От Battle Brothers здесь управление целой группой, поездки по большой карте, найм людей, поиск снаряжения и пошаговые бои. От Fallout пришли постапокалиптический мир, мутанты, […]
Микроядро SME2 sgemm: 1024 умножения-сложения за проход
В этой части мы возьмём первый из пропусков BLIS — микроядро sgemm; сначала зафиксируем форму аккумулятора 32×32 в четырёх тайлах ZA, затем разберём горячий цикл по K, потом эпилог с alpha, beta и ловушкой NaN, а в конце посмотрим, какие числа производительности даёт именно это ядро. Следующая часть оставит структуру почти той же, но заменит […]
Оптимизация агрегатов PostgreSQL — что может расширение?
Агрегаты в PostgreSQL не очень-то эффективны. Это особенно заметно в сравнении с SQL Server в сценарии, где частичная агрегация не помогает: когда агрегация только подготавливает данные для запроса, обрабатывая большой поток строк и на выходе получая ненамного меньший набор групп и посчитанных по ним агрегатов. Хуже всего приходится типам переменной длины. И здесь характерный пример […]