Поздравляю всех причастных с профессиональным праздником!
суббота, 13 сентября 2014 г.
среда, 10 сентября 2014 г.
Haifa Verification Conference
Вчера получил уведомление о том, что наша статья на конференцию HVC (http://www.research.ibm.com/haifa/conferences/hvc2014/) была принята:
The PC found the paper to be of borderline theoretical contribution,
but we all found the case study very interesting, and would therefore
like to offer you the opportunity to be accepted as a tool paper.
As a tool paper, your paper will be included in the proceedings (with
a smaller page limit), and you will have an opportunity to give a
(shorter) talk at the conference.
We would very much like to see your presentation at HVC, please let me
know if you are interested.
--Eran
The PC found the paper to be of borderline theoretical contribution,
but we all found the case study very interesting, and would therefore
like to offer you the opportunity to be accepted as a tool paper.
As a tool paper, your paper will be included in the proceedings (with
a smaller page limit), and you will have an opportunity to give a
(shorter) talk at the conference.
We would very much like to see your presentation at HVC, please let me
know if you are interested.
--Eran
четверг, 28 августа 2014 г.
XML: DOM - XmlDocument и исключение "невозможно разрешить удаленное имя"
Что делать, если происходит exception "невозможно разрешить удаленное имя" при открытии локального XML?
Ошибка происходит, если XmlDocument при отсутствии соединения пытается прочесть из интернета DTD, на который есть ссылка из XML, например такая:
<!DOCTYPE FBType SYSTEM "http://www.holobloc.com/xml/LibraryElement.dtd" >
После того, как проблема установлена, можно найти к ней решение: подключится к интернету или заставить XmlDocument не ходить в интернет за DTD. Для того, чтобы реализовать второй вариант, надо в свойствах XmlDocument, которые находятся в классе XmlReaderSettings поставить полю DtdProcessing значение DtdProcessing.Ignore и полю XmlResolver значение null. Под катом работающий пример.
четверг, 17 июля 2014 г.
Как установить Visual Studio Express 2013
Под катом краткая инструкция для новичков о том, как установить Visual Studio Express 2013. Постоянная ссылка здесь: http://prognotes.ru/blog/kak-ustanovit-visual-studio-express
вторник, 27 мая 2014 г.
среда, 14 мая 2014 г.
Параллельное программирование: OpenCL
Провёл очередную лекцию по параллельному программированию. Сегодняшняя тема: OpenCL.
воскресенье, 11 мая 2014 г.
Земляные работы - 2
Сегодня продолжение работ.
092042
092342
114240
Приезжал геодезист исследовать грунт, чтобы определить,
какой должен быть фундамент у дома.
092042
092342
Его заключение:
132954_
132954_
Однако, время раскидывать камни. Продолжаем засыпать трубу
гравием
101539
101539
Сажаем посадки
104944
104944
Какой туман
114240
Гравий досыпан до уровня трубы, кладём геотекстиль, на него
надо ещё сантиметров 20 гравия.
114429
114429
Сюда излишек гравия
121144
121144
Работа освобождает
122315
122315
Время разбирать мостик
123700
123700
Мостик разобран
125023
125023
Перед обедом
132727
132727
Посадки посажены
142638
142638
Работа освободила!
155741
155741
Гравий досыпан.
155811
155811
Время колоть дрова
170309
170309
Подписаться на:
Сообщения (Atom)















