yusuke1997/dblp-id-title huggingface dataset:
Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M
On fault detection in CMOS logic networks
Approximate storage for energy efficient spintronic memories
A path connection algorithm for multi-layer boards
Dynamic power management of complex systems using generalized stochastic Petri nets
Proceedings of the 28th Design Automation Conference, San Francisco, California, USA, June 17-21, 1991
Design-Silicon Timing Correlation A Data Mining Perspective
Multi-Time Simulation of Voltage-Controlled Oscillators
Formal reliability analysis of switched ethernet automotive networks under transient transmission errors
On Characterizing Near-Threshold SRAM Failures in FinFET Technology
GPU-based n-detect transition fault ATPG
Desensitization for Power Reduction in Sequential Circuits
Efficient Latch Optimization Using Exclusive Sets
SEAL: soft error aware low power scheduling by Monte Carlo state space under the influence of stochastic spatial and temporal dependencies
An Implicit Algorithm for Finding Steady States and its Application to FSM Verification
A technology independent approach to hierarchical IC layout extraction
Decision-making for complex SoCs in consumer electronic products
Adaptive test elimination for analog/RF circuits
Design of pin-constrained general-purpose digital microfluidic biochips
VIX: Virtual Input Crossbar for Efficient Switch Allocation
Customers, Vendors, and Universities: Determining the Future of EDA Together (Panel)
Clock-tree power optimization based on RTL clock-gating
Achieving power and reliability sign-off for automotive semiconductor designs
SCONE: A Logic Locking Technique Utilizing SMT Solver and Circuit Encoding Scheme for Efficient Hardware IP Protection
On Estimating Impact of Loading Effect on Leakage Current in Sub-65nm Scaled CMOS Circuits Based on Newton-Raphson Method
Two-dimensional router for double layer layout
Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985
The Case for Design Using the World Wide Web
Automatic Clock Abstraction from Sequential Circuits
Automatic generation of equivalent architecture model from functional specification
The AT&T 5ESS Hardware Design Environment: A Large System's Hardware design Process
Transformations for the Synthesis and Optimization of Asynchronous Distributed Control
Reinforcement Learning-Driven Window Selection for Enhanced Window-Based Rip-up and Reroute in Chip Detailed Routing
Optimal link scheduling on improving best-effort and guaranteed services performance in network-on-chip systems
Test Methodology for Dual-rail Asynchronous Circuits
Creating an affordable 22nm node using design-lithography co-optimization
Test generation for programmable logic arrays
Compiler-guided instruction-level clock scheduling for timing speculative processors
Dames an integrated systems approach to computer-aided design of electronic systems
Subgraph matching based reference placement for PCB designs: late breaking results
Removing user specified false paths from timing graphs
Single-photon image sensors
A system for multilayer printed wiring layout
Digital CIM with Noisy SRAM Bit: A Compact Clustered Annealer for Large-Scale Combinatorial Optimization
Petri nets as a common tool for design verification and hardware simulation
EVA: An Efficient and Versatile Generative Engine for Targeted Discovery of Novel Analog Circuits
"The IC nanometer race -- what will it take to win?"
Minimizing the energy-delay product of SRAM arrays using a device-circuit-architecture co-optimization framework
Generation of close-to-functional broadside tests with equal primary input vectors
Performance enhancement of garbage collection for flash storage devices: an efficient victim block selection design
Optimal RF design using smart evolutionary algorithms
On a Moreau Envelope Wirelength Model for Analytical Global Placement
Energy-effcient physically tagged caches for embedded processors with virtual memory
Technology adaption in logic synthesis
A cost-effective scan architecture for scan testing with non-scan test power and test application cost
Graph-Based Logic Bit Slicing for Datapath-Aware Placement
PANAMAP-B: A mask verification system for bipolar IC
A Design Verification and Logic Validation System
An area estimation methodology for FPGA based designs at systemc-level
A detailed cost model for concurrent use with hardware/software co-design
SparseTrain: Exploiting Dataflow Sparsity for Efficient Convolutional Neural Networks Training
Topologic class routing for printed circuit boards
An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration
Dynamic noise analysis in precharge-evaluate circuits
Design automation for a 3DIC FFT processor for synthetic aperture radar: a case study
Proceedings of the 14th Design Automation Conference, DAC '77, New Orleans, Louisiana, USA, June 20-22, 1977
Ares: a framework for quantifying the resilience of deep neural networks
Approximation Algorithm for Data Mapping on Block Multi-threaded Network Processor Architectures
A C-Based RTL Design Verification Methodology for Complex Microprocessor
Shortening the verification cycle with synthesizable abstract models
Performance-Driven Partitioning Using a Replication Graph Approach
Ergonomic studies in computer aided design
A Novel Machine-Learning based SoC Performance Monitoring Methodology under Wide-Range PVT Variations with Unknown Critical Paths
Efficient variable ordering using aBDD based sampling
L-QoCo: learning to optimize cache capacity overloading in storage systems
Hayat: harnessing dark silicon and variability for aging deceleration and balancing
Network footprint reduction through data access and computation placement in NoC-based manycores
MIOS: A Flexible System for PCB Manufacturing
Synthesis of the optimal 4-bit reversible circuits
Invited: EDA for Heterogeneous Integration
Introspection: A Low Overhead Binding Technique During Self-Diagnosing Microarchitecture Synthesis
Throughput Optimization for SADP and E-beam based Manufacturing of 1D Layout
Approximate computing and the quest for computing efficiency
Automatic generation of customized discrete fourier transform IPs
Interactive trajectory analysis: the graphic rocket system
Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning
Phase-adjustable error detection flip-flops with 2-stage hold driven optimization and slack based grouping scheme for dynamic voltage scaling
A method of automatic data path synthesis
Congestion Driven Quadratic Placement
Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms
Analysis and mitigation of process variation impacts on Power-Attack Tolerance
Security of Approximate Neural Networks against Power Side-channel Attacks
Low Power FPGA Design - A Re-engineering Approach
Multi-sim, a dynamic multi-level simulator
Let's put the car in your phone!
Mitigating Crosstalk in Quantum Computers through Commutativity-Based Instruction Reordering
A Two-way SRAM Array based Accelerator for Deep Neural Network On-chip Training
Techniques for programmable logic array folding
A fast solver for nonlocal electrostatic theory in biomolecular science and engineering
The SODA approach: leveraging high-level synthesis for hardware/software co-design and hardware specialization: invited
Object data structures towards distributed graphics processing
Speed up techniques of logic simulation
High-Level Synthesis with Pin Constraints for Multiple-Chip Designs
A Register File and Scheduling Model for Application Specific Processor Synthesis
High-level simulation of substrate noise in high-ohmic substrates with interconnect and supply effects
Economic and social aspects of automation
In-Memory Arithmetic: Enabling Division with Stochastic Logic
DORA: : CAD interface to automatic diagnostics
Enabling a B + -tree-based Data Management Scheme for Key-value Store over SMR-based SSHD
Integrating Scheduling and Physical Design into a Coherent Compilation Cycle for Reconfigurable Computing Architectures
Efficient and reliable power delivery in voltage-stacked manycore system with hybrid charge-recycling regulators
Quality of designs from an automatic logic generator (ALERT)
Strip Layout: A New Layout Methodology for Standard Circuit Modules
Pipirima: Predicting Patterns in Sparsity to Accelerate Matrix Algebra
RENO: a high-efficient reconfigurable neuromorphic computing accelerator design
A Clock Skewing Strategy to Reduce Power and Area of ASIC Circuits
Recent developments in representation in the science of design
Avoiding transitional effects in dynamic circuit specialisation on FPGAs
High-Level Synthesis of Scalable Architectures for IIR Filters using Multichip Modules
QuGeo: An End-to-end Quantum Learning Framework for Geoscience - A Case Study on Full-Waveform Inversion
High Performance BDD Package By Exploiting Memory Hiercharchy
Delay test simulation
On fault modeling for dynamic MOS circuits
Rapid Generation of High-Qality RISC-V Processors from Functional Instruction Set Specifications
Rapid Diagnostic Fault Simulation of Stuck-at Faults in Sequential Circuits Using Compact Lists
Order-Preserving Cryptography for the Confidential Inference in Random Forests: FPGA Design and Implementation
Power-gated MOS current mode logic (PG-MCML): a power aware DPA-resistant standard cell library
A heuristic chip-level test generation algorithm
Engineering an Efficient Preprocessor for Model Counting
Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions
Robust Tickets Can Transfer Better: Drawing More Transferable Subnetworks in Transfer Learning
Simulation-based Parallel Sweeping: A New Perspective on Combinational Equivalence Checking
Computer-aided Architecture Design & Optimized Implementation of Distributed Automotive EE Systems
An object-oriented swicth-level simulator
Throughput optimal task allocation under thermal constraints for multi-core processors
Interactive space layout: A graph theoretical approach
A methodology for statistical estimation of read access yield in SRAMs
Inter-active graphic methods for automating mechanical engineering design and analyses
Characterizing the effects of clock jitter due to substrate noise in discrete-time D/S modulators
Advanced LILAC - an Automated Layout Generation system for MOS/LSIs
Combining Parameterized Pulses and Contextual Subspace for More Practical VQE
Pareto epsilon-dominance and identifiable solutions for BioCAD modeling
On the quantification of sustainability and extensibility of FlexRay schedules
How to Cut Out Expired Data with Nearly Zero Overhead for Solid-State Drives
VideoFlip: Adversarial Bit Flips for Reducing Video Service Quality
Global Hardware Synthesis from Behavioral Dataflow Descriptions
A technology relative Logic Synthesis and Module Selection system
An improved graph-theoretic model for the circuit layout problem
Automated Generation of Decoders for Irregular Instruction Sets Using Information-Theoretic Decision Tree Construction Algorithms
A fast, analytical estimator for the SEU-induced pulse width in combinational designs
Future Developments in Information Technology (abstract)
Whither (or wither?) ASIC handoff?
APPLE: adaptive performance-predictable low-energy caches for reliable hybrid voltage operation
Reverse engineering convolutional neural networks through side-channel information leaks
Computer Aided Ship Design and numerically controlled production of towing tank models
Sensor Drift Calibration via Spatial Correlation Model in Smart Building
Achieving lightweight multicast in asynchronous networks-on-chip using local speculation
Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips
Toss-up Wear Leveling: Protecting Phase-Change Memories from Inconsistent Write Patterns
Advanced Reinforcement Learning Algorithms to Optimize Design Verification
A Provably Good and Practically Efficient Algorithm for Common Path Pessimism Removal in Large Designs
Domino logic synthesis minimizing crosstalk
Duet: an OLED & GPU co-management scheme for dynamic resolution adaptation
Hardware ODE Solvers using Stochastic Circuits
Efficient Capacitance Computation for Structures with Non-Uniform Adaptive Surface Meshes
A Parts Selection Expert System to Increase Manufacturability
A mental health project programmed and designed with the aid of interactive computer graphics
GNN4IP: Graph Neural Network for Hardware Intellectual Property Piracy Detection
A module interchange placement machine
On the Utility of Partially Labeled Data for Classification of Microarray Data
Classification of Emotional States in a Woz Scenario Exploiting Labeled and Unlabeled Bio-physiological Data
Conscientiousness Measurement from Weibo's Public Information
Using Self Organizing Maps to Find Good Comparison Universities
Online Semi-supervised Ensemble Updates for fMRI Data
Unlabeled Data and Multiple Views
Semi-Supervised Dictionary Learning of Sparse Representations for Emotion Recognition
Sink Web Pages in Web Application
Adaptive Graph Constrained NMF for Semi-Supervised Learning
Self-Practice Imitation Learning from Weak Policy
Multi-instance Methods for Partially Supervised Image Segmentation
Semi-Supervised Kernel Clustering with Sample-to-Cluster Weights
Partially Supervised Learning - Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013 Revised Selected Papers
Studying Self- and Active-Training Methods for Multi-feature Set Emotion Recognition
Semi-supervised Training Set Adaption to Unknown Countries for Traffic Sign Classifiers
Neighborhood Co-regularized Multi-view Spectral Clustering of Microbiome Data
Semi-supervised Linear Discriminant Analysis Using Moment Constraints
Homeokinetic Reinforcement Learning
Semi-unsupervised Weighted Maximum-Likelihood Estimation of Joint Densities for the Co-training of Adaptive Activation Functions
Iterative Refinement of HMM and HCRF for Sequence Classification
Meta-Learning of Exploration and Exploitation Parameters with Replacing Eligibility Traces
Partially Supervised Learning - First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers
Manifold-Regularized Minimax Probability Machine
A Robust Image Watermarking Scheme Based on BWT and ICA
Kernel Parameter Optimization in Stretched Kernel-Based Fuzzy Clustering
Comparison of Combined Probabilistic Connectionist Models in a Forensic Application
A New Weighted Sparse Representation Based on MSLBP and Its Application to Face Recognition
Partially Supervised Anomaly Detection Using Convex Hulls on a 2D Parameter Space
Supervised and Unsupervised Co-training of Adaptive Activation Functions in Neural Nets
Near-Real Time Detection of the Re-Opening of the Weddell Polynya, Antarctica, from Spaceborne Infrared Imagery
Spectra denoising of hyperspectral thermal infrared emissivity product via sparse representation over learned dictionaries
Exploiting location information to detect light pole in mobile LiDAR point clouds
First results of the PAU-SA synthetic aperture radiometer
Initial Evaluation of Freeze/Thaw State and Sea Ice Detection Using the SMAP-R Dataset
Measurement of On-board Azimuth Antenna Patterns for EOS-04 SAR Payload
Influence of camera distortions on satellite image registration and change detection applications
Implementation of Pulse Compression on an Airborne Scatterometer
On-Board Intelligent Processing for Remote Sensing Images Based on 20KG Micro-Nano Satellite
Establishing Shrub Population Structure Using High-Spatial-Resolution Google Earth Imagery
Modeling multi-layer effects in passive microwave remote sensing of dry snow using Dense Media Radiative Transfer Theory (DMRT) based on quasicrystalline approximation
Development Status of Nict's new X-Band Airborne SAR (Pi-SAR X3)
Constraining model simulations of GPP using satellite retrieved leaf chlorophyll
Image data compression scheme for a future mars lander
Land Subsidence Monitoring and Flood Simulation using Multitemporal Digital Elevation Models
High resolution millimeter wave SAR interferometry
Quickbird Panchromatic Images for Mapping Damage at Building Scale Caused by the 2003 Bam Earthquake
Parameter-free Clustering: Application to Fawns Detection
Airport Detection Based on Saliency Analysis and Geometric Feature Detection for Remote Sensing Images
Inter-Band Calibration for Hyperspectral Water Remote Sensing: Demonstration for Chris-Proba
Assessment of post-impoundment geomorphic variations along Brahmani River using remote sensing
A Novel Variational Autoencoder based Radar Signal Reconstruction Algorithm Using Polluted Data
Local detail enhanced hyperspectral image visualization
Challenges in Improving the Reliability of Various Radiation Parameters at a Japanese Satellite Observation Validation Site
Uav-Based photogrammetry for the application on geomorphic change- the case study of Penghu Kuibishan geopark, Taiwan
Forest fires, sunglint, and a solar eclipse: Responsive remote sensing with AeroCube-4
Empirical Upscaling of Point-Scale Soil Moisture Measurements for Spatial Evaluation of Model Simulations and Satellite Retrievals
A High Speed Microwave Interferometer used for Monitoring Stromboli Volcano
A Hybrid Method for Vessel Detection in High-Resolution Satellite Imagery
Phase unwrapping for DEM generation as an inverse problem
K-way Tree Classification based on Semi-greedy Structure applied to Multisource Remote Sensing Images
Feature-Transferable Pyramid Network for Dense Multi-Scale Object Detection in SAR Images
Retrieving Monin-Obukhov Dimensionless Wind Shear And Stability From Floating Lidar Observations
LAI Retrieval from CYCLOPES and MODIS Products using Artificial Neural Networks
An Unsupervised Change Detection Method for Lidar Data in Forest Areas Based on Change Vector Analysis in the Polar Domain
Hisui Status Toward FY2019 Launch
An automatic image-map registration algorithm using modified partial Hausdorff distance
Mapping and Monitoring of Blue Ecosystems at Scale with Copernicus Sentinel-2 Imagery - a Tropical System Application
Full Spectrum Cloudy Scene Simulation for Remote Sensing Algorithm Development
Calibration and validation of the cygnss level 1 data products
Circular-shift transmission MIMO GMTI radar
Inversion model for the semi-flooded area based on radar backscatter measurements
Support Vector Selection and Adaptation for Classification of Earthquake Images
Multi-Scale Assessment of Land Subsidence Risk in Major Urban Areas of Italy Using Satellite Insar, Hydrogeological And Climate Data
Scaling the pipe: NASA EOS Terra data systems at 10
A synoptic visualisation of fully polarimetric SAR data-an annotated example icon
Characterization of Biomass Burning Aerosols During the 2019 Fire Event: Singapore and Kuching Cities
Upcoming naval space missions for remote sensing of the oceans, atmosphere and space
P-Band Signals of Opportunity for Remote Sensing of Root Zone Soil Moisture
Multisensor Approach to Operational Oil Pollution Monitoring in Coastal Zones
Film Slicks on the Sea Surface: Their Dynamics and Remote Sensing
Experimental results of a ground-based interferometric SAR
Unsupervised feature extraction based on a mutual information measure for hyperspectral image classification
Intelligent matchmaking for Polar Ice Sheet Data collection and delivery
ESA Hydrognss Scout GNSS-R Land Sensing Mission Preparation
A combined object-based segmentation and support vector machines approach for classification of Tiangong-01 hyperspectral urban data
A Multi-Band Passive Radiometer for Sea Salinity, Soil Moisture and Cryosphere Studies
Detection of Burned Areas in Southern African Savannahs Using Time Series of C-Band Sentinel-1 Data
Analysis of Vegetation Growth Trends in Urban Areas Using Dense Landsat Time Series: A Case Study of Tianjin, China
Multi-source and multi-scale soil moisture dynamic modelling in mountain meadows
An intercomparison of models for predicting bistatic scattering from rough surfaces
Performance of Hyperspectral Data in Predicting and Mapping Soil Organic Matter Content
Image Restoration Using Radar Point Spread Function
Biophysical parameter retrieval in production forest stands using C-band polarimetric radar
Using MODTRAN4 to build up a general look-up-table database for the atmospheric correction of hyperspectral imagery
Infrared Atmospheric Sounding Interferometer New Generation (IASI-NG): Program Development Status
An efficient point matching algorithm of remote sensing image based on dynamic template
Use of geo-ontology matching to measure the degree of interoperability
Unsupervised Multi-Spectral Image Super-Resolution Based on Conditional Variational Autoencoder
High-Pass Filters to Reduce the Effects of Broad Atmospheric Contributions in Sbas Inversions: A Case Study in the Delaware Basin
Unsupervised Land Cover Classification of Hybrid Polsar Images Using Deep Network
Object Detection Models Sensitivity & Robustness to Satellite-based Adversarial Attacks
Effect of Burn Scar Pattern Variability on Medium Resolution Burnt Area Mapping in Southeast Asia
Ship detection performance assessment for simulated RCM SAR data
Ground truth method assessment for SVM-based landscape classification
Simulation studies of forest structure using 3D lidar and radar models
Hydros Soil Moisture Retrieval Algorithms: Status and Relevance to Future Missions
Rapid Detection of Agricultural Food Crop Contamination via Hyperspectral Remote Sensing
A new era of InSAR applications with Sentinel-1: A case study of severe ground subsidence in California Central Valley
Correction of Target Data taking into Consideration the Troposphere Refractivity
SNOWCARBO: Monitoring and assessment of carbon balance related phenomena in Finland and northern Eurasia
BRDF modeling and inversion of structure parameters for sparse vegetation canopy
Study on the intelligent extraction of seismic damage based on the Mean-Shift segmentation
Exploring limits in hyperspectral unresolved object detection
Comparison of four different fusion techniques for IKONOS data
Simulating City Expansion Using a CA Urban Growth Model, Through a Case Study of Nairobi, Kenya
Effect of Row Orientation on Maize Green Area Index Retrieval from L-Band Synthetic Aperture Radar Imagery
Artifact-Free RFI Localization Based on Spatial Smoothing Music in Synthetic Aperture Interferometric Radiometers
A study of dense medium scattering and its applications in sea ice research in ross island, antarctica
A Scale-Temporal Interaction Network For Remote Sensing Image Change Detection And A UAV-CD Dataset
A Patch Model Based on Numerical Solutions of Maxwell Equations for GNSS-R Land Applications
The study of delimitation method of reservior reserves based on DEM
Reducing the computation time of the Isodata and K-means unsupervised classification algorithms
Analysis of SAR Images in the Framework of Scale Mixture of Gaussian Models
Risk Mapping of the Schistosomiasis in the Minas Gerais State, Brazil, Using Modis and Socioeconomic Spatial Data
Monitoring natural analog of Geologic Carbon Sequestration using multi-temporal Landsat TM images in Mammoth Mountain, long valley cadera, California
Bridge extraction based on on constrained Delaunay triangulation for panchromatic image
Hyperspectral superpixel extraction using boundary updates based on optimal spectral similarity metric
Optimal InSAR Conditions for Monitoring Creek Changes in Tidal Flats
Automatic detection of water bodies from spaceborne SAR images
Processing of SMOS level 1c data onto a Discrete Global Grid
Joint-classification change detection based on improved fuzzy ARTMAP
Impacts of surface bounadry layer turbulence on surface temperature measurements at different spatial resolutions
Using High-Resolution Nighttime Remote Sensing Data to Identify Light Sources in Hong Kong
Spectral Ratio Lidar for Objects Detection
Synergy of Sentinel-1 and Sentinel-2 imagery for wetland monitoring information extraction from continuous flow of sentinel images applied to water bodies and vegetation mapping and monitoring
Quantitative analysis of the water vaopr effects on the interferometric measurements
On-Board RFI Detection for Reflector-Based Multichannel SAR Systems