Results 271 to 280 of about 2,767,476 (321)
Some of the next articles are maybe not open access.
Rule-based testability rule check program
Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2002A practical rule-based testability rule checker for VLSI testing adopting a tunable rule-base shell suited for rule checking is described. The checking process is divided into symbolic simulation and violation detection. The testability rules applied in the violation detection and the circuit primitive operation rules applied in the symbolic simulator ...
Yasushi Koseko +3 more
openaire +1 more source
A combined rule-based and machine learning approach for automated GDPR compliance checking
International Conference on Artificial Intelligence and Law, 2021The General Data Protection Regulation (GDPR) requires data controllers to implement end-to-end compliance. Controllers must therefore ensure that the terms agreed with the data subject and their own obligations under GDPR are respected in the data flows
Rajaa El Hamdani +5 more
semanticscholar +1 more source
An assume-guarantee rule for checking simulation
ACM Transactions on Programming Languages and Systems, 1998The simulation preorder on state transition systems is widely accepted as a useful notion of refinement, both in its own right and as an efficiently checkable sufficient condition for trace containment. For composite systems, due to the exponential explosion of the state space, there is a need for decomposing a simulation check of the form
Thomas A. Henzinger +3 more
openaire +1 more source
Integration, 1987
Abstract This paper describes a parallel connection machine architecture which is capable of assisting with the DRC of VLSI circuits. Because of the systems architecture a significant performance improvement can be expected from our machine.
O. P. Traynor, Jon R. Malone
openaire +1 more source
Abstract This paper describes a parallel connection machine architecture which is capable of assisting with the DRC of VLSI circuits. Because of the systems architecture a significant performance improvement can be expected from our machine.
O. P. Traynor, Jon R. Malone
openaire +1 more source
Checking Sets of Pure Evolving Association Rules
Fundamenta Informaticae, 2021Extracting association rules from large datasets has been widely studied in many variants in the last two decades; they allow to extract relations between values that occur more “often” in a database. With temporal association rules the concept has been declined to temporal databases.
Combi, Carlo, Rizzi, Romeo, Sala, Pietro
openaire +3 more sources
Design Automation Conference
With the emergence of chiplet technology, the scale of IC packaging design has been steadily increasing, making the utilization of traditional design rule checking (DRC) methods more time-consuming.
Jiaxi Jiang +5 more
semanticscholar +1 more source
With the emergence of chiplet technology, the scale of IC packaging design has been steadily increasing, making the utilization of traditional design rule checking (DRC) methods more time-consuming.
Jiaxi Jiang +5 more
semanticscholar +1 more source
Rule-based compliance checking and generative design for building interiors using BIM
Automation in Construction, 2020Building Information Modeling (BIM) is becoming an integral part of the design, architecture, and construction process, as it can integrate all building data in an accessible digital representation that can be viewed in a 3D environment prior to ...
Christoph Sydora, Eleni Stroulia
exaly +2 more sources
A Formal Approach to Design-Rule Checking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987This paper describes the development of a layout model and the theoretical basis for a relatively technology-independent, false-error free, hierarchical design-rule checker for VLSI circuit layouts which have Manhattan geometry and are subject to some design-rule simplifications. A flat model of the layout of a VLSI circuit using set theory notation is
Hossein Modarres, Ronald J. Lomax
openaire +1 more source
Applying rule-based model-checking to construction site layout planning tasks
Automation in Construction, 2019Building Information Modeling (BIM) is a widely established method in the architecture, engineering, construction, and facilities management (AEC/FM) industry.
Jochen Teizer, Markus KÖNIG
exaly +2 more sources
Automated tower crane planning: leveraging 4-dimensional BIM and rule-based checking
Automation in Construction, 2018Reviewing tower crane plans in the pre-construction phase is an iterative process and one that is in need of an approach that improves its effectiveness and efficiency.
Fernanda Leite
exaly +2 more sources