the phenomenon of EM radiation from switching currents is not new. But the increase of mandatory requirements, FCC, IEC CISPR, European Norms etc., with respect to both emission and immunity of all digital products ma...
详细信息
ISBN:
(纸本)9781509031948
the phenomenon of EM radiation from switching currents is not new. But the increase of mandatory requirements, FCC, IEC CISPR, European Norms etc., with respect to both emission and immunity of all digital products makes it necessary for the components customer (equipment manufacturer) to take all possible precautions at the components level. For functional reasons, current practice dictates that high-speed logic ICs should be mounted on multilayer boards with ground and/or supply planes, and if these boards are properly designed, the main source of EM radiation is the ICs themselves, and the main area where radiation can be reduced and immunity increased will be in the IC package and circuit design. this paper discusses the advantages of center-supply-pinned ACL-ICs over corner-pinned devices of various families, and gives the theory together with test-results and the requirements derived from the product standards for both emission and immunity of the devices.
Term Matching is a fundamental operation in term rewriting, functionalprogramming and logicprogramming. Parallel algorithms for this operation have attracted much attention recently. However nontrivial lower bounds ...
详细信息
A discussion is presented on parameterized programming, a powerful technique for the construction, maintenance, and reuse of software in which modules may be parameterized over very general interfaces that describe wh...
详细信息
ISBN:
(纸本)0897912160
A discussion is presented on parameterized programming, a powerful technique for the construction, maintenance, and reuse of software in which modules may be parameterized over very general interfaces that describe what properties of an environment are required for the module to work correctly. Ease of construction, maintenance, and reuse of software are all enhanced by the flexibility of the parameterization mechanism provided. the basics of OBJ2, a language designed to support parameterized programming using algebraic specification techniques, are presented. OBJ2 provides facilities for user-definable abstract data types, parameterized abstract objects, and interactive programming. It is a functionalprogramming language based on equational logic, rather than on general first-order logic;because equations can be interpreted directly as rewrite rules, it is easy to see their computational significance as well as their logical significance. Some simple examples of parameterized programming in OBJ2 are provided.
the development of a computer program for fuzzy logic reasoning is described. A description and listing of the program is given and a simple example computed. Fuzzy logic can be used to model complex systems in an eco...
详细信息
the development of a computer program for fuzzy logic reasoning is described. A description and listing of the program is given and a simple example computed. Fuzzy logic can be used to model complex systems in an economical manner and hence has wide application. the program provides a tool for rapid realisation of these models.
A quaternary threshold logic, quadra-stable memory element maintains any one of four logical states, (0,1,2,3), as determined by the input during the SETUP clocking interval. One advantage of multivalued logic over st...
详细信息
A quaternary threshold logic, quadra-stable memory element maintains any one of four logical states, (0,1,2,3), as determined by the input during the SETUP clocking interval. One advantage of multivalued logic over standard binary logic in the design of digital large-scale-integrated circuits is its significantly greater functional density. this increased density may be used to increase the amount of digital signal processing capability possible on a chip of given size. A new current-mode quanternary threshold logic circuit implementation of the synchronous four-valued static memory element is presented. the application of this element in certain digital signal processing functions and the resultant savings in integrated devices over binary designs are then described.
the development of a computer program for fuzzy logic reasoning is described. A description and listing of the program is given and a simple example computed. Fuzzy logic can be used to model complex systems in an eco...
详细信息
the development of a computer program for fuzzy logic reasoning is described. A description and listing of the program is given and a simple example computed. Fuzzy logic can be used to model complex systems in an economical manner and hence has wide application. the program provides a tool for rapid realisation of these models.
A quaternary threshold logic, quadra-stable memory element maintains any one of four logical states, (0,1,2,3), as determined by the input during the SETUP clocking interval. One advantage of multivalued logic over st...
详细信息
A quaternary threshold logic, quadra-stable memory element maintains any one of four logical states, (0,1,2,3), as determined by the input during the SETUP clocking interval. One advantage of multivalued logic over standard binary logic in the design of digital large-scale-integrated circuits is its significantly greater functional density. this increased density may be used to increase the amount of digital signal processing capability possible on a chip of given size. A new current-mode quanternary threshold logic circuit implementation of the synchronous four-valued static memory element is presented. the application of this element in certain digital signal processing functions and the resultant savings in integrated devices over binary designs are then described.
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence&...
详细信息
ISBN:
(数字)9783662588345
ISBN:
(纸本)9783662588338
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. the scope of the journal therefore covers all aspects of computer architecture, code generation and compiler optimization methods of interest to researchers and practitioners designing future embedded systems.;this 5th issue contains extended versions of papers by the best paper award candidates of IC-SAMOS 2009 and the SAMOS 2009 Workshop, colocated events of the 9thinternationalsymposium on Systems, Architectures, Modeling and Simulation, SAMOS 2009, held in Samos, Greece, in 2009. the 7 papers included in this volume were carefully reviewed and selected. the papers cover research on embedded processor hardware/software design and integration and present challenging research trends.
this book constitutes the refereed proceedings of the 9thinternationalsymposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. the 20 revised full papers presented together...
详细信息
ISBN:
(数字)9783642408854
ISBN:
(纸本)9783642408847
this book constitutes the refereed proceedings of the 9thinternationalsymposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. the 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. FroCoS'13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logicprogramming and deduction, and modularizing programs and specifications.
this book constitutes the refereed proceedings of the 9thinternational Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. the 22 revised full papers presented we...
详细信息
ISBN:
(数字)9783540697213
ISBN:
(纸本)9783540643012
this book constitutes the refereed proceedings of the 9thinternational Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. the 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee withthe assistance of 113 additional referees. the book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functionalprogramming.
暂无评论