yusuke1997/dblp-id-title huggingface dataset:
Proposal of Block Erase and Verify Schemes for Ferroelectric NAND: Overcoming Critical Challenges from Threshold Voltage Polarity
Optimization of Switching Metrics for CMOS Integrated HfO2 based RRAM Devices on 300 mm Wafer Platform
STT-MRAM Antifuse Macro for Memory, SoC, and FPGA Chips
Role of Nitrogen in Suppressing Interfacial States Generation and Improving Endurance in Ferroelectric Field Effect Transistors
Demonstration of SMT-reflow Immune and SCA-resilient PUF on 28nm RRAM device array
Optimizing RRAM Performance: A Comparative Analysis of Forming Strategies
A 3D Stackable 1T1C DRAM: Architecture, Process Integration and Circuit Simulation
Dynamic Flash Memory Operation Experimentally Validated with 65nm SOI Technology
Non-volatile Memory Application to Quantum Error Correction with Non-uniformly Quantized CiM
Flash memory revolution: journey from 2D to 3D, migrating to modular memory fabrication
Bayesian Neural Network Realization by Random Telegraph Noise in 40nm TaOX ReRAM CiM
Materials Engineering for High Performance Ferroelectric Memory
Improvement of MAC Accuracy using Oxygen Diffusion Barriers in Resistive Synaptic Cell Arrays
Variability and disturb sources in ferroelectric 3D NANDs and comparison to Charge-Trap equivalents
Enhancing 3D XPT/SOM Reliability: Strategies for Mitigating Spike Current and Improving Read Endurance
Multi-Level Operation of Ferroelectric FET Memory Arrays for Compute-In-Memory Applications
Distributed Cycling in Charge Trap-Based 3D NAND Arrays: Model and Qualification Tests Implications
Performance Benchmarking of Spin-Orbit Torque Magnetic RAM (SOT-MRAM) for Deep Neural Network (DNN) Accelerators
High-Endurance and Low-Voltage operation of 1T1C FeRAM Arrays for Nonvolatile Memory Application
Vertical Channel Transistor (VCT) as Access Transistor for Future 4F 2 DRAM Architecture
SSD Drive Failure Prediction on Alibaba Data Center Using Machine Learning
NAND flash innovation in the AI Era
High-K incorporated in a SiON tunnel layer for 3D NAND programming voltage reduction
Overcome the End of Life of 3D Flash Memory by Recovery Annealing, Aiming for Carbon Neutrality in Semiconductor Manufacturing
A Back-End-Of-Line Compatible, Ferroelectric Analog Non-Volatile Memory
Overlay Control in HAR device integration
Multilayer OTS Selectors Engineering for High Temperature Stability, Scalability and High Endurance
Stochastic Computing-based Computation-in-Memory (SC CiM) Architecture for DNNs and Hierarchical Evaluations of Non-volatile Memory Error and Defect Tolerance
Novel Ultrafast Non-Destructive Readout of FeRAM by Low-Voltage Transient Current
An Ag/HfO2/Pt Threshold Switching Device with an Ultra-Low Leakage ( 1011), and Low Threshold Voltage (< 0.2 V) for Energy-Efficient Neuromorphic Computing
Analog AI Accelerators for Transformer-based Language Models: Hardware, Workload, and Power Performance
Racetrack Memory: a high capacity, high performance, non-volatile spintronic memory
Process optimization and cryogenic evaluation of spin-orbit torque magnetic random access memory
On-Chip Capacitors with Wall-Type Structure in 9th Generation 3D VNAND Flash Memory
Engineering nvCap From FEOL to BEOL with Ferroelectric Small-signal Non-destructive Read
Toward 7 Bits per Cell: Synergistic Improvement of 3D Flash Memory by Combination of Single-crystal Channel and Cryogenic Operation
Structural and Device Considerations for Vertical Cross Point Memory with Single-stack Memory toward CXL Memory beyond 1x nm 3DXP
7-Bit/2Cell (X3.5), 9-Bit/2Cell (X4.5) NAND Flash Memory: Half Bit technology
Study of Nanosecond Laser Annealing on Silicon Doped Hafnium Oxide Film Crystallization and Capacitor Reliability
High Operation Speed(10ns/100ns) and Low Read Current (sub-1μA) 2D Floating Gate Transistor
Gate Side Injection Operating Mode for 3D NAND Flash Memories
A Precision-Adaptive ECC Strategy with Computing Fusion Decoding for Near/In-Memory Computing
Design Technology Co-Optimization of 3D SRAM Macro in Nanosheet Technology for High-Bandwidth Applications
Future Technology Outlook on DRAM/Flash Memories for More Moore and More Than Moore
Embedded Transformer Hetero-CiM: SRAM CiM for 4b Read/Write-MAC Self-attention and MLC ReRAM CiM for 6b Read-MAC Linear&FC Layers
SONOS Embedded Flash IP Using Trap-Depth-Controlled SiN Film Enabling Data Retention more than 10 years at 200°C
Memory-Centric Computing: Solving Computing's Memory Problem
1kb IGZO TFT Based Flexible SRAM for IoT Applications
Modeling Environment for Ge-rich GST Phase Change Memory Cells
Integration of BEoL Compatible 1T1C FeFET Memory Into an Established CMOS Technology
Demonstration of multilevel multiply accumulate operations for AiMC using engineered a-IGZO transistors-based 2T1C gain cell arrays
Physical Model and Characteristics of 3D NAND Memory Cell Metastability Issues under High Temperature Stress
Recognition Accuracy Enhancement using Interface Control with Weight Variation-Lowering in Analog Computation-in-Memory
D2W Hybrid Bonding Challenges for HBM
High-efficient and Comprehensive Modeling of MFIM Ferroelectric Tunnel Junctions for Non-volatile/Volatile Applications
Trends and Future Challenges of 3D NAND Flash Memory
28nm Data Memory with Embedded RRAM Technology in Automotive Microcontrollers
Simulation of Ge-rich PCM Device Material Evolution from Post-Deposition Anneal to Programming Operations
Monolithic 3D Stackable DRAM Design with BEOL-Compatible Oxide Channel Access Transistor
Improved MW of IGZO-channel FeFET by Reading Scheme Optimization and Interfacial Engineering
Physical modeling and design rules of analog Conductive Metal Oxide-HfO2 ReRAM
3D NAND Flash Status and Trends
Spin-Transfer-Torque MRAM: the Next Revolution in Memory
A Technology Path for Scaling Embedded FeRAM to 28nm with 2T1C Structure
SLC and MLC In-Memory-Approximate-Search Solutions in Commercial 48-layer and 96-layer 3D-NAND Flash Memories
A novel 3D 1T1R RRAM architecture for memory-centric Hyperdimensional Computing
Dynamic Flash Memory with Dual Gate Surrounding Gate Transistor (SGT)
Towards a visual framework for the incorporation of knowledge in the phases of machine learning
A cross-comparison of feature selection algorithms on multiple cyber security data-sets
Activation gap generators in neural networks
Effective graph sampling of a nonlinear image transform
Rational preferential reasoning for datalog
Forrester's paradox using typicality
Supervised learning and image processing for efficient malaria detection
Modelling uncertain adaptive decisions: Application to KwaZulu-Natal sugarcane growers
Using social networks to enhance a deep learning approach to solve the cold-start problem in recommender systems
ReLU and sigmoidal activation functions
Comparison of clustering techniques for residential load profiles in South Africa
Directed curiosity-driven exploration in hard exploration, sparse reward environments
Proceedings of the South African Forum for Artificial Intelligence Research, Cape Town, South Africa, 4-6 December, 2019
Neural speech synthesis for resource-scarce languages
Input parameter ranking for neural networks in a space weather regression problem
Evaluation of combined bi-directional branching entropy language models for morphological segmentation of isiXhosa
Is existing law adequate to govern autonomous weapon systems?
Autoencoding variational Bayes for latent Dirichlet allocation
Insights regarding overfitting on noise in deep learning
Defeasible disjunctive datalog
Automatic detection of abusive South African tweets using a semi-supervised learning approach
Some historic comments on finite elements
J. H. Wilkinson's work and influence on matrix computations
Conjugacy and gradients in variational theory and analysis
The prehistory and ancient history of computation at the U.S. National Bureau of Standards
Proceedings of the ACM Conference on History of Scientific and Numeric Computation, HSNC 1987, Princeton, New Jersey, USA, May 13-15, 1987
Early numerical analysis in the United Kingdom
Mathematical software and ACM Publications
Comments on postwar development of computational mathematics in some countries of Eastern Europe
The work of George Forsythe and his students
BIT - a child of the computer
An historical review of iterative methods
The pioneer days of scientific computing in Switzerland
Keynote address - Remembrance of things past
The development of ODE methods: a symbiosis between hardware and numerical analysis
How the FFT gained acceptance
Programmed computing at the Universities of Cambridge and Illinois in the early fifties
Query Models
Enabling the Refinement of a Software Architecture into a Design
Core Meta-Modelling Semantics of UML: The pUML Approach
SelfSync: A Dynamic Round-Trip Engineering Environment
Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, OCL 2.0, San Francisco, CA, USA, October 21, 2003
UML Support for Designing Software Systems as a Composition of Design Patterns
Software Architecture Description and UML
Mapping between Levels in the Metamodel Architecture
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
On Customizing the UML for Modeling Performance-Oriented Applications
A Metamodel for Generating Performance Models from UML Designs
OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem
The UML family: Profiles, Prefaces and Packages
Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development
Validating Distributed Software Modeled with the Unified Modeling Language
Against Use Case Interleaving
Computing Refactorings of Behavior Models
An Action Semantics for MML
Open Issues in Industrial Use Case Modeling
Modeling Aspect-Oriented Compositions
OCL as a Specification Language for Business Rules in Database Applications
Exchange of UML-Models with EIA/CDIF
From a Semantically Irreducible Formulated Conceptual Schema to an UML Model
First-Class Extensibility for UML-Profiles, Stereotypes, Patterns
SecureUML: A UML-Based Modeling Language for Model-Driven Security
Executable Design Models for a Pervasive Healthcare Middleware System
Using UML 2.0 Collaborations for Compositional Service Specification
A UML-Based Tool for Designing User Interfaces
Best Practices for Teaching UML Based Software Development
Consistency Checking and Visualization of OCL Constraints
Modeling: Is it Turning Informal into Formal?
Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005)
Representing Temporal Information in UML
Invited Presentation II: Experiences in Applying Model Based System Testing Generation
Mixing Visual and Textual Constraint Languages
UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
Model-Centric Engineering with the Evolution and Validation Environment
Empirically Driven Use Case Metamodel Evolution
Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML
Analysing UML Use Cases as Contracts
Developing Safety-Critical Systems with UML
Real-Time Modeling with UML: The ACCORD Approach
The ProjectIT-RSL Language Overview
Annotating UML Models with Non-functional Properties for Quantitative Analysis
Proceedings of the Workshop on the Compositional Verification of UML Models, CVUML 2003, San Francisco, CA, USA, October 21, 2003
A Formal Approach to Collaborations in the Unified Modeling Language
SVERTS - Specification and Validation of Real-Time and Embedded Systems
Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study
The Roles of "Roles" in Use Case Diagrams
Formal Redesign of UML Class Diagrams
Agile Modeling: A Brief Overview
Validating UML Models and OCL Constraints
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report
Preening: Reflection of Models in the Mirror a Meta-modelling Approach to Generate Reflective Middleware Configurations
A Radical Revision of UML's Role Concept
Integrating a Security Requirement Language with UML
Capturing Common and Variable Design Aspects for Ubiquitous Computing with MB-UID
Towards a Generic Aspect Oriented Design Process
Applying UML to Design an Inter-domain Service Management Application
Incremental MDD Through Generative Causal Connectedness
UML: The Birth and Rise of a Standard Modeling Notation
UML Extensions for ASAM-GDI Device Capability Description
Specifying Cross-Cutting Requirement Concerns
Ontology-Based Model Transformation
Defining the Context of OCL Expressions
Extending UML to Support Ontology Engineering for the Semantic Web
5th International Workshop on Aspect-Oriented Modeling
Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel
Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application - Experiences and Challenges
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain
A Model-Driven Runtime Environment for Web Applications
A UML Profile for Real-Time Constraints with the OCL
Towards Efficient Code Synthesis from Statecharts
Modelling Database Views with Derived Classes in the UML/OCL-Framework
Managed Architecture of Existing Code as a Practical Transition Towards MDA
Reuse of Models and Diagrams of the UML and Implementation Concepts Regarding Dynamic Modeling
Formal Definition of UML's Package Concept
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling
ProGUM-Web: Tool Support for Model-Based Development of Web Applications
Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group
A Domain Model for Dynamic System Reconfiguration
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems
Reflections on the Object Constraint Language
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
Formalizing the UML Class Diagram Using Object-Z
Scenario-Based Monitoring and Testing of Real-Time UML Models
Practical Experiences in the Application of MDA
On the Key Role of Compositioning Object-Oriented Modelling
Profile Suite for Model Transformations on the Computation Independent Level
A Modelling and Simulation Based Approach to Dependable System Design
A Metamodel for the Unified Modeling Language
From Informal to Formal Specifications in UML
Applying UML Extensions to Facilitate Software Reuse
A Visualization of OCL Using Collaborations
A Structured Approach to Develop Concurrent Programs in UML
Extending UML for Object-Relational Database Design
Tool Support for Model-Based Generation of Advanced User Interfaces
Modeling Java Threads in UML
Modeling and Analysis of Real-Time and Embedded Systems
The Preacher at Arrakeen
Formal Verification of UML Diagrams: A First Step Towards Code Generation
Workshops at the MODELS 2005 Conference
Workshop 9 Summary
Generating Tests from UML Specifications
An Axiomatic Formalization of UML Models
Automation of Design Pattern: Concepts, Tools and Practices
Model-Based Scalability Estimation in Inception-Phase Software Architecture
Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal
Model-Driven Engineering of Middleware-Mediated Distributed Systems
Visualization in the Context of Model Driven Engineering
Structuring UML Design Deliverables
UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings
Ensuring Quality of Geographic Data with UML and OCL
Tutorials at the MODELS 2005 Conference
Compositional and Relational Reasoning during Class Abstraction
Designing UML Based Development Processes
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models
Model-Driven Engineering in a Large Industrial Context - Motorola Case Study
Modeling Dynamic Software Components with UML
Catalytic Modeling: UML meets XP
The TopModL Initiative
Modeling of Architectures with UML (Panel)
OML: Proposals to Enhance UML
A UML Profile for Executable and Incremental Specification-Level Modeling
Panels at the MODELS 2005 Conference
Specifying Precise Use Cases with Use Case Charts
Model Composition Directives
PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation
Explicit Architectural Policies to Satisfy NFRs Using COTS
Semantics and Transformations for UML Models
Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques
UML Activity Diagrams as a Workflow Specification Language
An Action Language for UML: Proposal for a Precise Execution Semantics
Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems
Application of UML Within the Scope of New Telecommunication Architectures
Modeling Reactive Systems and Aspect-Orientation
«UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications
A Relational Approach to Defining Transformations in a Metamodel
Experiences in Modeling for a Domain Specific Language
«UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings
Towards Model-driven Engineering of Plastic User Interfaces
sNets: A First Generation Model Engineering Platform
Modular Architecture for a Toolset Supporting OCL
Literate Modelling - Capturing Business Knowledge with the UML
Tool-support for Model-Driven Software Engineering
Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0
Scenario Construction Tool Based on Extended UML Metamodel
Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML
Software Hazard Analysis for X-by-Wire Applications
How Can Anything be Both a Classifier and a Package?
MoDELS 2005 Doctoral Symposium Summary
Rewrite rules and Operational Semantics for Model Checking UML Statecharts
Reconciling the Needs of Architectural Description with Object-Modeling Notations
Model Refactorings as Rule-Based Update Transformations
Reflective Model Driven Engineering
System-on-Chip Verification Process Using UML
Tutorials at the UML 2003 Conference
EPTUD: An Eclipse Plugin for Testing UML Designs
Ways of Handling and Interpreting Specialization in Object-Oriented Modeling
Software, Heal Thyself!
Practical Declarative Model Transformation with Tefkat
The Normal Object Form: Bridging the Gap from Models to Code
A UML Variant: OML
Keynote Address II: Domain-Specific Modeling: No One Size Fits All
Formal Semantics of UML with Real-Time Constructs
HOL-OCL: Experiences, Consequences and Design Choices
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML
Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004)
Software Engineering Process with the UML
Understanding UML - Pains and Rewards
Configuration Knowledge Representation Using UML/OCL
A Formal Approach to Use Cases and Their Relationships
Tools for Critical Systems Development with UML (Tool Demo)
Developing with UML - Some Pitfalls and Workarounds
Summary of the Educator's Symposium
A UML-based Methodology for Hypermedia Design
Applying OO Metrics to Assess UML Meta-models
Correct Realization of Interface Constraints with OCL
A Critical Look upon UML 1.0
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
UML Collaboration Diagrams and their Transformation to Java
Rapid Development of Modular Dynamic Web Sites Using UML
Towards a UML Profile for Software Architecture Descriptions
Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming
Model Transformations in Practice Workshop
Reliability Prediction in Model-Driven Development
Calculating with Concepts: a Technique for the Development of Business Process Support
Rigorous Testing by Merging Structural and Behavioral UML Representations
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams
Interacting Subsystems in UML
Representing and Applying Design Patterns: What Is the Problem?
Supporting Model Refactorings Through Behaviour Inheritance Consistencies
Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report)
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets
Consistent Behaviour Representation in Activity and Sequence Diagrams
Towards Automating Source-Consistent UML Refactorings
Tutorials at the UML 2004 Conference
Simplifying Transformations of OCL Constraints
What Is the Point of the UML?
System Development with V-Model and UML
Extension of UML Sequence Diagrams for Real-Time Systems
Towards a Platform for Debugging Executed UML-Models in Embedded Systems
Extending the Boundaries of Model-Based Development to Account for Errors
STAIRS - Steps to Analyze Interactions with Refinement Semantics
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
Integrated Model-Based Software Development, Data Access, and Data Migration
On Associations in the Unified Modelling Language
Precise Modeling of Design Patterns
Extending OCL for Secure Database Development
Business Process Modeling with EPC and UML: Transformation or Integration?
Type Checking UML Static Diagrams
Determining the Structural Events That May Violate an Integrity Constraint
Identifying Semantic Dimensions of (UML) Sequence Diagrams
Code Generation from UML Models with Semantic Variation Points
Extending OCL to include Actions
Making UML Models Interoperables with UXF
Generating Code from UML with Velocity Templates
UML and User Interface Modeling
Describing AI Analysis Patterns with UML
Refactoring OCL Annotated UML Class Diagrams
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation
Formalization of UML-Statecharts
Tool-Supported Compressing of UML Class Diagrams
BOOSTER Process. A Software Development Process Model Integrating Business Object Technology and UML
A Workbench to Experiment on New Model Engineering Applications
Properties of Stereotypes from the Perspective of Their Role in Designs
Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
Extending Profiles with Stereotypes for Composite Concepts
Modeling the User Interface of Web Applications with UML
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems
Towards Three-Dimensional Animation of UML Diagrams
Deductive Verification of UML Models in TLPVS
Statistical Constraints for EAI
Applying MDA and UML in the Development of a Healthcare System
Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems
Report of the 7th International Workshop on Aspect-Oriented Modeling
On the Role of Activity Diagrams in UML - A User Task Centered Development Process for UML
Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving
Six Lessons Learned Using MDA
Supporting the Building and Analysis of an Infrastructure Portfolio Using UML Deployment Diagrams
The Specification of UML Collaborations as Interaction Components
Black and White Diamonds
Towards Employing UML Model Mappings for Platform Indepedent User Interface Design
Consistency Problems in UML-Based Software Development
Data Communications Standards: A Case for the UML
Exceptional Use Cases
Test Driven Development of UML Models with SMART Modeling System
Does Your Software Creak as It Runs?
Model Driven Development for Distributed Real-Time and Embedded Systems
Strict Profiles: Why and How
UML Model Mappings for Platform Independent User Interface Design