Index to files from the bib citation directory Cite-ForWebPosting:

2005: On the Use of Isomorphs to Enhance the Teaching and the Grading Methods in a Data Structures Course
.... bib/abstract , .... article (.pdf),

2005: Evolutionary and Alternative Algorithms: Reliable Cost Predictions for Finding Optimal Solutions to the {LABS} Problem
.... bib/abstract , .... article (.pdf),

2005: Effective Bounding Techniques For Solving Unate and Binate Covering Problems
.... bib/abstract , .... article (.pdf), .... talk (.ppt),

2005: On {SAT} instance classes and a method for reliable performance experiments with {SAT} solvers.
.... bib/abstract , .... article (.pdf), .... test bed (.html),

2004: Optimization Algorithms for the Minimum-Cost Satisfiability Problem
.... bib/abstract , .... talk (.ppt), .... thesis (.pdf),

2004: Engineering an Improved {MAX-SAT} Solver
.... bib/abstract ,

2004: A Local Search Solver Using an Effective Switching Strategy and an Efficient Unit Propagation
.... bib/abstract , .... article (.pdf),

2003: The LABS Problem and an Encapsulation of Local Search Algorithms for Improved Performance and Reliability
.... bib/abstract , .... report (.pdf),

2003: {SATbed} Home Page: A Tutorial, A User Guide, A Software Archive, Archives of SAT Instance Classes and Experimental Results
.... bib/abstract , .... test bed (.html), .... guide (.pdf), .... talk (.ppt),

2003: {QingTing}: A Fast SAT Solver Using Local Search and Efficient Unit Propagation
.... bib/abstract , .... article (.pdf), .... test bed (.html), .... talk (.ppt),

2003: {SATbed}: An Environment For Reliable Performance Experiments with SAT Instance Classes and Algorithms
.... bib/abstract , .... article (.pdf), .... test bed (.html), .... talk (.ppt),

2003: Reliable Cost Predictions for Finding Optimal Solutions to {LABS} Problem: Evolutionary and Alternative Algorithms
.... bib/abstract , .... article (.pdf), .... test bed (.html), .... talk (.pdf), .... talk (.ppt),

2002: The Role of a Skeptic Agent in Testing and Benchmarking of {SAT} Algorithms
.... bib/abstract , .... article (.pdf), .... test bed (.html), .... talk (.ppt),

2002: New Bounds on the Barycenter Heuristic for Bipartite Graph Drawing
.... bib/abstract ,

2001: A Universal Client for Taskflow-Oriented Programming with Distributed Components: an XML/TclTk Implementation
.... bib/abstract , .... article (.pdf), .... talk (.ppt),

2001: A Universal Client for Taskflow-Oriented Programming with Distributed Components: Concepts
.... bib/abstract , .... article (.pdf), .... talk (.ppt),

2001: Exploring Satisfiability: Instance Families and Experimental Design
.... bib/abstract , .... report (.pdf),

2001: Design of Experiments and Evaluation of {BDD} Ordering Heuristics
.... bib/abstract , .... article (.pdf),

2001: Heuristics, Experimental Subjects, and Treatment Evaluation in Bigraph Crossing Minimization
.... bib/abstract , .... article (.pdf),

2001: A Universal Client for Distributed Networked Design and Computing
.... bib/abstract , .... article (.pdf), .... talk (.ppt),

2000: The Scientific Method and Design and Test
.... bib/abstract , .... article (.pdf),

2000: A Universally Configurable Architecture for Taskflow-Oriented Design of a Distributed Collaborative Computing Environment
.... bib/abstract , .... thesis (.pdf),

2000: Generation of Tightly Controlled Equivalence Classes for Experimental Design of Heuristics for Graph--Based NP-hard Problems
.... bib/abstract , .... thesis (.pdf),

2000: CollabWiseTk: A Toolkit for Rendering Stand-alone Applications Collaborative
.... bib/abstract , .... article (.pdf),

2000: Collaborative Client-Server Architectures in Tcl/Tk: A Class Project Experiment and Experience
.... bib/abstract , .... article (.pdf),

2000: OpenExperiment: A Configurable Environment for Collaborative Experimental Design and Execution on the Internet
.... bib/abstract , .... report (.pdf),

2000: Generation of Tightly Controlled Circuit Classes for Problems in Physical Design
.... bib/abstract , .... report (.pdf),

2000: OpenDesign: An Open User-Configurable Project Environment for Collaborative Design and Execution on the Internet
.... bib/abstract , .... article (.pdf),

2000: Taskflow-Oriented Programming: A Paradigm for Distributed Collaborative Computing
.... bib/abstract , .... article (.pdf),

1999: Graph Mutants based on Characteristic Spanning Trees: Experimental Design of Heuristics for NP-Hard Problems
.... bib/abstract , .... report (.pdf),

