Вы здесь

Главная

эффективность

Связанные издания:

Software Process and Product Measurement: Proc./International Conferences IWSM 2008, MetriKon 2008, and Mensura 2008. Munich, Germany, November 2008
STACS 2007: Proc./24th Annual Symposium on Theoretical Aspects of Computer Science,Aachen,Germany,February 2007
String Processing and Information Retrieval: Proc./11th International Conference, SPIRE 2004. Padova, Italy, October 2004
Structural Complexity and Execution Efficiency of Distributed Application Protocols
SUCXENT: An Eddicient Path-Based Approach to Store and query XML Documents
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the Fly Transactions
Symmetry Reduction for Probabilistic Model Checking
Technologies for Advanced Heterogeneous Networks: Proc./First Asian Internet Engineering Congference, AINTEC 2005. Bangkok, Thailand, December 2005
Temporal Verification of Probabilistic Multi-Agent Systems
Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text Mining
The Church-Turing Thesis over Arbitrary Domains
The Construction of Domain Ontology and Its Application to Document Retrieval
The Michigan benchmark: towards XML query performance diagnostics
The Next Generation Messaging Technology - Makes Web Services Effective
Theory and Applications of Models of Computation: Proc./4th International Conference, TAMC 2007. Shanghai, China, May 2007
Tools and Algorithms for the Construction and Analysis of Systems: Proc./12th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March/April 2006
Tools and Algorithms for the Construction and Analysis of Systems: Proc./13th Intl Conference TACAS 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007
Towards Generation of Efficient Transformations
Towards Integration of XML Document Access and Version Control
Transformation Approach to Designing Effective and Reliable Programs for Parallel Computers
Using Delta Relations to Optimize Condition Evaluation in Active Databases
Vectorized Presentation-Level Services for Scientific Distributed Applications
Verification, Model Checking and Abstract Interpretation: Proc./6th International Conference, VMCAI 2005. Paris, France, January 2005
Web Services and Formal Methods: Revised Selected Papers/ 5th International Workshop, WS-FM 2008. Milan, Italy, September 2008
Wired/Wireless Internet Communications: Proc./5th International Conference, WWIC 2007. Coimbra, Portugal, May 2007
Wired/Wireless Internet Communications: Proc./Third International Conference, WWIC 2005. Xanthi, Greece, May 2005
ZPL: A Machine Independent Programming Language for Parallel Computers
Алгоритмы параллельных вычислений для задач линейной алгебры с матрицами нерегулярной структуры
АнализIP-трафика методами Data Mining
Анализ эффективности Web-узлов
Информационная структура алгоритмов
Использование метрик для повышения эффективности повторного использования программного обеспечения
Исследование алгоритмической структуры ЭКВМ и пути повышения их эффективности
Исследование межмашинного обмена в вычислительных комплексах ЕС ЭВМ, функционирую их под управлением многомашинной подсистемы ввода заданий
Исследование эффективности комбинации различных дисциплин приоритетного обслуживания заявок в вычислительных системах
Исследование эффективности реализации нового приближенного алгоритма для задачи положительного линейного программирования
К вопросу о сопоставлении методов оценки эффективности вычислительных систем
КЭШ
Математическое и алгоритмическое обеспечение для системы визуализации в САПР
Международная научно-техническая конференция "Программное обеспечение ЭВМ". Секция 4: Экономическая и социальная эффективность применения вычислительной техники
Метод глобального равновесного поиска решения задачи о максимальном взвешенном разрезе графа
Методы и инструменты метрической поддержки разработки качественных программ
Методы интеграции логического программирования и программирования в ограничениях
Методы синтеза эффективной рабочей программы
Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах
Некоторые вопросы надежности сложных технических систем
Некоторые методы повышения эффективности интерпретатора АПЛ
Об эффективно топологических пространствах
Об эффективных алгоритмах для задачи CSP и их программной реализации
Один подход к оценке эффективности иерархических систем