Архив рассылки

Статья рассказывает о новом направлении в развитии статических анализаторов кода – верификации параллельных программ. В статье рассказывается о нескольких статических анализаторах, которые могут претендовать на звание \"Parallel Lint\".

Характерной особенностью исполняемых модулей и динамических библиотек Windows является наличие в них так называемых ресурсов. Иконки, курсоры, диалоговые окна, меню, графические образы и текстовые таблицы, а так же информация о версии файла являются неотъемлемой частью большинства приложений с графическим интерфейсом для Windows. Как известно, исполняемый модуль состоит из заголовка файла PE-формата (Portable Executable) и нескольких секций, одна из которых является секцией ресурсов.

Практически любой программный терминал для биржевой торговли и валютного рынка Forex позволяет получать котировки как в реальном времени, так и в виде базы исторических данных и хранить их локально на компьютере пользователя. Торговый терминал MetaTrader 4 хранит файлы с историческими данными в одном из подкаталогов своей рабочей директории.

Для форматирования элементов на web-странице, web-мастера создают имена классов и id которыми идентифицируют контейнеры. Свойства css селекторов должны в точности соответствовать свойствам XHTML тегов, для которых они предназначены, а вот названия классов и идентификаторов зависят только от web-мастера, создающего эти классы. Однако при выборе названия классов и идентификаторов web-мастера не должны полностью полагаться на свою изобретательность. Хоть и не существует четких правил для имен классов и id, все же существует ряд рекомендаций, направленных на достижение структурированности названий для уменьшения путаницы.

• tomcat 5.5.16 + Apache 2.2 / Derack
• модуль mod_isapi / disaper
• получение всего списка адресов DNS-сервера / temporary_user
• Не работает регулярное выражение / kiparis
• POP3 и новые письма / Sholah_Weras

• Регистрация в базе каталогов / Averess
• FOR SALE A BRAND NEW APPLE IPHONE 3GS 32GB.....250EURO / mobile4es
• Многопользовательский доступ к таблице paradox / lordconrad
• Проверить существование html страницы / iBass
• Вызов функции с параметром AnsiString ( С6 -> BDS2009 ) / Ku-Klux-Klan

• Банальный вопрос по заголовкам / dimson
• USB / MadGest
• ошибка при инициализации приложения (0xc0150002) / Karrde
• WinForms две формы / Akula
• VS 2008 & Windows 7 / Inc(Dec(i))

• Подскажите, пжл, как создать двухмерный массив? / Dmitry2064
• Update БД через MSFlexGrid Control! / SPB-667
• Иморт данных из SQL в Excel при помощи QueryTable VBS, Иморт данных из SQL в Excel пр / Valdocco
• не могу вытянуть весь текст из Shapes() / devil_incarnate
• ВСТАВКА ФОТО В ЛИСТ EXCEL С ПОМОЩЬЮ МАКРОСА (НУЖНА ПОМОЩЬ!) / Menshikov

• Помогите найти! / MishevskiyAlex
• squirL, Dart Bobr - наши поздравления / Lerkin
• Продаю загрузки / Soniczagr
• Продаю загрузки / Soniczagr
• кто хочет свой ICQ чат то пишите 9883763 / хочешь свой ICQ чат??????

• Заполнение веб формы / RIO
• Проект Ангор (Саморазвивающийся мир) / Gexon
• Программное управление Internet Explorer-ом / dmitry_12_08_1973
• Com-порт. DCB / ccolg
• Прога в Delphi 7 / LeviuS

• Разбивка строки в Word (VBA) / shabbiness
• Ошибка в sizeof() ? / grrrr
• Программный эмулятор BIOS материнской платы ASUS P5K / bios-sim
• Прога в Delphi 7 / LeviuS
• Помогите с прогой(Delphi 7) / LeviuS

• Проблема с программой работы с видеобуфером / mustafa1453
• Форматирование дискеты под win / logree
• Специфичные asm-инструкции / @.n.g.e.r
• Требуется найти особую инфу )) / cyberhawk
• количество столбцов и строк в консоли / cyberhawk

• Требуется помощь в выборе "языка" программирования. / D1abLo
• Память и переменные / vazha.t
• FOR SALE A BRAND NEW APPLE IPHONE 3GS 32GB.....250EURO / mobile4es
• Распознавание речи. HELP! / dimetcm
• посмотреть исходник Access-совской программы / vitalik_4

• Быстрый вектор на C# / sigmov
• Преобразование типов / Pirit
• Создание COM на C# и дальнейшее использование / sigmov
• Скорость доступа к массиву / gaga
• как объединить две DataTable / sasa123456

• CreateFile из службы / KPI Student
• Отправка почты / Killer-App
• .bmp в окне / abra
• FindWindowEx & ReadFile / Alm3n
• Отмена завершения работы Windows / KIV

• win7 загрузчик / freak999
• Проблемы с Opera / @pixo $oft
• iptables + internal ftp + external ftp / SkyMаn
• Сквид. запретить подключения удаленных клиентов / SkyMаn
• Где можно найти драйвер веб камеры crystal cam? / sig

• object и tooltips / clgs
• Сказка о Кощее или как спрятать флеш / FAngel
• работа с кнопкой / f-a-l-l-e-n
• help / f-a-l-l-e-n
• Печать страницы без дополнительной информации / Poltos

• Проблема при входе в "Мои исходники" / @pixo $oft
• Закрытие темы / tva94
• Теги / _io_lock
• Проблемы с личными сообщениями / t-34
• Убейте аккаунт / Washington

• Существует ли эквивалент "=" (после WHERE) в запросе? / SPB-667
• Архитектура базы и приложения / ruFog
• Запрос в нескольких таблицах одновременно! / SPB-667
• Хранение переменного числа параметров / agri
• Не работают ограничения в MySQL / Shtirlitz

