Полное описание
>
Integrated circuit and system design. power and timing modeling, optimization and simulation : 18th Iiternational workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008: revised selected papers / eds. L. Svensson, J. Monteiro. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5349). - URL: http://dx.doi.org/10.1007/978-3-540-95948-9. - ISBN 978-3-540-95948-9.
| ГРНТИ | УДК | |
| 47.33.31 | 621.3.049.77.001.2(043) |
Рубрики:
Интегральные схемы -- Проектирование -- Съезды и конференции
Доп. точки доступа:
Svensson, L.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-540-95948-9
Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 1 : Conference contributions, 1991. - 698 p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 2 : Tutorials, 1991. - 430 p. - Текст : непосредственный.Proceedings,Oct.1991,Milan / ESEC'91, 1991. - XII,515 p. p. - Текст : непосредственный.Computational geometry-methods,algorithms and applications : Proc.of the 7th intern.workshop on computational geometry,Bern,March 21-22,1991 / CG'91, 1991. - VIII,320 p. p. - Текст : непосредственный.Grahne G. The problem of incomplete information in relational databases / G.Grahne, 1991. - VIII,149 p. p. - Текст : непосредственный.New results and new trends in computer science : Proc.of a symp.,held in Graz,June 20-21,1991 / ed. H. Maurer, 1991. - VIII,403 p. p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.ISA'91 algorithms : 2nd intern.symp.on algorithms,Taipei,Dec.16-18,1991:Proc. / Ed.: W. L. Hsu, R. C.T. Lee, 1991. - X,396 p. p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Butler G. Fundamental algorithms for permutation groups / G.Butler, 1991. - XII,238 p. p. - Текст : непосредственный.Herman I. The use of projective geometry in computer graphics / I.Herman, 1992. - 146 p. - Текст : непосредственный.Graph-theoretic concepts in computer science : 17th intern.workshop on graph-theoretic concepts in computer science,Fischbachau,June 17-19,1991Proc. / WG'91, 1992. - VIII,253 p. p. - Текст : непосредственный.Formal techniques in real-time and fault-tolerant systems : 2nd intern.symp.on formal techniques in real-time and fault-tolerant systems,Jan.1992,NijmegenProc. / Ed. J. Vytopil, 1991. - IX,620 p. p. - Текст : непосредственный.Word equations and related topics : 1st intern.workshop on word equations and related topics,Tubingen,Oct.1990Proc. / IWWERT'90, 1992. - 256 p. - Текст : непосредственный.Parallel architectures and languages Europe : 4th intern.PARLE conf.,Paris,June 1992Proc. / PARLE'92, 1992. - XVII,984 p. p. - Текст : непосредственный.Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / сост.ed.by M. Bidoit, сост.ed.by C. Choppy, 1993. - 344 p. - Текст : непосредственный.Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy, 1993. - 501 p. - Текст : непосредственный.Breu R. Algebraic specification techniques in object oriented programming environments / R.Breu, 1991. - 228 p. - Текст : непосредственный.Cheese A. Parallel execution of Parlog / A.Cheese, 1992. - 184 p. - Текст : непосредственный.
Показать все результатыKnapp A. Advanced real analysis : along with a companion volume basic real analysis / A. Knapp, C. Epstein, S. Krantz, 2005 r=on-line.Decreusefond L. Mathematiques informatique physique : au fil des TIPе / L. Decreusefond, A. Maruani, 2005 r=on-lineTrue visions : the emergence of ambient intelligence / ed.: E. Aarts, J. Encarnação, 2006 r=on-line.Bielefeld B. Building projects in China : a manual for architects and engineers / B. Bielefeld, L. P. Rusch, 2006 r=on-line.Horst W. Het herstel van het gewone leven : een handreiking aan alledaagse opvoeders (ouders, onderwijsgevenden, groepsleiding, gezinsverzorgster) in problematische opvoedingssituaties / W. Horst, 2006 r=on-line. - Текст : электронный.Advances in cryptology - CRYPTO - 86 : proceedings / ed. A. M. Odlyzko, 2006 r=on-line.ECOOP - 87 european conference on object-oriented programming : Paris, France, June 15-17, 1987: proceedings / ed. J. Bezivin [et al.], 1987 r=on-line. - Текст : электронный.Prodan R. Grid computing : experiment management, tool integration, and scientific workflows / R. Prodan, T. Fahringer, 2007 r=on-line.Distributed, high-performance and grid computing in computational biology : international Workshop, GCCB 2006, Eilat, Israel, Jan. 21, 2007: proceedings / SpringerLink (Online service), 2007 r=on-line.Engineering self-organising systems : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006: revised and invited papers / ed. S. Brueckner [et al.], 2007 r=on-line.Evolutionary computation in combinatorial optimization : 7th European conf., EvoCOP 2007, Valencia, Spain, Apr. 11-13, 2007: proceedings / ed.: C. Cotta, J. Hemert, 2007 r=on-line.Systems biology and regulatory genomics : joint Annual RECOMB 2005 satellite workshops on systems biology and on regulatory genomics, San Diego, Ca, USA, Dec. 2-4, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Languages and compilers for parallel computing : 18th International workshop, LCPC 2005, Hawthorne, NY, USA, Oct. 20-22, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Ada 2005 reference manual. Language and standard libraries : international Standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / SpringerLink (Online service), 2006 r=on-line.Complex motion : 1st International workshop, IWCM 2004, Gunzburg, Germany, Oct. 12-14, 2004: revised papers / ed. B. Jahne [et al.], 2006 r=on-line.Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, Oct. 1-6, 2006: reports and revised selected papers / ed. T. Kuhne, 2007 r=on-line.Interactive systems. design, specification, and verification : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed.: G. Doherty, A. Blandford, 2007 r=on-line.Multimodal technologies for perception of humans : first International evaluation workshop on classification of events, activities and relationships, CLEAR 2006, Southampton, UK, Apr. 6-7, 2006: revised selected papers / SpringerLink (Online service), 2007 r=on-line.Computational logic in multi-agent systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006: revised selected and ivited papers / ed. K. Inoue [et al.], 2007 r=on-line.New frontiers in artificial intelligence : JSAI 2006 conference and workshops, Tokyo, Japan, June 5-9 2006:revised selected papers / ed. T. Washio [et al.], 2007 r=on-line.
Показать все результатыНитрид алюминия и область его применения / ЦНИИТЭСТРОЙМАШ. - 14 с. - Текст : непосредственный.Схема разработки топологии СБИС / ВЦП МР. - 17 с. - Текст : непосредственный.Многополюсная модель схемы для оценок потери излучения и паразитной связи между нарушениями непрерывности в микрополосковых церях / ВЦП КР. - 16 с. - Текст : непосредственный.Плюсы и минусы полифенилхининоксалина (ПФХ) / ВЦП. - 11 c. - Текст : непосредственный.Исследования в области ИС ЗУ различных видов и поколений. Выбор ИС при проектировании систем и указания по их применению. Ч.3,4 / ВЦП. - 107 c. - Текст : непосредственный.Технические данные / ВЦП. - 48 c. - Текст : непосредственный.Левицкий Д.О. Методы логико-динамического и логико-структурного диагностирования матричных КМОП БИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Д. О. Левицкий, 1991. - 25 с. - Текст : непосредственный.Ефанов В.А. Организация процесса трассировки матричных БИС и СБИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.12 / В. А. Ефанов, 1991. - 22 с. - Текст : непосредственный.Исюк В.И. Разработка математических и программных средств функционально-логического моделирования и тестирования КМОП БИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / В. И. Исюк, 1991. - 19 с. - Текст : непосредственный.Семенов Н.Е. Оптимизация методов проектирования топологии кристаллов с линейчатой структурой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Н. Е. Семенов, 1991. - 16 с. - Текст : непосредственный.Шелепин Н.А. Исследование свойств и характеристик структур полупроводник-диэлектрик-полупроводник и разработка конструктивно-технологических методов повышения быстродействия БИС на их основе : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.27.01 / Н. А. Шелепин, 1990. - 32 с. - Текст : непосредственный.Абачев М.К. Исследование формирования глубоких щелей в кремнии при плазмохимическом и реактивном ионном травлении в галогеносодержащих газах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.27.01 / М. К. Абачев, 1990. - 26 с. - Текст : непосредственный.Мануйлов В.В. Моделирование процессов рентгенолитографии интегральных схем с применением синхротронного излучения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.27.01 / В. В. Мануйлов, 1991. - 21 с. - Текст : непосредственный.Сидоренко П.В. Исследование и разработка интегрированной САПР аналоговых БИС на БМК : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / П. В. Сидоренко, 1991. - 16 с. - Текст : непосредственный.Букунов С.В. Моделирование и исследование субмикронных транзисторных структур для монолитных интегральных схем СВЧ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.27.01 / С. В. Букунов, 1991. - 16 с. - Текст : непосредственный.Бачурин В.И. Управление параметрами линейных интегральных схем топологией инжекционных структур с использованием САПР : Дис..д-ра техн.наук в форме науч.докл.:05.13.01:05.13.12 / В. И. Бачурин, 1991. - 38 с. - Текст : непосредственный.Романовский П.Г. Оптимизация метода моделируемого отжига при проектировании топологии интегральных схем на параллельной вычислительной системе с динамическим распределением задач : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / П. Г. Романовский, 1991. - 19 с. - Текст : непосредственный.Золотухина О.М. Причины разрушения кремниевых кристаллов БИС после монтажа в металлокерамические корпуса с применением золото-кремниевой эвтектики и их устранение : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.27.01 / О. М. Золотухина, 1992. - 15 с. - Текст : непосредственный.Гындя С.И. Исследование и разработка способов создания и применения аппаратных ускорителей при моделировании ЦУ БИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. И. Гындя, 1992. - 18 с. - Текст : непосредственный.Матвеева Н.К. Фото-и электронорезисты на основе полимерных лэнгмюровских пленок.Получение,свойства и применение : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.17.06 / Н. К. Матвеева, 1992. - 16 с. - Текст : непосредственный.
Показать все результатыБачурин В.И. Управление параметрами линейных интегральных схем топологией инжекционных структур с использованием САПР : Дис..д-ра техн.наук в форме науч.докл.:05.13.01:05.13.12 / В. И. Бачурин, 1991. - 38 с. - Текст : непосредственный.Силушин И.Л. Разработка метода автоматизированного теплового проектирования микроплат на персональных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / И. Л. Силушин, 1992. - 15 с. - Текст : непосредственный.Мещеряков М.В. Оптимизация функциональных параметров аналоговых микросхем на этапе конструкторско-топологического проектирования : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / М. В. Мещеряков, 1998. - 16 с. - Текст : непосредственный.Тарасов М.Л. Разработка схемотехнических и топологических принципов улучшения параметров КМДП ИС : Дис.соискание ученой степени канд. техн. наук в форме науч. докл.:05.27.01 / М. Л. Тарасов, 1990. - 23 с. - Текст : непосредственный.Шилин В.А. Схемотехническое проектирование и моделирование БИС и СБИС на приборах с зарядовой связью : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.27.01 / В. А. Шилин, 1990. - 39 с. - Текст : непосредственный.Старосельский В.И. Теория и методы физико-топологического и схемотехнического проектирования сверхскоростных интегральных схем на основе арсенида галлия : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.27.01 / В. И. Старосельский, 1990. - 40 с. - Текст : непосредственный.Королев М.А. Конструктивно-технологические решения создания схем с вертикальной интеграцией компонентов - трехмерных интегральных схем на основе рекристаллизованного поликремния : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.27.01 / М. А. Королев, 1990. - 47 с. - Текст : непосредственный.Wolters C. CMOS-Schaltnetz-Synthese mit Komplexgattern : Diss. / C.Wolters, 1991. - 118 S. - Текст : непосредственный.Meijs N.P. van der Accurate and efficient layout extraction : Diss. / N.P. van der Meijs, 1992. - II,152 p. p. - Текст : непосредственный.Kuntz R. Entwurfszentrierung zur Optimierung von Schaltungen mit Hilfe uberlagerter Gaussverteilungen : Diss. / R.Kuntz , 1989. - 133 S. - Текст : непосредственный.Разработка математических моделей и средств проектирования прецизионных источников опорного напряжения в составе интегральных схем : автореф. дис. .. канд. техн. наук : 05.27.01 / С. С. Рябченков, 2004. - 26 с. - Текст : непосредственный.Сопова О.В. Конструктивно-технологический базис ИС на кни-подложках : автореф. дис. .. канд. техн. наук : 05.27.01 / О. В. Сопова, 2005. - 24 с. - Текст : непосредственный.Integrated circuit and system design. power and timing modeling, optimization and simulation : 18th Iiternational workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008: revised selected papers / eds. L. Svensson, J. Monteiro, 2009 r=on-line.
Просмотр издания