1999: Evaluating Iterative Improvement Heuristics for Bigraph Crossing Minimization
.... bib/abstract , .... article (.pdf),

1999: User-Configurable Experimental Design Flows on the Web: The ISCAS'99 Experiments
.... bib/abstract , .... article (.pdf),

1999: Mirror, Mirror On The Wall .... Is The New Release Any Different At All?
.... bib/abstract , .... article (.pdf),

1999: Equivalence Classes of Circuit Mutants for Experimental Design
.... bib/abstract , .... article (.pdf),

1999: Design of Experiments in CAD: Context and New Data Sets for ISCAS'99
.... bib/abstract , .... article (.pdf),

1999: Vela Project on Collaborative Distributed Design: New Client/Server Implementations
.... bib/abstract , .... article (.pdf),

1999: Heuristics and Experimental Design for Bigraph Crossing Number Minimization
.... bib/abstract , .... article (.pdf),

1998: Cell Placement and Minimization of Crossing Numbers
.... bib/abstract , .... thesis (.html), .... thesis (.pdf),

1998: WebWiseTclTk: A Safe-Tcl/Tk-based Toolkit Enhanced for the World Wide Web
.... bib/abstract , .... article (.pdf),

1998: Internet-based Desktops in Tcl/Tk: Collaborative and Recordable
.... bib/abstract , .... article (.pdf),

1998: Hypercrossing Number: A New and Effective Cost Function for Cell Placement Optimization
.... bib/abstract , .... report (.pdf),

1998: First Steps Towards Experimental Design in Evaluating Layout Algorithms: Wire Length versus Wire Crossing in Linear Placement Optimization
.... bib/abstract , .... report (.pdf),

1998: OmniDesk/OmniFlow: An Agent-Based Architecture and a Toolkit for Building Configurable and Collaborative Workflows of Heterogeneous Applications and Data for the Web
.... bib/abstract , .... report (.pdf),

1998: Circuit Equivalence Classes and Design of Experiments for Performance Evaluation of Algorithms in Physical Design
.... bib/abstract , .... report (.pdf),

1998: Vela Project -- Globally Distributed Microsystem Design -- Proof of Concept: Demo Summaries of the 1998 DAC Exhibition in the University Booth
.... bib/abstract , .... report (.pdf),

1998: Design of Experiments to Evaluate CAD Algorithms: Which Improvements Are Due to Improved Heuristic and Which Are Merely Due to Chance?
.... bib/abstract , .... report (.pdf),

1998: WebWiseTclTk, OmniDesk and OmniFlows: A User-Configurable Distributed Design Environment inside a Web-Browser
.... bib/abstract , .... report (.pdf),

1998: Multi-level Logic Optimization Based on Wave Synthesis of Permissible Mutation Functions (WASP)
.... bib/abstract , .... article (.pdf),

1998: Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations
.... bib/abstract , .... article (.pdf),

1998: Design of Experiments in BDD Variable Ordering: Lessons Learned
.... bib/abstract , .... article (.pdf),

1998: Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations
.... bib/abstract , .... article (.pdf),

1998: Synthesis of Wiring Signature-Invariant Equivalence Class Circuit Mutants and Applications to Benchmarking
.... bib/abstract , .... article (.pdf),

1997: Collaborative Computing on the Internet
.... bib/abstract , .... thesis (.html), .... thesis (.pdf),

1997: Agent-Based Publish and Query Information System Design for the Internet
.... bib/abstract , .... thesis (.html),

1997: OmniDesk and OmniFlows: A Platform-Independent Executable and User-Reconfigurable Desktops and Workflows on the Internet
.... bib/abstract , .... report (.pdf),

1997: Internet-based Desktops: Collaborative and Recordable
.... bib/abstract , .... report (.pdf),

1997: Internet-based Workflows: A Paradigm for Dynamically~ Reconfigurable Desktop Environments
.... bib/abstract , .... report (.pdf),

1997: Collaborative Workflows: A Paradigm For Distributed Benchmarking and Design on the Internet
.... bib/abstract , .... report (.pdf),

1997: Synthesis of Signature-Invariant Equivalence Class Circuit Mutants and Applications to Benchmarking
.... bib/abstract , .... report (.pdf),

1997: Towards A New Benchmarking Paradigm in {EDA}: Analysis of Equivalence Class Mutant Circuit Distributions
.... bib/abstract , .... article (.pdf),

1997: Internet-based workflows: a paradigm for dynamically reconfigurable desktop environments
.... bib/abstract , .... article (.pdf),

1997: Executable Workflows: A Paradigm for Collaborative Design on the Internet
.... bib/abstract , .... article (.pdf),

