Никак не привыкну...

[hedgeov]

... что верификация модели может пожрать 2 гигабайта ОЗУ и завершиться с Out of memory error через 30 секунд после запуска.

Comments

[golubev.livejournal.com]

что за алгоритм?
взрыв состояний дело такое ;)

это ты в сименсе верификацией занимаешься?
блин, вернусь - пойду на собеседование ;)

[hedgeov.livejournal.com]

Эт не взрыв. Эт модель такая... немелкая :)

Ага.

Когда возвращаешься-то? ;)

[golubev.livejournal.com]

хороша модель. ;)

в сентябре, соответственно, в октябре готов буду собеседоваться. ;)