|
libcats.org
Concurrency and Hardware DesignJordi Cortadella, Alex Yakovlev, Grzegorz RozenbergThis LNCS State-of-the-Art Survey is devoted to the relatively old and well-known behavioral paradigm in computing, concurrency, and to the ways in which concurrency is exhibited or can be exploited in digital hardware devices. The nine chapters presented are organized in four parts on formal methods, asynchronous circuits, embedded systems design, and timed verification and performance analysis.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#7
Практикум по зоологии беспозвоночныхМихина Т.Н., Фролова Е.Н., Щербина Т.В.Категория: Биология
4.02 Mb
#9
История Норвегии. От викингов до наших днейРольф Даниельсен, Столе Дюрвик, Туре Грёнли [и др.]; [Пер. с англ. М. Л. Коробочкина; Науч. ред.: В.В. Рогинский. Т.Н. Джаксон];Даниельсен, Рольф; Рогинский, В.В.;ред.
14.82 Mb
|
|