Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 11859 dokumen yang sesuai dengan query
cover
Gaillardon, Pierre-Emmanuel
"This book discusses the opportunities offered by disruptive technologies to overcome the economical and physical limits currently faced by the electronics industry. It provides a new methodology for the fast evaluation of an emerging technology from an architectural prospective and discusses the implications from simple circuits to complex architectures. Several technologies are discussed, ranging from 3-D integration of devices (phase change memories, monolithic 3-D, vertical nanowires-based transistors) to dense 2-D arrangements (double-gate carbon nanotubes, sublithographic nanowires, lithographic crossbar arrangements). Novel architectural organizations, as well as the associated tools, are presented in order to explore this freshly opened design space.
"
New York: Springer, 2012
e20418197
eBooks  Universitas Indonesia Library
cover
Teichmann, Philip
"Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in the design of adiabatic circuits. The impact of the technology trends on the figures of merit of adiabatic logic, energy saving potential and optimum operating frequency, are investigated, as well as degradation related issues. Adiabatic logic benefits from future devices, is not susceptible to Hot Carrier Injection, and shows less impact of Bias Temperature Instability than static CMOS circuits. "
Dordrecht, Netherlands: Springer, 2012
e20397724
eBooks  Universitas Indonesia Library
cover
Handley, Holly A.H.
"This book describes a methodology to represent socio-technical system concerns in the system architecting process. The resulting set of Human Views augments traditional system viewpoints with human-focused data. The Human Viewpoint methodology classifies the socio-technical system context, identifies and collects pertinent data, renders models that can be used for discussion and analysis, and presents the results in Fit for Purpose views that are useful for decision making. The inclusion of the Human Viewpoint during the system architecting stage allows the evaluation of human-system design trade-offs, recognises the impact of the human operator on system performance, and provides the foundation for Human System Integration evaluations during the ensuing system development."
Switzerland: Springer Nature, 2019
e20509614
eBooks  Universitas Indonesia Library
cover
Encarnacao, Jose L.
Berlin: Springer-Verlag, 1990
620.004 202 85 ENC c
Buku Teks SO  Universitas Indonesia Library
cover
Muhammad Suryanegara
"Understanding 5G from a
perspective of innovation is to explore both technical research and development
(R&D) and non-technical issues. While 4G has been considered as an
incremental innovation from its predecessors (3G and 2G), design features and
key technologies have indicated 5G as a disruptive innovation. Consequently, 5G
will create new market values, in which new services and applications will
emerge in unexpected ways. Hence, it is predicted that policy makers will face
significant challenges concerning 5G implementation in their respective
countries. This paper aims to investigate the challenges to standards and
regulations at a country level. The discussion begins with the challenges
because of the emergence of non-human markets as well as the complexity of
multi-device technological platforms. Due to anticipated massive cloud-based
applications, security issues of cloud-based applications will be a subsequent
challenge for national policy makers. Finally, as 5G may require various
supporting technologies, the challenge for the policy maker is also to trigger
national development of local standards."
2016
PDF
Artikel Jurnal  Universitas Indonesia Library
cover
Muhammad Suryanegara
"Understanding 5G from a perspective of innovation is to explore both technical research and development (R&D) and non-technical issues. While 4G has been considered as an incremental innovation from its predecessors (3G and 2G), design features and key technologies have indicated 5G as a disruptive innovation. Consequently, 5G will create new market values, in which new services and applications will emerge in unexpected ways. Hence, it is predicted that policy makers will face significant challenges concerning 5G implementation in their respective countries. This paper aims to investigate the challenges to standards and regulations at a country level. The discussion begins with the challenges because of the emergence of non-human markets as well as the complexity of multi-device technological platforms. Due to anticipated massive cloud-based applications, security issues of cloud-based applications will be a subsequent challenge for national policy makers. Finally, as 5G may require various supporting technologies, the challenge for the policy maker is also to trigger national development of local standards."
Depok: Faculty of Engineering, Universitas Indonesia, 2016
UI-IJTECH 7:4 (2016)
Artikel Jurnal  Universitas Indonesia Library
cover
Ade Azurat
"This paper reports a preliminary work on using an aspect oriented attribute grammar system called UU-AG to develop computer aided verification tools. UU_AG provides an abstract and modular way to develop such a tool and later on incrementally upgrade them. This paper shows an example of a toy programming logic implemented in UU_AG. We will show the implementation of the verification condition generator (VCG). We extend the implementation with a new feature such as run-time-trace generator to validate the computation of the implemented inference engine."
2003
JIKT-3-2-Okt2004-77
Artikel Jurnal  Universitas Indonesia Library
cover
"This paper reports a preliminary work on using an aspect oriented attribute grammar system called UU-AG to develop computer aided verification tools. UU-AG provides an abstract and modular way to develop such a tool and later on incrementally upgrade them. This paper shows an example of a toy programming logic implemented in UU_AG. We will show the implementation of the verification condition generator (VCG). We extend the implementation with a new feature such as run-time trace generator to validte the computation of the implemented infrence engine."
Jurnal Ilmu Komputer dan Teknologi Informasi, 3 (2) Oktober 2003: 77-83, 2003
JIKT-3-2-Okt2003-77
Artikel Jurnal  Universitas Indonesia Library
cover
Myers, Glenford J.
New York: John Wiley & Sons, 1980
621.381 MYE d
Buku Teks  Universitas Indonesia Library
cover
"This book provides an integrated framework for natural and artificial cognition by highlighting the fundamental role played by the cognitive architecture in the dialectics with the surrounding environment and consequently in the definition of a particular meaningful world.
This book is also about embodied and non-embodied artificial systems, cognitive architectures that are human constructs, meant to be able to populate the human world, capable of identifying different life contexts and replicating human patterns of behavior capable of acting according to human values and conventions, systems that perform tasks in a human-like way.
By identifying the essential phenomena at the core of all forms of cognition, the book addresses the topic of design of artificial cognitive architectures in the domains of robotics and artificial life. Moving from mere bio-inspired design methodology it aims to open a pathway to semiotically determined design."
Switzerland: Springer Cham, 2019
e20502540
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>