- Event-B is a formal method for system-level modelling and analysis. Непонятная мне штуковина, на которую навел Д.ARMоед, за что ему большой респект. -> - Evgeny_CD(03.12.2011 14:48, dao, ссылка, полностью)
- В описании одной из составных частей этой сущности - RODIN -> встретил упоминание про Alexander (Sascha) Romanovsky --> - Evgeny_CD(03.12.2011 15:19, ссылка, ссылка)
- Пост Д.ARMоед, перенесенный сюда для удобства. Evgeny_CD(1460 знак., 03.12.2011 14:55)
- Бука Modeling in Event-B: System and Software Engineering, 9780521895569 (0521895561), Cambridge University Press, 2010 -> Доп. материалы --> Evgeny_CD(935 знак., 03.12.2011 14:51, ссылка, ссылка)
- Ведь когда AMD продавала свое производство инвестиционному фонду из эмиратов, почти наверняка продавалась возмодность втупить в "кремниевую копроэкономику". Типа и производство свое будет, и потоки будет через вас течь... ЩАЗ!!! Evgeny_CD(139 знак., 04.12.2011 23:37, dao, ссылка, ссылка, полностью)
- VIA в ноябре: мы всё ещё живы! -> Страно все это. Вроде и процики неплохие есть, а фирма уверенно тонет... - Evgeny_CD(04.12.2011 23:16, dao, ссылка, полностью)
- Параллельное программирование в виндах. Пытаюсь разобраться. Evgeny_CD(883 знак., 01.12.2011 20:38, dao, полностью)
- Не понимаю я менеджмент АМД нихера :(( Adept(1573 знак., 02.12.2011 16:49, dao, ссылка, полностью)Evgeny_CD
- Serial NOR - новая тема технология для эмбеддерства? Вложены DS на 128 и 256 Мбитники от Micron. Evgeny_CD(560 знак., 02.12.2011 18:20 - 18:28, dao, полностью)
- Дримборда сжимается до дрим-OEM модуля. :) Evgeny_CD(1312 знак., 02.12.2011 20:17 - 20:25, dao)
- Hybrid Memory Cube (HMC). Процессы активизируются. Evgeny_CD(555 знак., 02.12.2011 17:56, dao)
- Мейнстрим будущего - big data. [пока только ссылки. Анатилитику потом допишу.] Evgeny_CD(456 знак., 01.12.2011 21:17, dao, полностью)
- PVS-Studio - Статический анализатор кода для C/C++/C++11 -> Все здорово, но... €3500 Кстати, вроде как разработала компания в Туле... - Evgeny_CD(01.12.2011 20:29, dao, ссылка, полностью)
- Разработка PCI Express 4.0 ведется с прицелом на использование в планшетах -> А глюкодавы специально для планшетов еще не проектируют случайно? - Evgeny_CD(02.12.2011 16:38, dao, ссылка)
- по тихоньку врубаюсь в работу с RTOS TNKernel. Кому интересно тоже, то есть дока на русском [>] - MegaJohn(30.11.2011 15:21, dao, ссылка, полностью)
- Samsung решил стать мировым лидером? Первые чипы на Cortex-A15 -> 20-нанометровая фазовая память плотностью 8 Гбит -->. Вместе убойная комбинация, заметим. - Evgeny_CD(01.12.2011 10:02, dao, ссылка, ссылка, полностью)
- Для отладки устройства (как бы анализатор спектра) нужен инструмент для ПК: язык программирования, позволяющий общаться через RS-232 и выводить графики в реальном времени. Tcl/Tk? LabView? ...? - SciFi(30.11.2011 14:46, dao, полностью)
- 3D
нах! now! Бюджетный портативный 3D принтер --> - MBedder(30.11.2011 02:17, dao, ссылка, картинка, полностью)