1996: Fast True Delay Estimation During High Level Synthesis
.... bib/abstract , .... article (.pdf),

1996: Testing and Optimization of Digital Integrated Circuits
.... bib/abstract , .... thesis (.html),

1996: Partitioning and Optimization of Digital Integrated Circuits
.... bib/abstract , .... thesis (.html),

1996: Effects of Resource Sharing on Circuit Delay: An Assignment Algorithm for Clock Period Optimization
.... bib/abstract , .... report (.pdf),

1995: Detectable Perturbations: A Paradigm for Technology Specific Multi-Fault Test Generation
.... bib/abstract , .... article (.pdf),

1995: Hardware Synthesis of Conditional Intensive Behavioral Specifications: Scheduling, Assignment, True Delay Estimation and RT-Level Optimizations
.... bib/abstract , .... thesis (.pdf),

1995: REUBEN: A Tcl--Based Reusable Environment Driven by Benchmarking Applications
.... bib/abstract , .... report (.pdf),

1995: A Comprehensive Partial Scan Chain Assignment and Test Generation
.... bib/abstract , .... report (.pdf),

1995: PROP: A Recursive Paradigm for Area-Efficient and Performance Oriented Partitioning of Large FPGA Netlists
.... bib/abstract , .... article (.pdf),

1995: Partial Scan Selection for User-Specific Fault Coverage
.... bib/abstract , .... article (.pdf),

1994: Provably Correct High-Level Timing Analysis without Path Sensitization
.... bib/abstract , .... article (.pdf),

1994: A Unified Cost Model for Min-Cut Partitioning with Replication Applied to Optimization of Large Heterogeneous FPGA Partitions
.... bib/abstract , .... article (.pdf),

1994: A Functionality Fault Model: Feasibility and Applications
.... bib/abstract , .... article (.pdf),

1994: Introduction of Permissible Bridges with Application to Logic Optimization after Technology Mapping
.... bib/abstract , .... article (.pdf),

1994: Multi-way Netlist Partitioning into Heterogeneous FPGAs and Minimization of Total Device Cost and Interconnect
.... bib/abstract , .... article (.pdf),

1994: Performance Analysis and Optimization of Schedules for Conditional and Loop-Intensive Specifications
.... bib/abstract , .... article (.pdf),

1994: Clock Period Optimization During Resource Sharing and Assignment
.... bib/abstract , .... article (.pdf),

1994: {GDR}: A Visualization Tool for Graph Algorithms
.... bib/abstract ,

1993: Transformations and Resynthesis for Testability of RT-Level Control-Data Path Specifications
.... bib/abstract , .... article (.pdf),

1993: Dynamic Scan Testing: A New Paradigm
.... bib/abstract , .... thesis (.pdf),

1993: Functionality Test and Don't Care Synthesis in FPGA ICs
.... bib/abstract ,

1993: Partitioning Digital Circuits for Implementation in Multiple FPGA ICs
.... bib/abstract ,

1993: ACM/SIGDA Benchmarks Electronic~ Newsletter
.... bib/abstract , .... report (.pdf),

1993: A D\&T Special Report on ACM/SIGDA Design Automation Benchmarks: Catalyst or Anathema?
.... bib/abstract ,

1993: An Approach to Generation of Don't Care Sets After Technology Mapping
.... bib/abstract ,

1993: Efficient Boolean Matching Based on Unique Variable Ordering
.... bib/abstract ,

1993: Synthesis of Weighted Random Test Sequences with Application to Testing of Sequential Circuits
.... bib/abstract , .... article (.pdf),

1993: RT-Level Transformations for Gate-Level Testability
.... bib/abstract ,

1993: Cost Minimizations of Partitions into Multiple Devices
.... bib/abstract , .... article (.pdf),

1993: Efficient Boolean Matching in Technology Mapping with Very Large Libraries
.... bib/abstract ,

1992: OASIS 2.0 User's Guide
.... bib/abstract ,

1992: A Framework~ and Method for Hierarchical Test Generation
.... bib/abstract ,

1992: ACM/SIGDA Benchmarks Electronic Newsletter
.... bib/abstract , .... report (.pdf),

1992: Automatic Pattern Generation for Diagnosis of Wiring Interconnect Faults
.... bib/abstract ,

1992: Synthesizing Behavioral Benchmarks in VHDL into Standard Cell Layouts
.... bib/abstract ,

1992: Transformations and Resynthesis for Testability from RTL Specifications
.... bib/abstract ,

1992: Approaches to Permutation Invariant Boolean Function Characterization
.... bib/abstract ,

1992: CALLAS/OASIS: Combining Behavioral and Register-Transfer Synthesis Systems
.... bib/abstract ,

1992: Automatic Pattern Generation for Diagnosis of Wiring Defects Between Modules
.... bib/abstract ,