• Ищем регионального руководителя проекта Quest.su / QuestOrg
• Senior J2ME Developer, Санкт-Петербург, 2500-3000$ / Zodiac Interactive
• Senior C++ Developer, Санкт-Петербург, 2200-3000$ / Zodiac Interactive
• Senior J2EE Developer, Санкт-Петербург, 2800-3000$ / Zodiac Interactive
• QA Engineer, Санкт-Петербург, 30000-40000р / Zodiac Interactive

• работа с USB-устройством / Revenant
• Эксопрт БД MYSQL / MAcK
• Как получить имя контрола по координатам мыши / MixerLosev
• Программный эмулятор BIOS материнской платы ASUS P5K / bios-sim
• Enctyption/Decryption / t-34

• Вопросы по программированию / Воин света
• Сортировка массивов. За семизнак ICQ / GOODMAN7777777
• Целочисленная арифметика / aska
• Классы в Паскале / Death Knight
• прерывания BIOS и DOS а Паскале / Death Knight

• Матрицы / karimchik
• has exited with code 0 (0x0) / karimchik
• Запуск игры внутри другого окна / Sqwirl
• IDirect3D9 *D3dObject; / karimchik
• GLint ->-> char для MessageBox / gongex

• авторское право на ПО в java / ArtemS2006
• Установка скорости потока / BIKTOP
• Незапускается бин со Spring XT / leich
• Сервлеты и JSP / imax_
• Tomcat и NetBeans 6.5 / Zmey_alt

• работа с QProgressDialog / Упырь
• проблемы с библиотекой ptlib / menoob
• Bash / awk / SkyMаn
• задержка при чтении COM порта под Linux / alex_x80
• Выборочная заморозка и разморозка виртуальных машин на "Vmware Server 1" / born127

• Реализация нестандартного интерфейса вкладок / GRAFzol
• Отображение картинок в RichTextBox / ace lighting
• Interop и BackgroundWorker / rSolanov
• проблемы при программировании сокетов / Akula
• фильтр с DateTimePicker / xob

• Не могу построить локальную сеть. / alex-kniaz
• Микрокомпьютер в корпусе / Kogrom
• DVD-RW тормозит / mikhalych
• Термопринтер Citizen s2000 / kulik77
• обьединить 2 жестких диска / davav

• Помощь в ID / Revived
• jl.chura.pl / mikhalych
• Шифр Rijndael - AES / Юляшка999
• Если компьютер заразился вирусами / Александр Олейник
• Как взломать WebMoney / andrei555

• Где TClientDataSet хранит исходные данные / alenov
• Обработка БД Access / sdc-alex
• [C#]При работе с dbf не работает метод Update / Ka6aH4er
• lookUp field в ADOTable, проблема / kopernik21187
• Организация импорта таблиц / Vady

• Требуется специалист по SEO / RussianSpy
• Недорогие прогоны / Soniczagr
• Заработай 150 000 рублей сидя дома!!! / svette
• нужен программист / steelheart
• Бесплатные услуги SEO / MurzET

• Oracle 10 на Vista Home Premium / Zorkus
• Сравнение СУБД. Попытка #1. / Plisteron
• Скачать Sql Server 7.0 бесплатно / AZigumgaru
• установка PostgreSQL 8.3.7-1 в Windows, не могу установить, помогите плз / DjinnZ
• Утилита для мониторинга баз данных на MSSQLServer / sslab

• Как открыть окно в окне в браузере? / lesovick
• Как запустить процесс от имени SYSTEM? / lesovick
• Возврат на предидущую страницу / Floyd@
• Update Database / Floyd@
• MouseOver (asp.net + javascript) problem??? / sealmu

• Проблема с позицией сайта в яндексе. / Aleho
• Дайте оценку сайту / midav1234
• помогите улучшить сайт / jl13x
• ВЫКУПАЮ ЗАГРУЗКИ/ТРАФФИК / spanch52
• Конференция, Одесса, 17 июля 2009 г. "Интернет-реклама в новых условиях" / Delpher

• ArgumentNullException в CopyToManaged - нулевой параметр "source" / opozdaika
• Skin SDK - lib. supp. Skin- как делать??? / duplet
• Oracle RefCursor и .Net OracleReader / koltaviy
• Ожидание завершения процесса, блокировавшего файл / Nameless One
• TargetInvocationException in Remoting / koltaviy

• WEB и C++ Builder / lena_ki
• Buider + Win32 API (Управление чужим окном) / CyberMage
• задачка по pascal / Frank100
• Список литературы по программированию / kot_
• Лучшие книги по С++ / korol_grez

• Компания Razer объявила о начале продаж Razer Megalodon / 4mega
• iPhone / [*]Frosty
• Через несколько секунд после включения, комп отключается. / Multimate
• Asus vs Toshiba / CoffeeDrop
• Отображаем графику на КПК / pandrej

1. RegWebName - быстрая и недорогая регистрация доменов
2. Maniac Programmer's Blog
3. FAQdot.net - рецепты для программистов .Net
4. Хостинг, регистрация доменов, создание Интернет сайтов
5. Компьютерные курсы в Специалисте при МГТУ им.Баумана
6. Сайт о программировании и фреймворках
7. DarkSoftware
8. Портал для веб-мастера есть всё что нужно для создания сайта
9. Форум программистов Quick Developer Help
10. Скрипты на PHP

Все отзывы, предложения о сотрудничестве, публикации статей и т.п. присылайте по адресу maillist@codenet.ru.

---

<< < 234 | 235 | 236 | 237 | 238 | 239/275 | 240 | 241 | 242 | 243 | > >>