The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Logic synthesis is a key design step which optimizes abstract circuit representations and links them to technology. With CMOS technology moving into the deep nanometer regime, logic synthesis needs to be aware of physical informations early in the flow. With the rise of enhanced functionality nanodevices, research on technology needs the help of logic synthesis to capture advantageous design opportunities...
Recently, there have been a slew of design automation contests and released benchmarks. ISPD place & route contests, DAC placement contests, timing analysis contests at TAU and CAD contests at ICCAD are good examples in the past and more of new contests are planned in the upcoming conferences. These are interesting and important events that stimulate the research of the target problems and advance...
In this paper, a method for constructing sequences of reversible functions of large number of variables is presented. First, by using our database of all minimal reversible circuits for 3-variable reversible functions, and our tool for designing minimal circuits for 4-variable reversible functions, circuits with structural regularities are searched for. The aim is to find a pair, 3- and 4-variable...
With the continuous scaling down of the transistor size, the so-called intra-cell defects are more and more frequent. In this paper we propose a defect grading tool able to evaluate the efficiency of the applied test set. The test set efficiency is quantified w.r.t. the intra-cell defect coverage and the intra-cell diagnosis resolution.
Through the introduction of the concept of Web 2.0 services, Analysis of the overall structure and module function of the subjects services system based on Web 2.0, proposed development of a Multi-tier architecture model and its implementation.
This thesis starts to analyze the current situation of academic library information resources, discourses the several models of information resources integration, and then proposes the integration direction of developing to the all-in-one synthesized manner for the users' information resources integration.
Recently, one of the main criteria used to evaluate reversible circuit designs is quantum cost. In this paper, an approach to reducing quantum cost of small-width reversible circuits is presented. Using our tool we have shown that for known benchmarks as well as designs taken from recent publications it is possible to obtain substantial savings in quantum cost (35% on average for 4-input benchmarks)...
As the complexity of Flight Projects continues to grow, the management of information has become the underpinning of effective organizational communication. Documentation is the preferred method for capturing and disseminating information in organizations and at the Jet Propulsion Laboratory (JPL), there are a series of documents called Gate Products that each Flight Project is required to generate...
According to the low efficiency of system testing, the longer test cycle, the single form of the test results, no standardized documents of tested results and other drawbacks of the traditional penetration testing system, this paper design and implement of an XML-based penetration testing system. The system uses SNMP, PING, Telnet and other ways to explore resource, is based on OVAL, CVE to assess...
Open access(OA) resources in the subject area language(linguistics) and literature play an important role in research and study in this field. This paper analyses the functions and characteristics of this kind of resources, explores different approaches of OA resources in language (linguistics) and literature. In the end, the paper comes to the conclusion that the strategies it employs carry significance...
This paper constructs an architectural model of database gateway, which can monitor and record the data flow between users and databases of digital library. Then it introduces cosine Similarity Algorithm, and proposes COSDCSU, (DCSU, databases choice stickiness of user) to present the similarity of choice tendency in user pairs. Furthermore, it discusses the Interval Probability distribution of COS...
We present a practical, systematical method for the evaluation of the soft error rate (SER) of microelectronic devices. Existing methodologies, practices and tools are integrated in a common approach while highlighting the need for specific data or tools. The showcased method is particularly adapted for evaluating the SER of very complex microelectronic devices by engineers confronted to increasingly...
Performance evaluation techniques for fundamental graphics algorithms and for algorithms to be used in multimedia and embedded systems are investigated. Models of computation considering only arithmetic and logic operations taken on input data are regarded as inadequate for processors with instruction-level parallelism. For experimental evaluation of graphics algorithms clock-cycle counting is found...
Sem@ntica is a system for extracting the information contained in collections of documents into a knowledge base. It combines high quality conventional named entity analysis with an ontology class labeling capability for open class words. The ontology comprises an upper ontology and one or more domain ontologies. The system has tools for rapidly designing the ontology and mapping segments of Word...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.