|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 450 occurrences of 345 keywords
|
|
|
Results
Found 636 publication records. Showing 636 according to the selection in the facets
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 |
|
Displaying result #601 - #636 of 636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7] |
|