yusuke1997/dblp-id-title huggingface dataset:
A Microprogrammed Approach to Signal Processing
Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning
Conflict-Free Vector Access Using a Dynamic Storage Scheme
On Basic Financial Decimal Operations on Binary Machines
A Logic Design Translator Experiment Demonstrating Relationships of Language to Systems and Logic Design
Design of a Random-Pulse Computer for Classifying Binary Patterns
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
Right Shift for Low-Cost Multiply and Divide
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes
Fine-Grained Checkpoint Recovery for Application-Specific Instruction-Set Processors
On Two-Level Exclusive-or Majority Networks
Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks
Combining Logic Minimization and Folding for PLA's
Accelerating Pipelined Integer and Floating-Point Accumulations in Configurable Hardware with Delayed Addition Techniques
Improved Computation of Square Roots in Specific Finite Fields
An Experimental Investigation of a Mixed-Font Print Recognition System
On Parallel-Acting Index Registers
Multiplexer-Based Array Multipliers
Picard's Method and Analog Computation
A Full RNS Implementation of RSA
Access-Pattern Hiding Search Over Encrypted Databases by Using Distributed Point Functions
Type Information Elimination from Objects on Architectures with Tagged Pointers Support
Approximate Analysis of Fork/Join Synchronization in Parallel Queues
A Simple Model of Processor - Resource Utilization in Networks of Communicating Modules
B74-35 Minicomputers - International Computer State of the Art Report
A Framework for Automated Exploration of Trojan Attack Space in FPGA Netlists
Operational Differentiators Employing Positive Feedback
Compiler-Based Multiple Instruction Retry
Energy-Efficient Real-Time Human Mobility State Classification Using Smartphones
A Message to the Editorial Board
Rational Interpolation Examples in Performance Analysis
The VLSI Complexity of Sorting
Implementing the Residue Logarithmic Number System Using Interpolation and Cotransformation
The Cost of Privatization in Software Transactional Memory
Review of Electronic Computer Progress During 1955
A Variable Binary Scaler
About Random Fault Detection of Combinational Networks
Using Low Cost Erasure and Error Correction Schemes to Improve Reliability of Commodity DRAM Systems
A Method for Obtaining Complete Digital Coding Chains
Tunnel-Diode Full Binary Adder
Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults
R70-38 The Time Required for Group Multiplication
A Distributed Resource Management Mechanism for a Partitionable Multiprocessor System
Pipelined Hardware Implementation of COPA, ELmD, and COLM
Implications of Executing Compression and Encryption Applications on General Purpose Processors
A Photoelectric Decimal-Coded Shaft Digitizer
Undetectability of Bridging Faults and Validity of Stuck-At Fault Test Sets
Why Merge? - An Examination of Disk Sorting Strategy
Interstitial Redundancy: An Area Efficient Fault Tolerance Scheme for Large Area VLSI Processor Arrays
The Skip-and-Set Fast-Division Algorithm
An Optimal Linked List Prefix Algorithm on a Local Memory Computer
R68-6 Regression Analysis and Parameter Identification
Minimal "Sum of Products of Sums" Expressions of Boolean Functions
Multiple-Valued Logic Charge-Coupled Devices
Minimal Three-Variable NOR and NAND Logic Circuits
Structural Preserving Morphisms of Finite Automata and an Application to Graph Isomorphism
Min-Cut Partitioning on Underlying Tree and Graph Structures
Genome Sequence Alignment - Design Space Exploration for Optimal Performance and Energy Architectures
An Experimental Investigation of a Class of Pattern Recognition Synthesis Algorithms
Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs
On the Polynomial Form of Boolean Functions: Derivations and Applications
Very-High Radix Division with Prescaling and Selection by Rounding
HePREM: A Predictable Execution Model for GPU-based Heterogeneous SoCs
Systolic VLSI Arrays for Polynomial GCD Computation
On Spatial Orders and Location Codes
An Analysis of the Effect of Component Tolerances on the Amplification of the Balanced-Pair Tunnel-Diode Circuit
Portable Electronic Keyboard for Computer Input by Telephone
Design of Diagnosable Iterative Arrays
Global Real-Time Memory-Centric Scheduling for Multicore Systems
B72-17 Computer Analysis of Circuits
On the Diagnosability of a General Model of System with Three-Valued Test Outcomes
An Architecture for a Video Rate Two-Dimensional Fast Fourier Transform Processor
A New Error Analysis Based Method for Tolerance Computation for Algorithm-Based Checks
Lower Bounds on Communication Loads with Optimal Placements in Torus Networks
A Programmable Optical-Digital Scanner-Processor for Autmated Two-Dimensional Data Analysis
Lee Distance and Topological Properties of k-ary n-cubes
Analysis of Noncoherent Systems and an Architecture for the Computation of the System Reliability
On Bends and Distances of Paths Among Obstacles in Two-Layer Interconnection Model
Circuit Structure and Switching Function Verification
A Tractable and Fast Method for Monitoring SystemC TLM Specifications
Semantic Data Broadcast for a Mobile Environment Based on Dynamic and Adaptive Chunking
New Redundant Representations of Complex Numbers and Vectors
Concertina: Squeezing in Cache Content to Operate at Near-Threshold Voltage
On the Development of a Measurement System for High Level Language Program Statistics
Highly Evasive Targeted Bit-Trojan on Deep Neural Networks
Ternary Cellular Cascades
Improved Thermal Tracking for Processors Using Hard and Soft Sensor Allocation Techniques
A Speculative Control Scheme for an Energy-Efficient Banked Register Fil
On Hardware for Computing Exponential and Trigonometric Functions
Hardware Division by Small Integer Constants
Computer Recognition of Handwritten First Names
Real-Time Dwell Scheduling of Component-Oriented Phased Array Radars
A Simple Technique to Improve the Pi-Algorithm for Prime Implicant Determination
Benchmark Synthesis Using the LRU Cache Hit Function
Scalpel: High Performance Contention-Aware Task Co-Scheduling for Shared Cache Hierarchy
Grow and Prune Compact, Fast, and Accurate LSTMs
OPTWEB: A Lightweight Fully Connected Inter-FPGA Network for Efficient Collectives
Maximum Alignment of Interchageable Terminals
The Coding of Internal States of Sequential Circuits
Parallel Testing for Pattern-Sensitive Faults in Semiconductor Random-Access Memories
Encoding of Asynchronous Sequential Circuits
Blockchain-Based Fair and Fine-Grained Data Trading With Privacy Preservation
OpenFlow-Based Flow-Level Bandwidth Provisioning for CICQ Switches
Availability of k-Coterie
SAMBA: Sparsity Aware In-Memory Computing Based Machine Learning Accelerator
Solution of Switching Equations Based on a Tabular Algebra
SDE: Incremental Specification and Development of Communications Software
Sequential Machine Implementations Using Universal Logic Modules
Greedy Diagnosis as the Basis of an Intermittent-Fault/Transient-Upset Tolerant System Design
A Geometric Model for Stochastic Automata
A Heterogeneous and Adaptive Architecture for Decision-Tree-Based ACL Engine on FPGA
Microprogrammed Control in Problem-Oriented Languages
A Computation Model of Parallel Solution of Linear Equations
Errata to "Process Variation-Aware Nonuniform Cache Management in a 3D Die-Stacked Multicore Processor"
On Evaluating and Optimizing Weights for Weighted Random Pattern Testing
Clustered Loop Buffer Organization for Low Energy VLIW Embedded Processors
Similarity and Locality Based Indexing for High Performance Data Deduplication
AQA: An Adaptive Post-Training Quantization Method for Activations of CNNs
Interference in Multiprocessor Systems with Localized Memory Access Probabilities
Emulating Round-to-Nearest Ties-to-Zero "Augmented" Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic
Statistically Optimal Dynamic Power Management for Streaming Data
Assessing and Improving TCP Rate Shaping over Edge Gateways
An Approach to Checking Link Conflicts in the Mapping of Uniform Dependence Algorithms into Lower Dimensional Processor Arrays
Optimal Left-to-Right Binary Signed-Digit Recoding
Low-Complexity Bit-Parallel Canonical and Normal Basis Multipliers for a Class of Finite Fields
Design and Performance Evaluation of EXMAN: An EXtended MANchester Data Flow Computer
APACHE-A Breakthrough in Analog Computing
Halftone Images Using Computer Graphics
The Number of State Assignments for Sequential Machines
An Optimal Algorithm for Testing Stuck-at Faults in Random Access Memories
Finite Precision Rational Arithmetic Slash Number Systems
Nonlinear Optical Data Processing and Filtering: A Feasibility Study
Efficient Storage Management for Temporary Values in Concurrent Programming Languages
A Method to Generate the Prime Cascades of an Arbitrary Switching Function
A New Routing Algorithm for a Class of Rearrangeable Networks
Worst and Best Irredundant Sum-of-Products Expressions
CPI: A Collaborative Partial Indexing Design for Large-Scale Deduplication Systems
Techniques for the Transformation of Logic Equations
Every Finite-State Machine can be Simulated (Realized) by a Synchronous (Asynchronous) Binary Feedback Shift-Register Machine
Systolic Gaussian Elimination over GF(p) with Partial Pivoting
Parallel Processing of Algebraic Expressions
A Differential Cryptananlysis of Tree-Structured Substitution-Permutation Networks
Analytic Queueing Network Models for Parallel Processing of Task Systems
ComPreEND: Computation Pruning through Predictive Early Negative Detection for ReLU in a Deep Neural Network Accelerator
On Embedding Rectangular Grids in Hypercubes
Multiple Fault Detection for Combinational Logic Circuits
Correcting DFT Codes with a Modified Berlekamp-Massey Algorithm and Kalman Recursive Syndrome Extension
Soviet Progress in the Design of Fault-Tolerant Digital Machines
Load Sharing in Hypercube-Connected Multicomputers in the Presence of Node Failures
On the Motion of an Unbounded, Markov Queue in Random Access Storage
Network Interface Data Caching
Hierarchical Quorum Consensus: A New Algorithm for Managing Replicated Data
A Feedback Method for Obtaining a Synchro Output Signal Proportional to Input Angle Θ for Large Θ
R68-13 An Introduction to Computer Graphic Terminals
Design of Hybrid Second-Level Caches
A Method for the Fast Approximate Solution of Large Prime Implicant Charts
Comments on "An Algorithm for Finding Intrinsic Dimensionality of Data"
Optimal Design of NLI Squarers and Sine Generators
Realization of Arbitrary Logic Functions by Completely Monotonic Functions and Its Applications to Threshold Logic
Rethinking DRAM's Page Mode With STT-MRAM
Causal Ordering in Distributed Mobile Systems
A Double Error-Correction Scheme for Peripheral Systems
LRFU: A Spectrum of Policies that Subsumes the Least Recently Used and Least Frequently Used Policies
Cellular Interconnection Arrays
Automatic Generation of Diagnostic Memory Tests Based on Fault Decomposition and Output Tracing
A Hierarachical Adaptive Distributed System-Level Diagnosis Algorithm
Efficient Data Compression Methods for Multidimensional Sparse Array Operations Based on the EKMR Scheme
Universality Considerations in VLSI Circuits
Minimization of Switching Circuits Subject to Reliability Conditions
B70-3 Analog-to-Digital and Digital-to-Analog Conversion Techniques
Separable Binary Convolutional Neural Network on Embedded Systems
An Upper Bound for the Synthesis of Generalized Parallel Counters
OctCNN: A High Throughput FPGA Accelerator for CNNs Using Octave Convolution Algorithm
XOR-Based Hash Functions
Boolean Functions Classification via Fixed Polarity Reed-Muller Forms
Supporting Lock-Free Composition of Concurrent Data Objects: Moving Data between Containers
Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods
A Logic-in-Memory Computer
Accumulator-Based Compaction of Test Responses
Efficient Fault-Tolerant Path Embedding for 3D Torus Network Using Locally Faulty Blocks
Lightweight Ciphers and Their Side-Channel Resilience
Totally Self-Checking Checker for 1-out-of- n Code Using Two-Rail Codes
On Computing Multiplicative Inverses in GF(2^m)
On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata
Finite Precision Rational Arithmetic: An Arithmetic Unit
StreamDFP: A General Stream Mining Framework for Adaptive Disk Failure Prediction
On the Reversibility of Computations in a Digital Differential Analyzer
A Result on Set Extraction and Application to Covering-Closure Tables
Chiplet-Gym: Optimizing Chiplet-Based AI Accelerator Design With Reinforcement Learning
Ls-Stream: Lightening Stragglers in Join Operators for Skewed Data Stream Processing
Peer-to-Peer Membership Management for Gossip-Based Protocols
Simulation of Quantum Circuits via Stabilizer Frames
Parallel Path Progression DAG Scheduling
A Generalized Algorithm for Constructing Checking Sequences
Low-Cost and High-Reduction Approaches for Power Droop during Launch-On-Shift Scan-Based Logic BIST
R-HTDetector: Robust Hardware-Trojan Detection Based on Adversarial Training
Generation of Halftones by Computer-Controlled Microfilm Recorder
SALSA: Strategyproof Online Spectrum Admissions for Wireless Networks
Collaborative Mobile Charging
Heuristic Synthesis of Microprogrammed Computer Architecture
Approximation- and Quantization-Aware Training for Graph Neural Networks
Cycle-Time Properties of the Timed Token Medium Access Control Protocol
Supervisory Control of Software Systems
A Hybrid Number System Processor with Geometric and Complex Arithmetic Capabilities
EMC: Energy-Aware Morphable Cache Design for Non-Volatile Processors
R68-39 Simulation of the Transfer Function of a Crustacean Muscle Bundle
Group Authentication
On Self-Diagnosable Multiprocessor Systems: Diagnosis by the Comparison Approach
High Density Williams Storage
A Floating-Point Multiplexed DDA System
Relationships Among Distinct Models and Notions of Equivalence for Stochastic Finite-State Systems
Power and Thermal-Aware Workload Allocation in Heterogeneous Data Centers
On the Systematic Creation of Faithfully Rounded Truncated Multipliers and Arrays
List Processing and Extension of Language Facility by Embedding
Analysis of Software Reliability Modeling Considering Testing Compression Factor and Failure-to-Fault Relationship
Privacy-Preserving Public Auditing for Secure Cloud Storage
The Number of Equivalence Classes of Boolean Functions Under Groups Containing Negation
An Approach to Highly Integrated, Computer-Maintained Cellular Arrays
Fast Modulo 2 n - (2 n-2 +1) Addition: A New Class of Adder for RNS
Design Criteria for a Generator of Repeatable Non-Poisson Sequences of Pseudorandom Pulses
A Fast Hardware Architecture for Integer to \tauNAF Conversion for Koblitz Curves
Thin-Film Memories
BlueVisor: Time-Predictable Hardware Hypervisor for Many-Core Embedded Systems
On the Impact of Communication Complexity on the Design of Parallel Numerical Algorithms
Network Performance Aware Optimizations on IaaS Clouds
A 48-Channel PCM Tape Data-Acquisition System
A Self-Organizing Drum
Enhancing Digit-Recurrence Floating-Point HUB Division
A Time Redundancy Approach to TMR Failures Using Fault-State Likelihoods
Comments on "Revision of the Buffer Length Derivation for a Modified E k /D/ 1 System by Maritsas and Hartley
Optimal One-Bit Full Adders With Different Types of Gates
Error Correction in Batch-Fabricated Memories
Parallel Multiplication Using Fast Sorting Networks
A Bound on the Run Measure of Switching Functions
Comments on "A Simplified Definition of Walsh Functions"
Algebraic Differential Fault Analysis on SIMON Block Cipher
Multipipeline Networking for Compound Vector Processing
Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions
Theory and Design of t-Error Correcting/d-Error Detecting (d>t) and All Unidirectional Error Detecting Codes
A Power-Aware Approach for Online Test Scheduling in Many-Core Architectures
Elaborate Refresh: A Fine Granularity Retention Management for Deep Submicron DRAMs
Symbolic Analysis of Higher-Order Side Channel Countermeasures
Mapping and Scheduling Mixed-Criticality Systems with On-Demand Redundancy
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
Feedback in Sequential Machine Realizations
Realization of Randomly Timed Computer Input and Output by Means of an Interrupt Feature
Design of Computer Circuits Using Linear Programming Techniques
mARGOt: A Dynamic Autotuning Framework for Self-Aware Approximate Computing
Minimum-Area Wiring for Slicing Structures
On Unordered Codes
A Decomposition Method of Determining Maximum Compatibles
eRAID: Conserving Energy in Conventional Disk-Based RAID System
Toward Wireless Security without Computational Assumptions - Oblivious Transfer Based on Wireless Channel Characteristics
Optimization of Composite Cloud Service Processing with Virtual Machines
Simultaneous Interconnect Delay and Crosstalk Noise Optimization through Gate Sizing Using Game Theory
Cluster-Aware Scattered Repair in Erasure-Coded Storage: Design and Analysis
An Integrated Approach to Distributed Demand Assignment in Multiple-Bus Local Networks
B74-22 Software Engineering: International Computer State of the Art Report
Some Codes of Rahman and Blake for Computer Applications
New Type of Transistorized Digital Analog Converter
Local Correction of Helix(k) Lists
Fault Tolerance Measures for m-Ary n-Dimensional Hypercubes Based on Forbidden Faulty Sets
Codes for Error Correction in High-Speed Memory Systems Part II: Correction of Temporary and Catastrophic Errors
EvolvingSpace: A Data Centric Framework for Integrating Bioinformatics Applications
A Globally Arbitrated Memory Tree for Mixed-Time-Criticality Systems
A Localized Algorithm for Restoring Internode Connectivity in Networks of Moveable Sensors
Tight Bounds of Differentially and Linearly Active S-Boxes and Division Property of Lilliput
Algorithms for Variable Length Subnet Address Assignment
Comments on "Performability Analysis of Distributed Real-Time Systems"
Column Parity Row Selection (CPRS) BIST Diagnosis Technique: Modeling and Analysis
Potential Impact of Value Prediction on Communication in Many-Core Architectures
Fast Inversion in ${\schmi{GF(2^m)}}$ with Normal Basis Using Hybrid-Double Multipliers
A Discussion on Two Algorithms for Determining Maximum Compatibles
Some Problems in Relay Circuit Design
Community-Aware Opportunistic Routing in Mobile Social Networks
System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architectures for AI
Scalable Power Management for On-Chip Systems with Malleable Applications
Practical Applications of Improved Gaussian Sampling for Trapdoor Lattices
Error Detecting and Correcting Binary Codes for Arithmetic Operations
A Catalog of Three-Variable Or-Invert and And-Invert Logical Circuits
Adaptive Data Fusion for Energy Efficient Routing in Wireless Sensor Networks
Locality-Based Online Trace Compression
Representation of Random Waveforms by Relational Trees
Comments on "A Fast Computer Method for Matrix Transposing" and Application to the Solution of Poisson's Equation
Real-Time Walsh-Hadamard Transformation
Relieving Write Disturbance for Phase Change Memory With RESET-Aware Data Encoding
Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions
Generation of All Reed-Muller Expansions of a Switching Function
A Simple-Technique for Partial Elimination of Unit Productions from LR (k) Parsers
Automatic Beam Current Stabilization for Williams Tube Memories
Methodology for the Generation of Program Test Data
Comparing File Copies with at Most Three Disagreeing Pages
Adjacencies Between the Cycles of a Shift Register with Characteristic Polynomial (1 + x ) n
An Algorithm for Minimal TANT Network Generation
On Shannon's Almost Uniform Distribution
Improved Memory Matrices for the n-Tuple Pattern Recognition Method
Efficient Exponentiation of a Primitive Root in GF(2^m)
A Computer Algorithm for Minimizing Reed-Muller Canonical Forms
On Autonomous Logic Nets of Threshold Elements
A New Approach to Fixed-Coefficient Inner Product Computation Over Finite Rings
Towards Optimal Application Offloading in Heterogeneous Edge-Cloud Computing
On Computing Signal Probability and Detection Probability of Stuck-at Faults
Analysis of Noncatastrophic Failures in Digital Guidance Systems
Chebyshev All-Pass Approximants for Time-Delay Simulation
An Algorithm for Determining Minimal Representations of a Logic Function
Stochastic Modeling of Intrusion Tolerant Systems Based on Redundancy and Diversity
Optimal Three-Layer Channel Routing
HAOTuner: A Hardware Adaptive Operator Auto-Tuner for Dynamic Shape Tensor Compilers
Linear System Approximation by Differential Analyzer Simulation of Orthonormal Approximation Functions
Limit on the Addressability of Fault-Tolerant Nanowire Decoders
On Multiple Operand Addition of Signed Binary Numbers
A Problem-Oriented Search Procedure for Theorem Proving
On The Computation of LFSR Characteristic Polynomials for Built-In Deterministic Test Pattern Generation
Functional Implementation Techniques for CPU Cache Memories
Extending Value Reuse to Basic Blocks with Compiler Support
Monero-Based Group Covert Transmission With Fine-Grained Access Control
Trade-Offs between Latency, Complexity, and Load Balancing with Multicast Algorithms
A Group-Theoretical Approach to Two-Rail Cascades
"Intergraphic, " A Microprogrammed Graphical-Interface Computer
FTH-B&B: A Fault-Tolerant HierarchicalBranch and Bound for Large ScaleUnreliable Environments
A Case for Two-Level Recovery Schemes
Control-Flow Speculation through Value Prediction
Design and Analysis of Inexact Floating-Point Adders
Asynchronous Modular Arbiter
A Realization Algorithm for Multiple Preset Experiments
Comparative Power Analysis of Modular Exponentiation Algorithms
Rebalancing Height Balanced Trees
Array Networks for a Parallel Adder and Its Control
A Formula for Logical Network Cost
Fast High-Accuracy Binary Parallel Addition
On-Line Algorithms for Division and Multiplication
Truth Discovery With Multi-Modal Data in Social Sensing
Discrete and Continuous Models for the Performance of Reconfigurable Multistage Systems
A Three-Stage One-Sided Rearrangeable Polygonal Switching Network
On Circuits and Numbers
Fast Linearly Independent Arithmetic Expansions
Derivation of Minimal Sums for Completely Specified Functions
A Performance Analysis of the Implementation of Addressing Methods in Block-Structured Languages
Flow Table Simplification-Some Useful Aids
MICRO: A Multilevel Caching-Based Reconstruction Optimization for Mobile Storage Systems
Testing by Feedback Shift Register
Periodic Realization of Synchronous Sequential Machines
Power-Aware Storage Cache Management
Connectivity of Regular Directed Graphs with Small Diameters
eQoS: Provisioning of Client-Perceived End-to-End QoS Guarantees in Web Servers
Saving Energy in Partially Deployed Software Defined Networks
Mantissa-Preserving Operations and Robust Algorithm-Based Fault Tolerance for Matrix Computations
A Learning Multiple-Valued Logic Network: Algebra, Algorithm, and Applications
Hardware Design of Low-Power High-Throughput Sorting Unit
Health Status Assessment and Failure Prediction for Hard Drives with Recurrent Neural Networks
Some Characteristics of Universal Cell Nets
A Unifying Framework for the Approximate Solution of Closed Multiclass Queuing Networks
Test-Pattern Generation Based on Reed-Muller Coefficients
Setup Algorithms for Cube-Connected Parallel Computers Using Recursive Karnaugh Maps
An Effective Built-In Self-Test Scheme for Parallel Multipliers
An Expression Model for Extraction and Evaluation of Parallelism in Control Structures
A Computation-Quantized Training Framework to Generate Accuracy Lossless QNNs for One-Shot Deployment in Embedded Systems
The 2's Complement and Other Semi-Systematic Binary Codes
Automated Scaling for Hybrid Computers
Efficient Iterated Rotation of an Object