Hasil Pencarian  ::  Simpan CSV :: Kembali

"This is the proceedings of the Eighth International Conference on Design Computing and Cognition (DCC 18) held at the Polytecnico di Milano in Italy. This volume presents both advances in theory and applications and demonstrates the depth and breadth of design computing and design cognition. Design thinking, the label given to the acts of designing, has become a paradigmatic view that has transcended the discipline of design and is now widely used in business and elsewhere. As a consequence there is an increasing interest in design research. This volume contains papers that represent the state-of-the-art research and developments in design computing and design cognition. This book is of particular interest to researchers, developers and users of advanced computation in design and those who need to gain a better understanding of designing that can be obtained through empirical studies."

"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."

"This book covers combinational circuits, latches, and asynchronous sequential circuits, reviewing orthodox and unorthodox approaches to circuit design, exploring the theory of latches and examining asynchronous circuits in tree specification."

"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."

"Kemajuan teknologi komputer membawa dampak perubahan yang besar dalam kehidupan manusia. Komputer yang pada awalnya hanya sebuah slat bantu hitung kini telah berkembang menjadi pasangan manusia dalam bekeda. Dampak perubahan ini meliputi berbagai bidang, termasuk Pula bidang desain arsitektur. Dalam tulisan ini says akan mencoba untuk menganalisis proses desain arsitektur dan pola kerja komputer. Dari basil anaiisis ini nantinya akan didapatkan keterbatasan dan kelebihan dari pemanfaatan komputer ini, serta pola hubungan kerja yang ideal antara arsitek dan komputer."