1992: Cellular Scan Revisited
.... bib/abstract ,

1992: Bridging Behavioral and Register-Transfer Synthesis
.... bib/abstract ,

1992: Cellular Scan Test Generation for Sequential Circuits
.... bib/abstract ,

1992: Characterization of Boolean Functions for Rapid Matching in EPGA Technology
.... bib/abstract ,

1991: A Reconvergence-Based Circuit Partitioning Technique for Combinational and Sequential Logic Synthesis
.... bib/abstract ,

1991: Automatic Pattern Generation for Diagnosis of Wiring Defects Between Modules
.... bib/abstract ,

1991: Design Control for a Silicon Compiler
.... bib/abstract , .... report (.pdf),

1991: Method and Apparatus for High Precision Weighted Random Pattern Generation
.... bib/abstract ,

1991: Circuit Partitioning for Logic Synthesis
.... bib/abstract ,

1991: Logic Synthesis and Optimization Benchmarks User Guide
.... bib/abstract , .... guide (.pdf), .... latex (.tex),

1991: Partitioning Sequential Circuits for Logic Optimization
.... bib/abstract ,

1991: Synthesis for Built-In Self-Test of Finite State Machines
.... bib/abstract ,

1991: Sequential Circuit Optimization by Resynthesis and Retiming
.... bib/abstract ,

1991: Synthesis and Timing Optimization of Fully Testable Combinational Logic
.... bib/abstract ,

1991: Identification and Resynthesis of Pipelines in Sequential Networks
.... bib/abstract ,

1990: Boundary Scan with Built-In Self-Test
.... bib/abstract ,

1990: OASIS: A Silicon Compiler for Semi-Custom Design
.... bib/abstract ,

1990: Corolla Partitions and Don't Cares
.... bib/abstract ,

1990: Built-In Self-Test with Weighted Random Pattern Hardware
.... bib/abstract ,

1990: Local Search Variants for Hypercube Embedding
.... bib/abstract ,

1990: Corolla-Based Circuit Partitioning and Resynthesis
.... bib/abstract ,

1990: Circuit Partitioning and Resynthesis
.... bib/abstract ,

1990: Rapid Prototyping of Digital ICs: Programming the Silicon
.... bib/abstract ,

1989: Automated Synthesis for Testability
.... bib/abstract ,

1989: Exploiting Hierarchy in Deterministic Test Pattern Generation
.... bib/abstract ,

1989: Boundary Scan with Built-In Self Test
.... bib/abstract ,

1989: Redundancy Identification and Removal
.... bib/abstract ,

1989: A Framework and Method for Hierarchical Test Generation
.... bib/abstract ,

1989: Hardware-Based Weighted Random Pattern Generation for Boundary Scan
.... bib/abstract ,

1989: Combinational Profiles of Sequential Benchmark Circuits
.... bib/abstract , .... article (.pdf),

1989: Hypercube Embedding Heuristics: An Evaluation
.... bib/abstract ,

1989: Hierarchical Fault Simulation in Combinational Circuits
.... bib/abstract ,

1988: Integration of Boundary Scan with Cellular-Based Built-In Self-Test for Scan-Based Architectures
.... bib/abstract ,

1988: On Testability Analysis of Combinational Networks
.... bib/abstract ,

1988: Boundary Scan with Cellular-Based Built-In Self-Test
.... bib/abstract ,

1988: McMap: A Fast Technology Mapping Procedure for Multi-Level Logic Synthesis
.... bib/abstract ,

1988: A Modular Scan-Based Testability System
.... bib/abstract ,

1987: Testability-Driven Random Test-Pattern Generation
.... bib/abstract ,

1987: Decomposition and Technology Mapping for Multi-Level Logic Synthesis
.... bib/abstract ,

1987: Testability Characterization of Embedded Modules via Logic Minimization
.... bib/abstract ,

1987: Accelerated Transition Fault Simulation
.... bib/abstract ,

1986: Testability-Driven Random Test Pattern Generation
.... bib/abstract ,

1986: Fast Fault Grading of Sequential Logic
.... bib/abstract ,

1985: Using {$PQ$}-Trees for Planar Embedding Problems
.... bib/abstract ,

1985: A Fast Fault Grader: Analysis and Applications
.... bib/abstract ,

1985: Special Session on ATPG (Also introducing 'A Neutral Netlist of 10 Combinational Benchmark Circuits')
.... bib/abstract ,

1985: Accelerated ATPG and Fault Grading via Testability Analysis
.... bib/abstract , .... article (.pdf),

1984: Applications of Testability Analysis: from ATPG to Critical Delay Path Tracing
.... bib/abstract ,

Date and time of document generation: Thu Jun 23 14:19:21 EDT 2005