Search results for "redundancies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Debesh Kumar Das, Bhargab B. Bhattacharya	Does retiming affect redundancy in sequential circuits?	VLSI Design	1996	DBLP DOI BibTeX RDF	combinational redundancy, sequential redundancy, fault diagnosis, logic testing, timing, redundancy, test generation, design for testability, sequential circuits, sequential circuit, fault, retiming, logic optimization, operation speed
10	Vishwani D. Agrawal, Srimat T. Chakradhar	Combinational ATPG theorems for identifying untestable faults in sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
10	Anand Raghunathan, Pranav Ashar, Sharad Malik	Test generation for cyclic combinational circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
10	Ting-Hu Wu, Rama Chellappa, Qinfen Zheng	Experiments on estimating egomotion and structure parameters using long monocular image sequences.	Int. J. Comput. Vis.	1995	DBLP DOI BibTeX RDF
10	Gopal Lakhani, Vamsi Ayyagari	Improved Huffman Code Tables for Still and Video Image Encoders.	CBMS	1995	DBLP DOI BibTeX RDF
10	Jens Knoop, Oliver Rüthing, Bernhard Steffen	The Power of Assignment Motion.	PLDI	1995	DBLP DOI BibTeX RDF	assignment motion, bit-vector data flow analyses, partially redundant assignment and expression elimination, data flow analysis, program optimization, code motion
10	Gagan Agrawal, Joel H. Saltz, Raja Das	Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation.	PLDI	1995	DBLP DOI BibTeX RDF
10	Rolf Drechsler, Rolf Krieger, Bernd Becker 0001	Random Pattern Fault Simulation in Multi-Valued Circuits.	ISMVL	1995	DBLP DOI BibTeX RDF	random pattern fault simulation, multi-valued circuits, multi-valued logic networks, fault diagnosis, logic testing, integrated circuit testing, fault simulator, circuit analysis computing, multivalued logic circuits, random pattern testability
10	Uwe R. Zimmer	Minimal Qualitative Topologic World Models for Mobile Robots.	ANNES	1995	DBLP DOI BibTeX RDF
10	Srimat T. Chakradhar, Steven G. Rothweiler	Redundancy Removal and Test Generation for Circuits with Non-Boolean Primitives.	VTS	1995	DBLP DOI BibTeX RDF
10	Anand Raghunathan, Pranav Ashar, Sharad Malik	Test generation for cyclic combinational circuits.	VLSI Design	1995	DBLP DOI BibTeX RDF	cyclic combinational circuits, bus structures, single-stuck-at fault test pattern, test generation problem, program RAM, fault diagnosis, logic testing, integrated circuit testing, network topology, combinational circuits, automatic testing, fault coverage, test pattern generators, formal analysis, data paths, testing algorithm, combinational logic circuits, untestable faults
10	C. Jimmy Shih, Kenneth E. Batcher	Adding Multiple-Fault Tolerance to Generalized Cube Networks.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	multiple-fault tolerance, generalized cube networks, permutation connections, vectorspace approach, reliability, parallel processing, fault tolerant computing, hypercube networks
10	Russell Kao, Mark Horowitz	Eliminating redundant DC equations for asymptotic waveform evaluation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
10	Mu-King Tsay, Chia-Hsu Kuo, Rong-Huah Ju, Ming-Ko Chiu	Data compression on multifont Chinese character patterns.	IEEE Trans. Image Process.	1994	DBLP DOI BibTeX RDF
10	Yoshinori Hara, Rodrigo A. Botafogo	Hypermedia Databases: A Specification and Formal Language.	DEXA	1994	DBLP DOI BibTeX RDF
10	Preston Briggs, Keith D. Cooper	Effective Partial Redundancy Elimination.	PLDI	1994	DBLP DOI BibTeX RDF
10	Bertil Folliot, Pierre Sens 0001	GATOSTAR: A Fault Tolerant Load Sharing Facility for Parallel Applications.	EDCC	1994	DBLP DOI BibTeX RDF
10	Lu Zhang 0002, Ken-Chih Liu	Towards a Relational Model for Exclusively Disjunctive Information.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
10	Dhananjay M. Dhamdhere, Uday P. Khedker	Complexity of Bidirectional Data Flow Analysis.	POPL	1993	DBLP DOI BibTeX RDF
10	Richard Johnson, Keshav Pingali	Dependence-Based Program Analysis.	PLDI	1993	DBLP DOI BibTeX RDF
10	Shin'ichi Konomi, Tetsuya Furukawa, Yahiko Kambayashi	Super-Key Classes for Updating Materialized Derived Classes in Object Bases.	DOOD	1993	DBLP DOI BibTeX RDF
10	Isabelle Comyn-Wattiau, Mokrane Bouzeghoub	Constraint Confrontation: An Important Step in View Integration.	CAiSE	1992	DBLP DOI BibTeX RDF	deductive process, conflict resolution, database design, integrity constraint, forward chaining, view integration
10	Kurt Keutzer, Sharad Malik, Alexander Saldanha	Is redundancy necessary to reduce delay?	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
10	Michael Burrows, Martín Abadi, Roger M. Needham	A Logic of Authentication.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF
10	Ralph W. Wilkerson, Blayne E. Mayfield	The Role of Term Symmetry in E-Completion Procedures.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
10	Torsten Grüning, Udo Mahlstedt, Wilfried Daehn, Cengiz Özcan	Accelerated test pattern generation by cone-oriented circuit partitioning.	EURO-DAC	1990	DBLP DOI BibTeX RDF
10	Olga De Troyer	RIDL*: A Tool for the Computer-Assisted Engineering of Large Databases in the Presence of Integrity Constraints.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
10	Michael Burrows, Martín Abadi, Roger M. Needham	A Logic of Authentication.	SOSP	1989	DBLP DOI BibTeX RDF
10	Michael H. Schulz, Erwin Trischler, Thomas M. Sarfert	SOCRATES: a highly efficient automatic test pattern generation system.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
10	Chao-Chih Yang, Guang Li, Peter A. Ng	An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	subset closures, relational database scheme, elementary key normal form, subset closures, computational complexity, relational databases, time complexity, database theory, functional dependences, set theory, Hamiltonian cycles
10	Veda C. Storey, Robert C. Goldstein	A Methodology for Creating User Views in Database Design.	ACM Trans. Database Syst.	1988	DBLP DOI BibTeX RDF
10	James B. H. Kwa	Tolerant Planning and Negotiation in Generating Coordinated Movement Plans in an Automated Factory.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
10	Z. Meral Özsoyoglu, Li-Yan Yuan	Reduced MVDs and Minimal Covers.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
10	Franz Oppacher, E. Suen	Controlling Deduction with Proof Condensation and Heuristics.	CADE	1986	DBLP DOI BibTeX RDF
10	Wolfgang Bibel	A Theoretical Basis for the Systematic Proof Method.	MFCS	1980	DBLP DOI BibTeX RDF
10	Jean-Marie Hullot	Canonical Forms and Unification.	CADE	1980	DBLP DOI BibTeX RDF