yusuke1997/dblp-id-title huggingface dataset:
Compact representation and efficient generation of s-expandedsymbolic network functions for computer-aided analog circuit design
Interpreting Local Variables in AMS Assertions During Simulation
FALCON: Feature Driven Selective Classification for Energy-Efficient Image Recognition
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions
Full-Component Modeling and Simulation of Charged Device Model ESD
An efficient verifier for finite state machines
Efficient Full-Chip Statistical Leakage Analysis Based on Fast Matrix Vector Product
Contactless Pre-Bond TSV Test and Diagnosis Using Ring Oscillators and Multiple Voltage Levels
Investigation into the properties of the explicit method for the resolution of the semiconductor device equations
A multifrequency technique for frequency response computation with application to switched-capacitor circuits with nonlinearities
Network Partitioning and Ordering for MOS VLSI Circuits
Primitive path delay faults: identification and their use in timinganalysis
Automated Design for Multiorgan-on-Chip Geometries
Design and optimization of multithreshold CMOS (MTCMOS) circuits
Maximal Independent Fault Set for Gate-Exhaustive Faults
LUT-Based Hierarchical Reversible Logic Synthesis
Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties
Energy models for delay testing
TieredHM: Hotspot-Optimized Hash Indexing for Memory-Semantic SSD-Based Hybrid Memory
A Markov chain-based yield formula for VLSI fault-tolerant chips
Systematic Generation of Memristor-Transistor Single-Phase Combinational Logic Cells
Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware
Optimizing Cache Bypassing and Warp Scheduling for GPUs
Analog Circuit Yield Optimization via Freeze-Thaw Bayesian Optimization Technique
McPAT-Calib: A RISC-V BOOM Microarchitecture Power Modeling Framework
NC-Net: Efficient Neuromorphic Computing Using Aggregated Subnets on a Crossbar-Based Architecture With Nonvolatile Memory
Impact of Thermal Boundary Resistance on the Performance and Scaling of Phase-Change Memory Device
Probabilistic Analysis and Design of Metallic-Carbon-Nanotube-Tolerant Digital Logic Circuits
Designing for high-level test generation
Multiagent Reinforcement Learning for Hyperparameter Optimization of Convolutional Neural Networks
A concurrent testing technique for digital circuits
Discretization of Macroscopic Transport Equations on Non-Cartesian Coordinate Systems
Efficient Qubit Routing Using a Dynamically Extract-and-Route Framework
SeMIA: Self-Similarity-Based IC Integrity Analysis
Pull up transistor folding
A Compact Memristor-Based Dynamic Synapse for Spiking Neural Networks
On Timing Model Extraction and Hierarchical Statistical Timing Analysis
Pin assignment with global routing for general cell designs
A Reliable Routing Architecture and Algorithm for NoCs
A Multilevel FFT Method for the 3-D Capacitance Extraction
GroupQ: Group-Wise Quantization With Multi-Objective Optimization for CNN Accelerators
Area routing for analog layout
Combating Coordinated Pricing Cyberattack and Energy Theft in Smart Home Cyber-Physical Systems
HRM: Merging Hardware Event Monitors for Improved Timing Analysis of Complex MPSoCs
A Multicycle Test Set Based on a Two-Cycle Test Set With Constant Primary Input Vectors
Incremental and Verified Modeling of the PCI Express Protocol
Asymptotically Perfect Trivial Global Routing: A Stochastic Analysis
Worst-case analysis and optimization of VLSI circuit performances
Multitrees with internal storage
Improving Combinational Circuit Reliability Against Multiple Event Transients via a Partition and Restructuring Approach
Encoding Large Asynchronous Controllers With ILP Techniques
An In-Field Programmable Adaptive CMOS LNA for Intelligent IoT Sensor Node Applications
Design-Phase Buffer Allocation for Post-Silicon Clock Binning by Iterative Learning
Partitioning algorithms for layout synthesis from register-transfer netlists
Integrated floorplanning with buffer/channel insertion for bus-based designs
RWCap: A Floating Random Walk Solver for 3-D Capacitance Extraction of Very-Large-Scale Integration Interconnects
Selective Flexibility: Creating Domain-Specific Reconfigurable Arrays
On the intrinsic Rent parameter and spectra-based partitioning methodologies
Lorenz Chaotic System-Based Carbon Nanotube Physical Unclonable Functions
A unified approach to topology generation and optimal sizing of floorplans
Forward-looking fault simulation for improved static compaction
TEI-NoC: Optimizing Ultralow Power NoCs Exploiting the Temperature Effect Inversion
Architectures and synthesis algorithms for power-efficient businterfaces
Design Synthesis and Optimization Strategy for Low Delay and High Bandwidth Utilization in Time-Sensitive Networking
Design automation tools for efficient implementation of logic functions by decomposition
Transmission line synthesis via constrained multivariable optimization
Analytic transient solution of general MOS circuit primitives
Design-Aware Mask Inspection
Numerical Insight Into the Origin of Nonreciprocity and Performance Enhancement in Nonreciprocal Bandpass Filters Using Evolutionary Algorithm
Optimized terminal current calculation for Monte Carlo device simulation
Circuit Decomposition of Multicontrolled Special Unitary Single-Qubit Gates
Optimal folding of bit sliced stacks
All-Region Statistical Model for Delay Variation Based on Log-Skew-Normal Distribution
Chance-Constrained and Yield-Aware Optimization of Photonic ICs With Non-Gaussian Correlated Process Variations
Characterization, test, and logic synthesis of and-or-inverter (AOI) gate design for QCA implementation
A replication cut for two-way partitioning
Reduction of Parametric Failures in Sub-100-nm SRAM Array Using Body Bias
Redundant Local-Loop Insertion for Unidirectional Routing
EM SCA White-Box Analysis-Based Reduced Leakage Cell Design and Presilicon Evaluation
Optimization of Intercache Traffic Entanglement in Tagless Caches With Tiling Opportunities
Aggressive Test Cost Reductions Through Continuous Test Effectiveness Assessment
An Optimal Microarchitecture for Stencil Computation Acceleration Based on Nonuniform Partitioning of Data Reuse Buffers
An improved linear placement algorithm using node compaction
Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration
A Minimizing Energy Consumption Scheme for Real-Time Embedded System Based on Metaheuristic Optimization
Hierarchical Harmonic-Balance Methods for Frequency-Domain Analog-Circuit Analysis
Universal MOSFET hole mobility degradation models for circuit simulation
A Content-Based Ransomware Detection and Backup Solid-State Drive for Ransomware Defense
Fast Design Space Exploration of Nonlinear Systems: Part I
Accelerating Loop-Oriented RTL Simulation With Code Instrumentation
Deep-Learning-Driven Random Walk Method for Capacitance Extraction
Comparison of two designs for the multifunction vehicle bus
Hazard-free implementation of speed-independent circuits
An Algorithm for Optimal PLA Folding
Connectivity-Agnostic Built-In Self-Repair of Interconnects in a Chiplet IC
Analog and Mixed-Signal IC Security via Sizing Camouflaging
Routing Challenges for Designs With Super High Pin Density
A new approach to over-the-cell channel routing with three layers
SUPREM 3.5-process modeling of GaAs integrated circuit technology
FLUTE: Fast Lookup Table Based Rectilinear Steiner Minimal Tree Algorithm for VLSI Design
Modeling and Description of Processor-Based Systems with DTMSII
MTrain: Enable Efficient CNN Training on Heterogeneous FPGA-Based Edge Servers
Performance and Thermal-Aware Steiner Routing for 3-D Stacked ICs
Improving Simulated Annealing-Based FPGA Placement With Directed Moves
Kalman Predictor-Based Proactive Dynamic Thermal Management for 3-D NoC Systems With Noisy Thermal Sensors
Variability-Aware Design of Multilevel Logic Decoders for Nanoscale Crossbar Memories
Via minimization in VLSI routing with movable terminals
Symbolic cover minimization of fully I/O specified finite state machines
Wear Relief for High-Density Phase Change Memory Through Cell Morphing Considering Process Variation
M 3 -a multilevel mixed-mode mixed A/D simulator
Time-Stepping Numerical Simulation of Switched Circuits Within the Nonsmooth Dynamical Systems Approach
A Hierarchical Global Wiring Algorithm for Custom Chip Design
Write Activity Minimization for Nonvolatile Main Memory Via Scheduling and Recomputation
Fast Dummy-Fill Density Analysis With Coupling Constraints
Threshold Testing: Improving Yield for Nanoscale VLSI
MACS: A Multidomain Collaborative Adaptive Clock Scheme for Large-Scale Reconfigurable Dataflow Accelerators
System-level performance analysis for designing on-chipcommunication architectures
FUNCODE: Effective Device-to-System Analysis of Field-Coupled Nanocomputing Circuit Designs
Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling
An Efficient Branch-and-Bound Routing Optimization Method for Optical NoCs
Evaluation of Generalized LFSRs as Test Pattern Generators in Two-Dimensional Scan Designs
CDAR-DRAM: Enabling Runtime DRAM Performance and Energy Optimization via In-Situ Charge Detection and Adaptive Data Restoration
Review of physical models for numerical simulation of semiconductor microsensors
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques
Physical models and efficient algorithms for over-the-cell routing in standard cell design
A Network-Flow Based Pin-Count Aware Routing Algorithm for Broadcast-Addressing EWOD Chips
Result-Oriented Modeling - A Novel Technique for Fast and Accurate TLM
An Efficient LSM-Tree-Based SQLite-Like Database Engine for Mobile Devices
A Precision-Scalable Deep Neural Network Accelerator With Activation Sparsity Exploitation
Robust Parallel Preconditioned Power Grid Simulation on GPU With Adaptive Runtime Performance Modeling and Optimization
A framework and method for hierarchical test generation
Layout Symmetries: Quantification and Application to Cancel Nonlinear Process Gradients
Reducing clock skew variability via crosslinks
HPPI: A High-Performance Photonic Interconnect Design for Chiplet-Based DNN Accelerators
Decoupling-Capacitor Planning and Sizing for Noise and Leakage Reduction
Process modeling and simulation: boundary conditions for point defect-based impurity diffusion model
Improved integral formulations for fast 3-D method-of-momentssolvers
Physical-Layer Modeling and System-Level Design of Chip-Scale Photonic Interconnection Networks
Backdoor Attacks on Safe Reinforcement Learning-Enabled Cyber-Physical Systems
Bayesian Optimized Mixture Importance Sampling for High-Sigma Failure Rate Estimation
A Novel Memristive Chaotic Neuron Circuit and Its Application in Chaotic Neural Networks for Associative Memory
TETA: transistor-level waveform evaluation for timing analysis
Long Live TIME: Improving Lifetime and Security for NVM-Based Training-in-Memory Systems
Testing content-addressable memories using functional fault modelsand march-like algorithms
RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2
Automatic symbolic analysis of switched-capacitor filtering networks using signal flow graphs
GPGPU-Based ATPG System: Myth or Reality?
A Structural Model to Investigate Factors Affect Patient Satisfaction and Revisit Intention in Jordanian Hospitals
Traffic Noise: 1/f Characteristics
BEASF-Based Image Enhancement for Caries Detection Using Multidimensional Projection and Neural Network
Optimisation of Engineering Systems With the Bees Algorithm
Forecasting Demand in Supply Chain Using Machine Learning Algorithms
Fractal Top for Contractive and Non-Contractive Transformations
Introducing Link Based Weightage for Web Page Ranking
Simulating the Spread of an Epidemic in a Small Rural Kansas Town
A Note on the Uniqueness of Positive Solutions for Singular Boundary Value Problems
English to Hindi Paraphrase Convention for Translating Homoeopathy Literature
Acquiring Knowledge in Extended Hierarchical Censored Production Rules (EHCPRS) System
Load Balancing for the Dynamic Distributed Double Guided Genetic Algorithm for MAX-CSPs
Knowledge in Memetic Algorithms for Stock Classification
A Mathematical Model for a Vibrating Human Head
Estimation of Dynamic Noise in Mandelbrot Map
Hermite-Hadamard's Inequality on Time Scales
Mitigation Strategies for Foot and Mouth Disease: A Learning-Based Approach
Modeling, Mathematical and Numerical Studies of a New Biventricular Model for Artificial Heart Powered by an Electromagnet Subjected to Sinusoidal and Square Voltages
Soft Computing and Learning Techniques in the Modeling of Humanistic Systems
Energy Based Web Page Ranking
Anti Fuzzy Deductive Systems of BL-Algebras
A Family of Superstable n-D Mappings
Semi-E-Preinvex Functions
Can Cognitive Biases in Robots Make More 'Likeable' Human-Robot Interactions than the Robots Without Such Biases: Case Studies Using Five Biases on Humanoid Robot
Hengam a MapReduce-Based Distributed Data Warehouse for Big Data: A MapReduce-Based Distributed Data Warehouse for Big Data
Dealing with Interaction for Complex Systems Modelling and Prediction
Virtual Worlds and Social Media: Security and Privacy Concerns, Implications, and Practices
Intuitionistic Fuzzy 2-Metric Space and Some Topological Properties
Human-Robot Interaction Design Using Smart Device Based Robot Partner
Robust Swarm Model Based on Mutual Anticipation: Swarm as a Mobile Network Analyzed by Rough Set Lattice
What Have Computational Models Ever Done for Us?: A Case Study in Classical Conditioning
T-Whale: Trust and Whale Optimization Model for Secure Routing in Mobile Ad-Hoc Network
Analysis of Neural Network of C.elegans by Converting into Bipartite Network
From Human-Centric Systems to Community-Centric Systems
A Model of Scale-Free Proportion Based on Mutual Anticipation
Existence of Positive Solutions for Generalized p-Laplacian BVPs
Algorithms and Computations in BL-Algebras
Rough Set Based Clustering Using Active Learning Approach
Usage of Fuzzy, Rough, and Soft Set Approach in Association Rule Mining
GA on IR: Study the Effectiveness of the Developed Fitness Function on IR
Resource Distribution Strategies for Mitigation of Cross-Regional Influenza Pandemics
Box-Counting Dimension of Fractal Urban Form: Stability Issues and Measurement Design
Generating Fully Bounded Chaotic Attractors
Generation of UNL Attributes and Resolving Relations for Bangla EnConverter
An Integrated Statistical Process Control and Wavelet Transformation Model for Detecting QRS Complexes in ECG Signals
Topological Gaussian ARTs with Short-Term and Long-Term Memory for Map Building and Fuzzy Motion Planning
A Study of Predicting Ability in State-Action Pair Prediction: Adaptability to an Almost-Periodic Disturbance
On Quasi Discrete Topological Spaces in Information Systems
Performance Evaluation of Feed-Forward Neural Network Models for Handwritten Hindi Characters with Different Feature Extraction Methods
What Does Artificial Life Tell Us About Death?
Autistic Language Processing by Patterns Detection
Mathematical Model to Assess the Relative Effectiveness of Rift Valley Fever Countermeasures
A Computational Model of Mitigating Disease Spread in Spatial Networks
The Social Spiders in the Clustering of Texts: Towards an Aspect of Visual Classification
Considerations on Strategies to Improve EOG Signal Analysis
Neighbor Topology for Dynamic Plane Coverage in Swarm Leading Control
An Optimal Balanced Partitioning of a Set of 1D Intervals
A Generalized 2-D Model for Fully Bounded Chaotic Attractors and Chaotic Seas
A Characterization of Convex Fuzzy Mappings
Noise Power Spectrum for Firecrackers
Decision Making Under Multi Task Based on Priority for Each Task
Polarized News Media and the Polarization of the Electorate
Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models
Cell Motility Viewed as Softness
A Constructive Approach to the Evolution of the Planning Ability
Hölder's Inequality and Related Inequalities in Probability
Propagation of Front Waves in Myelinated Nerve Fibres: New Electrical Transmission Lines Constituted of Linear and Nonlinear Portions
Human-Robot Communication Based on Self-Serving Bias for Daily Exercise Support
Preinvexity and Semi-Continuity of Fuzzy Mappings
Lost Student Tracking in an Incomplete and Imprecise Information Environment Using Soft Computing Paradigm
Driver Recognition on Segway
The Worst-Case Stabilization Time of a Self-Stabilizing Algorithm under the Weakly Fair Daemon Model
Deployment of Context-Aware Sensor in Wireless Sensor Network Based on the Variants of Genetic Algorithm
A Principled Framework for General Adaptive Social Robotics
Direct Perception and Action Decision for Unknown Object Grasping
A Comprehensive Analysis on Biodiesel Blend Model
Modeling Fractal Structure of Systems of Cities Using Spatial Correlation Function
Orbit of an Image Under Iterated System II
Existence of Positive Solutions of Nonlinear Second-Order M-Point Boundary Value Problem
Assessment of Multi-Engine Machine Translation for English to Hindi Language (MEMTEHiL): Using F&A and iBLEU Metrics
Anti-Synchronization of Pan and Lorenz-Lu-Liu-Cai Chaotic Systems by Active Nonlinear Control
On the Ordering Property and Law of Importation in Fuzzy Logic
A Flexible Bio-Signal Based HMI for Hands-Free Control of an Electric Powered Wheelchair
Superior Koch Curve
English to Hindi Machine Translation System in the Context of Homoeopathy Literature
An Observer Approach for Deterministic Learning Using Patchy Neural Networks with Applications to Fuzzy Cognitive Networks
A New Approach to Pattern Recognition in Fractal Ferns
An Autonomous Robot-to-Group Exercise Coach at a Senior Living Community: A Study in Human-Robot Interaction
Collaboration and Competition Process: A Multi-Teams and Genetic Algorithm Hybrid Approach
An Autonomous Multi-Agent Simulation Model for Acute Inflammatory Response
Allometric Scaling Laws in the Exploratory Behavior of the Physarum Plasmodium
Spiking Reflective Processing Model for Stress-Inspired Adaptive Robot Partner Applications
Cognitive and Environmental Factors Influencing the Process of Spatial Knowledge Acquisition within Virtual Reality Environments
Simulation and ABC to Improve the Performance of Emergency Department
Non Linear Dynamical Systems and Chaos Synchronization
Adaptive H8 Fuzzy Control for a Class of Uncertain Discrete-Time Nonlinear Systems
Resistance of Cell in Fractal Growth in Electrodeposition
Super-Efficiency DEA Approach for Optimizing Multiple Quality Characteristics in Parameter Design
Consciousness and Commonsense Critics in Cognitive Architectures: Case Study of Society of Mind Cognitive Architecture
Handling of Infinitives in English to Sanskrit Machine Translation
Folding Theory for Fantastic Filters in BL-Algebras
Supercritical Pitchfork Bifurcation in Implicit Regression Modeling
Superior Cantor Sets and Superior Devil Staircases
A "Society of Mind" Cognitive Architecture Based on the Principles of Artificial Economics
Workshop on pragmatic and theoretical directions in object-oriented software metrics
Object-oriented programming transition strategies
Mission-critical objects
An implementation of EXPRESS in Smalltalk
Object oriented librarianship
Implementing a real-time, embedded, telecommunication switching system in Smalltalk
Performance of an OODB in an online 7×24×365 manufacturing operation
Another proposal for a concurrency control level in concurrent object-oriented languages
Teaching object-oriented programming and design (abstract)
CoSIDE and parallel object-oriented languages
The design and management of C++ class libraries (abstract)
The object paradigm and development process standards
A visual environment for distributed object-oriented multi-applications
Single versus multiple inheritance in object oriented programming
Workshop on adaptable and adaptive software
Types in objectbases development
Generalized support software: domain analysis and implementation: experience report submitted to OOPSLA'94
An object-oriented Tower Of Babel
Experiences of use cases and similar concepts
Training professionals in object technology (panel)
Object-oriented project management (panel)
Clustering in object-oriented databases
Advantages of a component-based approach to defining complicated objects
Some original features of the LAURE language
MELDing transactions and objects
Recent progress in combining actor-based concurrency with object-oriented programming
Creating well formed class inheritance schemes in C++
Integration of molecular biology data collections using object oriented databases and programming
Integrating logic and object-oriented programming
Advanced techniques for understanding, profiling, and debugging object oriented systems
Object orientation and transaction processing: where do they meet?
Idiomatic design
Object-oriented technology for health care and medical information systems: workshop report
Metamodeling in OO: OOPSLA'95 workshop summary
Objects in large distributed applications
A small calculus for concurrent objects
The role of object-oriented technology in the undergraduate computer science curriculum
Are object-oriented CASE frameworks ready for prime time?
Exception handling in object-oriented systems
Building and performance tuning a distributed reporting application for an OODBMS
POOL: design and experience
Visual programming languages from an object-oriented perspective (abstract)
User object models
A technique for tracing memory leaks in C++
Creating a practical object-oriented methodology
A new approach to the design of distributed operating systems
An object language versus an expert system shell: the school time-table example
Specification and implementation of Actors with graph rewriting
Which paradigm can improve the reliability of next-generation measurement system software
Combined use of languages in object-oriented software construction
Training realtime simulation developers in object-oriented methods with Ada
Implementing actor-based primitives on distributed-memory architectures
Objects in the life-cycle
Objects for changeable systems
Higher order objects in pure object-oriented languages
Writing efficient C++ programs (abstract)
The pragmatics of building object-oriented systems (abstract)
Object and relational databases
SAOOSS: a system for the analysis of object-oriented software systems
Introducing object-orientedness into a breadth-first introductory curriculum
Status of object-oriented COBOL (panel)
Patterns: building blocks for object-oriented architectures3
Developing language neutral class libraries with the System Object Model (SOM)
The navigation toolkit
An object-oriented environment for specification and concurrent execution of genetic algorithms
Towards an architecture handbook
Role of a corporate object technology center
Applying software testing practices to an object-oriented software development
Efficient implementation of object-oriented programming lanaguages (abstract)
Object-oriented concurrent programming (abstract)
Extending compound assignments for C++
Three proposals for object orientation
Object-oriented user interfaces (abstract)
Object database behavior, benchmarks, and performance: workshop addendum
Benefits of type inference for an object-oriented real-time language
Semantic integration in complex systems: collective behavior in business rules and software transactions
Lapidary: an interactive design tool (abstract)
Demeter Tools/C++ (abstract)
Suggestion for a parametrized class model
Direct programming using a unified object model (abstract)
Framework-centered software development: report on the workshop
How do teams shape objects? - how do objects shape teams?
Dynamic modelling of organizations: report on ECOOP '91 workshop W2
Specification techniques for object-oriented software (abstract)
End users
Comparing object-oriented analysis with knowledge acquisition
Towards a testing methodology for object-oriented systems
A documentation scheme for object-oriented software systems
A modular approach to real-time synchronization
Adapting synchronization counters to the requirements of inheritance