Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 64 dokumen yang sesuai dengan query
cover
Abstrak :
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in GuimarĂ£es, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
Berlin: Springer-Verlag, 2012
e20408664
eBooks  Universitas Indonesia Library
cover
Ricardo Pena, editor
Abstrak :
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows, types, compiling, paralelelism and distribution, data structures, and miscellaneous.
Berlin: [, Springer-Verlag], 2012
e20410119
eBooks  Universitas Indonesia Library
cover
Schwaderer, W. David
Abstrak :
This book introduces Open Core Protocol (OCP) not as a conventional hardware communications protocol but as a meta-protocol: a means for describing and capturing the communications requirements of an IP core, and mapping them to a specific set of signals with known semantics. Readers will learn the capabilities of OCP as a semiconductor hardware interface specification that allows different System-On-Chip (SoC) cores to communicate. The OCP methodology presented enables intellectual property designers to design core interfaces in standard ways. This facilitates reusing OCP-compliant cores across multiple SoC designs which, in turn, drastically reduces design times, support costs, and overall cost for electronics/SoCs.
New York : Springer, 2012
e20425847
eBooks  Universitas Indonesia Library
cover
Myers, Glenford J.
New York: John Wiley & Sons, 1980
621.381 MYE d
Buku Teks  Universitas Indonesia Library
<<   2 3 4 5 6 7 >>