Results 221 to 230 of about 42,044 (262)

New rules keep EMTALA in check

Nursing Management (Springhouse), 2003
Recently proposed rules on the interpretation of EMTALA maintain the law's intention while protecting staff by limiting its ever-increasing application.
openaire   +2 more sources

VLSI systems for design rule checks

1984
We develop VLSI designs for the solution of several problems that arise in the design rule check phase of design automation.
Rajiv Kane, Sartaj Sahni
openaire   +2 more sources

Model Checking Simulation Rules for Linearizability

2016
Linearizability is the standard notion of correctness for concurrent objects. A number of approaches have been developed for proving linearizability along with associated tool support. In this paper, we extend the tool support for an existing simulation-based method.
openaire   +3 more sources

Modularity in P Colonies with Checking Rules

2012
P colony, which was introduced in [9], is an abstract computing device composed of independent agents, acting and evolving in a shared environment. In this paper we bring a new view to investigation of the behavior of the P colonies. The first part of the paper focuses on the modularity of the P colonies with checking rules.
Ludek Cienciala, Lucie Ciencialová, Miroslav Langer   +2 more
openaire   +2 more sources

Rule checking at the register level

IEEE Spectrum, 1996
For huge, complex circuits, checking design rules at a level of abstraction above the gate level can identify architectural problems early on. Today's more mature equivalence checkers require little user input, but are not able to verify the quality or correctness of an original design.
D. Caporossi, F.E. Marschner, S. Read
openaire   +1 more source

The Octant Rule: Check UPFRont!

Journal of Chemical Education, 2012
The importance of considering substituents in the front half of the space is demonstrated when applying the octant rule.
Ian J. McNaught, Gavin D. Peckham
openaire   +1 more source

A practical online design rule checking system

Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90, 1990
In this paper, we propose a practical online design rule checking system, which can provide the following features: an ability to cope with a complicated and wide variety of design rules with high accuracy, easy use, high speed incremental DRC (simultaneous checking with pattern editing) and total DRC (non-simultaneous checking), high speed pattern ...
Goro Suzuki, Yoshio Okamura
openaire   +2 more sources

A Slide Rule Device for Checking 2-Summability

IEEE Transactions on Computers, 1968
Abstract—A switching function which is 2-summable is not linearly separable (a threshold function). A test for 2-summability is given which uses the decimal numbers corresponding to the standard products (minterms) of a function, a slide rule like device, and a preformed chart. The device may be used with functions of up to six variables.
openaire   +3 more sources

Efficient Protocols for Rule Checking in RFID Systems

2013 22nd International Conference on Computer Communication and Networks (ICCCN), 2013
With the rapid proliferation of RFID technologies, RFID has been introduced to the applications like safety inspection and warehouse management. Conventionally a number of deployment rules are specified for these applications. This paper studies a practically important problem of rule checking over a large set of RFID tags, i.e., checking whether the ...
Yafeng Yin 0002, Lei Xie 0004, Sanglu Lu, Daoxu Chen   +3 more
openaire   +2 more sources

The Slide Rule as a Check in Trignometry

The Mathematics Teacher, 1930
For some years the use of the slide rule as a check in trigonometry has been allowed in the Regents' Examinations of New York State provided that all the computation work appears on the answer paper. The State Education Department insists that the students of trigonometry be trained in the use of tables of natural and logarithmic functions.
openaire   +1 more source