Ditemukan 21 dokumen yang sesuai dengan query
Roberto Moreno-Díaz, editor
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the...
Berlin: [, Springer-Verlag], 2012
e20409076
eBooks Universitas Indonesia Library
Roberto Moreno-Díaz, editor
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the...
Berlin : [, Springer-Verlag], 2012
e20410619
eBooks Universitas Indonesia Library
Morgado, Alonso, author
This book presents innovative solutions for the implementation of Sigma-Delta Modulation (SDM) based Analog-to-Digital Conversion (ADC), required for the next generation of wireless hand-held terminals. These devices will be based on the so-called multi-standard transceiver chipsets, integrated in nanometer CMOS technologies. One of the most challenging and critical parts in...
New York: Springer, 2011
e20410801
eBooks Universitas Indonesia Library
Ruijing, Shen, author
This book provides readers with tools for variation-aware design methodologies and computer-aided design (CAD) of VLSI systems, in the presence of process variations at the nanometer scale. It presents the latest developments for modeling and analysis, with a focus on statistical interconnect modeling, statistical parasitic extractions, statistical full-chip leakage and...
New York: [, Springer], 2012
e20418442
eBooks Universitas Indonesia Library
This book presents the proceedings of the 14th International Conference on Computer Aided Engineering, collecting the best papers from the event, which was held in Wrocław, Poland in June 2018. It includes contributions from researchers in computer engineering addressing the applied science and development of the industry and offering up-to-date...
Switzerland: Springer Nature, 2019
e20509927
eBooks Universitas Indonesia Library
Marco Bernardo, editor
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics...
Berlin: [, Springer-Verlag], 2012
e20410465
eBooks Universitas Indonesia Library
Spear, Chris, author
Systemverilog for verification : a guide to learning the testbench language features teaches all verification features of the SystemVerilog language, providing hundreds of examples to clearly explain the concepts and basic fundamentals.
In the third edition, authors Chris Spear and Greg Tumbush start with how to verify a design, and...
New York: [, Springer], 2012
e20418474
eBooks Universitas Indonesia Library
Dimitrios Soudris, editor
As Moore’s law continues to unfold, two important trends have recently emerged. First, the growth of chip capacity is translated into a corresponding increase of number of cores. Second, the parallelization of the computation and 3D integration technologies lead to distributed memory architectures. This book describes recent research that addresses...
New York: [, Springer], 2012
e20418605
eBooks Universitas Indonesia Library
Patrick Langdon, editor
The Cambridge Workshops on Universal Access and Assistive Technology (CWUAAT) are a series of workshops held at a Cambridge University College every two years. The workshop theme: “Designing inclusion for real-world applications” refers to the emerging potential and relevance of the latest generations of inclusive design thinking, tools, techniques, and...
London: [, Springer-Verlag ], 2012
e20418706
eBooks Universitas Indonesia Library
Uchiyama, Kunio, author
This book defines the heterogeneous multicore architecture and explains in detail several embedded processor cores including CPU cores and special-purpose processor cores that achieve highly arithmetic-level parallelism. The authors developed three multicore chips (called RP-1, RP-2, and RP-X) according to the defined architecture with the introduced processor cores. The chip...
New York : Springer, 2012
e20425837
eBooks Universitas Indonesia Library
