The present Letter describes a many-electron theory of charge transfer in ion-surface scattering, where the principal charge-transfer processes - Auger and resonance - are both treated on an equal footing. When the pa...
At the David Sarnoff Research Center there exists a long standing research effort in support of the design of electron optic devices. The design process for such devices - the color high definition picture tube being ...
详细信息
A denotational, hence, compositional semantics for a subset of Concurrent Prolog is developed and related to an operational semantics. The denotational semantics makes divergence and the resultant substitutions of fin...
详细信息
A denotational, hence, compositional semantics for a subset of Concurrent Prolog is developed and related to an operational semantics. The denotational semantics makes divergence and the resultant substitutions of finite computations together with the termination mode-success, failure, or deadlock-observable. Relative to this notion of observation it is proved that the denotational semantics is fully abstract in the sense that it records the minimal amount of extra information beyond the observables to make it compositional. Full abstraction is an important property because it quantifies the information that one needs in order to reason about individual program-parts independently. This is believed to be the first such result in the area of concurrent logic programming.< >
作者：
S.Y.H. SuH. MaDepartment of Computer Science
Research Group on Design Automation and Fault-tolerant Computing Thomas J. Watson School of Engineering Applied Science and Technology State University of New York Binghamton Binghamton NY USA Department of Electrical Engineering
Research Group on Design Automation and Fault-tolerant Computing Thomas J. Watson School of Engineering Applied Science and Technology State University of New York Binghamton Binghamton NY USA
Novel concepts of designs for diagnosability and reliability are defined and developed. A diagnosable design of VLSI system is presented, in which fault isolation is realized by minimal additional hardware instead of ...
详细信息
Novel concepts of designs for diagnosability and reliability are defined and developed. A diagnosable design of VLSI system is presented, in which fault isolation is realized by minimal additional hardware instead of traditional software diagnostic procedures such that the computation space and time for fault isolation are saved. The presented fault-tolerant design uses online fault detection and isolation techniques, yields higher reliability with minimized hardware overhead of no more than 125% as opposed to over 200% in classical redundancy fault-tolerant designs. Using this scheme, the ability to isolate intermittent faults is a significant improvement over existing fault isolation methods because faults could be isolated right after they are detected.< >
Functional testing is becomilng more important due to the increasing complexity in digital LSI/VLSI devices. Various functional testing approaches have been proposed to meet this urgent need in LSI/VLSI testing. This ...
详细信息
ISBN:
(纸本)9780818605420
Functional testing is becomilng more important due to the increasing complexity in digital LSI/VLSI devices. Various functional testing approaches have been proposed to meet this urgent need in LSI/VLSI testing. This paper presents the basic ideas behind deterministic functional testing and concisely overviews eight major functional testing techniques. Comparisons among these techniques and suggestions for future development are made to meet the challenges in this fast growing testing field.
A computer, operating in conversational mode, is being used for the analysis of overlapping Raman and infrared lines. Details of the procedure and the program are given. The fitting procedure is optical; operator inte...
详细信息
A computer, operating in conversational mode, is being used for the analysis of overlapping Raman and infrared lines. Details of the procedure and the program are given. The fitting procedure is optical; operator intervention changes the parameters and thereby modifies the fit between synthesized curve and experimental curve. The goodness-of-fit is given by a difference measurement.
Edge intelligence (EI) integrates edge computing and artificial intelligence empowering service providers to deploy deep neural networks (DNNs) on edge servers in proximity to users to provision intelligent applicatio...
详细信息
Edge intelligence (EI) integrates edge computing and artificial intelligence empowering service providers to deploy deep neural networks (DNNs) on edge servers in proximity to users to provision intelligent applications (e.g., autonomous driving) for ubiquitous Internet of Things (IoT) in smart cities, which facilitates the quality of experience (QoE) of users and improves the processing and energy efficiency. However, considering DNN is typically computational-intensive and resource-hungry, conventional placement approaches ignore the influence of multi-dimensional resource requirements (processor, memory, etc.), which may degrade the real-time performance. Moreover, with the increasing scale of geo-distributed edge servers, centralized decision-making is still challenging to find the optimal strategies effectively. To overcome these shortcomings, in this paper we propose a game theoretic DNN placement approach in EI-enabled IoT. First, a DNN placement optimization problem is formulated to maximize system benefits, which is proven to be \(\mathcal {N}\mathcal {P}\)-hard and model the original problem as an exact potential game (EPG). Moreover, an EPG-based DNN model placement algorithm, named EPOL, is designed for edge servers to make sub-optimal strategies independently and theoretical analysis is possessed to guarantee the performance of EPOL. Finally, real-world dataset based experimental results corroborate the superiority and effectiveness of EPOL.
This book constitutes the refereed proceedings of the Second International Conference on Health Information science, HIS 2013, held in London, UK, in March 2013. The 20 full papers presented together with 3 short pape...
详细信息
ISBN:
(数字)9783642378997
ISBN:
(纸本)9783642378980
This book constitutes the refereed proceedings of the Second International Conference on Health Information science, HIS 2013, held in London, UK, in March 2013. The 20 full papers presented together with 3 short papers, 3 demo papers and one poster in this volume were carefully reviewed and selected from numerous submissions. The papers cover all aspects of health information sciences and systems that support the health information management and health service delivery. The scope of the conference includes 1) medical/health/biomedicine information resources, such as patient medical records, devices and equipments, software and tools to capture, store, retrieve, process, analyse, and optimize the use of information in the health domain, 2) data management, data mining, and knowledge discovery, all of which play a key role in the decision making, management of public health, examination of standards, privacy and security issues, and 3) development of new architectures and applications for health information systems.
暂无评论