yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the 3rd Highlights of Parallel Computing Workshop, HOPC 2025, Portland, OR, USA, 28 July 2025 - 1 August 2025
Dynamic Mesh Processing on the GPU (Abstract)
Proceedings of the 2023 ACM Workshop on Highlights of Parallel Computing, HOPC 2023, Orlando, FL, USA, 16 June 2023
BP-tree: Overcoming the Point-Range Operation Tradeoff for In-Memory B-trees (Abstract)
Parallel k-Core Decomposition: Theory and Practice (Abstract)
Static Prediction of Parallel Computation Graphs (Abstract)
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators (Abstract)
Cases When Communicating More is Faster
Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract)
Bit-Parallel Wavelet Tree Construction (Abstract)
H4H: Hybrid Convolution-Transformer Architecture Search for NPU-CIM Heterogeneous Systems for AR/VR Applications (Abstract)
Provably Fast and Space-Efficient Parallel Biconnectivity (Abstract)
Towards Scalable and Practical Batch-Dynamic Connectivity (Abstract)
Theoretically and Practically Efficient Parallel Nucleus Decomposition (Abstract)
Last-Use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract)
Efficient Parallel Output-Sensitive Edit Distance (Abstract)
Efficient Construction of Directed Hopsets and Parallel Single-source Shortest Paths (Abstract)
Fast, Scalable, and Machine-Verified Multicore Disjoint Set Union Data Structures and their Wide Deployment in Parallel Algorithms (Abstract)
Parallel Integer Sort: Theory and Practice (Abstract)
Parallel Derandomization for Coloring (Abstract)
Fast and Space-Efficient Parallel Algorithms for Influence Maximization (Abstract)
Smarter Atomic Smart Pointers: Safe and Efficient Concurrent Memory Management (Abstract)
TeraHAC: Hierarchical Agglomerative Clustering of Trillion-Edge Graphs (Abstract)
Buffered Persistence in B+ Trees (Abstract)
Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures (Abstract)
PIM-tree: A Skew-resistant Index for Processing-in-Memory (Abstract)
Lock-Free Locks Revisited (Abstract)
Parallel kd-tree with Batch Updates (Abstract)
MemSnap: Checkpointing Modern Shared-Memory (Abstract)
Accelerating Sparse Data Orchestration via Dynamic Reflexive Tiling (Extended Abstract)
Concurrent Immediate Reference Counting (Abstract)
Parallel Cluster-BFS and Applications to Shortest Paths
The Inevitable Pain of Software Development: Why There Is No Silver Bullet
Towards Ontology Driven Software Design
Tight Structuring for Precise UML-Based Requirement Specifications
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case)
Integrating Performance Modeling in the Software Development Process
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar
Model Generation for Legacy Systems
Automatic Failures-Free Connector Synthesis: An Example
Higher Order Applicative XML Documents
View Consistency in Software Development
A General Resource Framework for Real-Time Systems
A Computational Model for Complex Systems of Embedded Systems
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
Model-Checking Complex Software - A Memory Perspective
A New Paradigm for Requirements Specification and Analysis of System-of-Systems
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering
Predictable Component Architectures Using Dependent Finite State Machines
Towards Fully Automatic Execution Monitoring
Pervasive Challenges for Software Components
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems
Toward Component-Oriented Formal Software Development: An Algebraic Approach
Module Dependences in Software Design
Agile Modeling with the UML
A Model Based Development Approach for Distributed Embedded Systems
Software Evolution as the Key to Productivity
Empirical, Human-Centered Evaluation of Programming and Programming Language Constructs: Controlled Experiments
Leveraging Static Analysis in an IDE
To Merge or Not to Merge: Managing Software Product Families
The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition: Invasive Composition with COMPASS Aspect-Oriented Connectors
Variation Programming with the Choice Calculus
Model Transformation Chains and Model Management for End-to-End Performance Decision Support
Differencing UML Models: A Domain-Specific vs. a Domain-Agnostic Method
Co-transformations in Database Applications Evolution
A Landscape of Bidirectional Model Transformations
Program Transformation Using HATS 1.84
EASY Meta-programming with Rascal
Bidirectional by Necessity: Data Persistence and Adaptability for Evolving Application Development
Implementation of a Finite State Machine with Active Libraries in C++
Automated Merging of Feature Models Using Graph Transformations
An Introduction to Context-Oriented Programming with ContextS
Adding Dimension Analysis to Java as a Composable Language Extension
MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT
Modular Name Analysis for Java Using JastAdd
Refactoring Tools and Their Kin
The Theory and Practice of Modeling Language Design for Model-Based Software Engineering - A Personal Perspective
Techniques for Lightweight Generator Refactoring
How to Write Fast Numerical Code: A Small Introduction
Model-Driven Engineering of Rules for Web Services
E-CARES Project: Reengineering of Telecommunication Systems
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation
.QL: Object-Oriented Queries Made Easy
An Introduction to Software Product Line Refactoring
Excerpts from the TXL Cookbook
Some Issues in the 'Archaeology' of Software Evolution
On the Use of Graph Transformations for Model Refactoring
Agile Parsing to Transform Web Applications
Model Driven Engineering: An Emerging Technical Space
The Transformational Approach to Database Engineering
Data Cleaning and Transformation Using the AJAX Framework
Language and IDE Modularization and Composition with MPS
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Structured Program Generation Techniques
Dynamic Program Analysis for Database Reverse Engineering
Lightweight Language Processing in Kiama
Code Transformations for Embedded Reconfigurable Computing Architectures
Transforming Data by Calculation
Mappings Make Data Processing Go 'Round
A Gentle Introduction to Multi-stage Programming, Part II
An Introductory Tutorial on JastAdd Attribute Grammars
Using Java CSP Solvers in the Automated Analyses of Feature Models
DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots
Generative and Transformational Techniques in Software Engineering IV, International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Probabilistic Program Analysis
Tengi Interfaces for Tracing between Heterogeneous Components
Building Code Generators with Genesys: A Tutorial Introduction
A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite
Software Reuse beyond Components with XVCL (Tutorial)
The Need for Early Aspects
Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
People Analytics in Software Development
Model-Based Language Engineering with EMFText
Implementing a Linear Algebra Approach to Data Processing
Requirements for Self-adaptation
WebDSL: A Case Study in Domain-Specific Language Engineering
Language Convergence Infrastructure
Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
C++ Metastring Library and Its Applications
How Ontologies Can Help in Software Engineering
Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
Model Transformations for the Compilation of Multi-processor Systems-on-Chip
Forms2Net - Migrating Oracle Forms to Microsoft .NET
Developing Tools with Fujaba XProM
Design Space of Heterogeneous Synchronization
Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Program Optimizations and Transformations in Calculation Form
Model Driven Language Engineering with Kermeta
Feature-Oriented Software Development
Model Management in the Wild
Applications of the Asf+SdfMeta-Environment
Teaching Computer Language Handling - From Compiler Theory to Meta-modelling
Evolving a DSL Implementation
A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming
Model Synchronization: Mappings, Tiles, and Categories
Program Transformation with Reflection and Aspect-Oriented Programming
Compilation of Legacy Languages in the 21st Century
Research on Methods of Improving L2 Language Learning Based on Principles of Language Teaching with Web Resources
Design and Implement on Automated Pharmacy System
The Application of Robot Performance Technology in Physical Education
Research and Practice on Curriculum Construction of the Nonwoven Technology
Discussion on Development of Chinese Automobile Information Technology Based on Intelligent Materials
Performance Comparison of Convex Programming in Different Scenarios
On Relativity of Probability and Information
Based on the Fuzzy Mathematics Model of Quality Management of Highway Construction Project
Waves Field Prediction of Different Polarization Mode in Mine Tunnels Based on Modern Information Technology
Improved Algorithm of Overlap-Save Method for Calculating Linear Convolution of a Long Sequence
Constructing Domain Ontology of E-Business Based on Fuzzy Rough Concept Lattices
Multi-objective Optimized PID Controller for Unstable First-Order Plus Delay Time Processes
Formal Methods for Aspect-Oriented Specification of Cyber Physical Systems
A Vehicle Tracking System Overcoming Occlusion and an Accident Detection Monitoring Using Tracking Trace
An Interactive Synchronous E-Learning System for Corporate Knowledge Management: Lessons Learned from SaveCom
The Research of Network Teaching Platform
A Review of Theory and Research Based on Uses and Gratifications in HCI
A Multi-criteria Assessment Model of Community College Development for Energy Conservation Promotion in Network Environment
The Application of Blended Learning Modes in College English Teaching Based on Multimedia Technology
The Research on Real-Time Bus Strategy in Distributed Simulation Based on STK
An Exploration of Vocal Music Teaching in College Based on Social Learning Theory with Information Technology
Application of Computer Control Technology for Innovation Intelligent Control Talents Training
Research on Instance Driving Teaching Method of Java Study
The Application of Software Engineering in the Sports Management System Based on Teaching Materials
Task-Driven and Cooperative-Working Based Compiler Principle Teaching Reform
Bilingual Teaching Reform and Practice of Engineering Student's "Professional Foreign Language" Based on Multimedia Technology
Design and Practice Research of City Ad Titles in the Image Software
Study on Teaching Reform of E-commerce with the Mode of Combining Research and Teaching Based on Propriate Teaching Materials
An Exploration of the Cultivation Mode of Innovation and Entrepreneurship Education with Modern Information Technology for Statistics Students
The Study of Application on Economic Mathematics According to Scientific Analysis on Data Materials
An Improved Algorithm of Sensors Localization in Wireless Sensor Network
Study on Integrating Multimedia into College English Teaching
Study on the Some Labelings of Complete Bipartite Graphs
Analysis on Robust Control Strategy of Electric Power Steering System
The Exploration of Cloud Computing
Four Critical Points of General Technology Curriculum Implementation Propelled by Administration: A Case Study of Zhejiang Province
A Secure Searchable Public Key Encryption Scheme with a Designated Tester against Keyword Guessing Attacks and Its Extension
Analysis of Embedded Real-Time System Security
Research on Teaching Reform on Environmental Biochemistry Based on Teaching Materials
Sensor Simulation of Underwater Terrain Matching Based on Sea Chart
Knowledge Management Capability of Library: Scale Development and Validation
Research on the Distributed Satellite Earth Measurement System Based on ICE Middleware
An Improved Isomap Algorithm for Predicting Protein Localization
Construction and Research Based on WLAN LSIE Performance Evaluation System
Improvement of Teaching Mode and Its Effect on Experiments in Material Mechanics with Information Technology
Talk about Local University Talent Training and the Demand of Economic Social Development
Research on Self-determined Learning Model for Training Students in Management Based on Web Resources
The Enlightenment of German "Dual System" on Higher Vocational Education of China in Modern Information Age
Research on E-Commerce Experiment Design Based on Transaction Mode with Scientific Teaching Materials
Flood Risk Assessment Based on the Information Diffusion Method
Characteristics of Risky Merging Driving Behavior on Urban Expressway
Establishment and Exploration of College Testing System with Modern Information Technology
Research on Computer Education and Education Reform Based on a Case Study
Bijective Soft Set Approach for Quality Evaluation of Graduate Education
Research on College English Writing on the Macro Discourse Level Based on Web Resources
Research on Teaching Methods of Motor Drive Technology Based on Information Technology
A Fast FFT IP Core Design Based on Parallel Computing
Harmonic Detection for Hybrid Filter
Analysis on the Security of Accounting Information System
Study on the Mathematics Instructional Design about Creating a Zone of Proximal Development of Students Based on Information Technology
Analysis of a Novel Electromagnetic Bandgap Structure for Simultaneous Switching Noise Suppression
The Cable Crimp Levels Effect on TDR Cable Length Measurement System
Towards the Application Framework of Innovation-Based Knowledge Management System with Information Technology
The Study on Cross Culture in English Language Based on Database Data
Study on Traditional Teaching Model Innovation in Network Environment
Application of the WebQuest in Computer Basic Courses Based on Teaching Materials
Set Up the Shopping Platform Based on Layout Technology and Animation Mechanism in WPF
An Appraisal Method of the Interoperability of Architecture Based on DoDAF
Research and Practice of Evaluated Index System with Information Technology Affecting Bilingual Educational Quality in Medical College
Subjective Trust Evaluation Model Based on Preferences
Handwritten Digit Recognition Based on Principal Component Analysis and Support Vector Machines
Probing into the Teaching Reformation with Modern Information Technology Based on the Professional Qualification Development for Dispatcher Education in Travel Agency Field
A Model of Real-Time Supply Chain Collaboration under RFID Circumstances
An Analysis of the Function and Training Strategies of Teaching Assistants at Technological and Vocational Colleges in Taiwan
Application of EDA Technology in the Education of Automatic Control System Design
Research of Digital Character Recognition Technology Based on BP Algorithm
Situation Analysis and Countermeasure Study on Rural Vocational Education and Training for Modern Farmers' Cultivation Based on Information Technology
Study on Open Teaching Reform of Course "Java Programming" Based on Teaching Materials
A Modified Newton-Type Method with Sixth-Order Convergence for Solving Nonlinear Equations
Improving Tracking Performance of PLL Based on Wavelet Packet De-noising Technology
Advances in Computer Science, Environment, Ecoinformatics, and Education - International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II
Research on the Course Teaching Reform of Discrete Mathematics in Modern Information Age
The Features of Multiple Affine Fuzzy Quarternary Frames in Sobolev Space
A Small System of Program-Controlled Amplification Amplifier Based on AD603
Fuzzy Optimal Control of Sewage Pumping Station with Flow Concentration
Eliminates the Electromagnetic Interference Based on the PLC Configuration Software
Architectural Design of a Short Message Platform of University Employment Based on Information Technology
A Study on the Application of Lexical Cohesion to ESL Reading Based on Web Materials
Research on Nantong University of Radio and TV Websites Developing Based on ASP and Its Security
QoS Specification for Cyber-Physical Systems
The Application of Caching Technology in Food-Safety Tracing System
Design and Research of Virtual Instrument Development Board
A Courseware Developing Model Based on Knowledge Modeling
Abnormal Structure in Regular Data Revealed by Isomap with Natural Nearest Neighbor
Cycle Accurate Power and Performance Simulator for Design Space Exploration on a Many-Core Platform
Research on Improving the Quality of the Normal Students by Asking the Effective Questions with Multimedia Technology in Chemistry Classroom
Reform of Basic Computer Education and Cultivation of Innovation Talent in Higher Education
Research on Embedding Compressed Watermarking Based on Chaotic and Wavelet Algorithm
Study of Quantitative Evaluation of the Effect of Prestack Noise Attenuation on Angle Gather
Engineering-Oriented Electric Machinery and Electric Drives Curriculum Teaching Reform and Exploration Based on Scientific Teaching Materials
Cooperative Packet Transferring in MANET
Cable Length Measurement Systems Based on Time Domain Reflectometry
Multiple Frequency Detection System Design
Teaching System Modeling Based on Topic Maps
Research and Simulation on Grid Resources Location
An Approach for Engineering Graphics Education Reform in Modern Information Technology
Research on the Development and Utilization of National Information Resources Based on Marginal Theory and Goal Programming Method - Taking the National Information Resources of Chinese as Example
Research on Teaching Reform Contents and Methods of SCM Curriculum in Zhejiang Shuren University
Critical Condition for Parametric Resonance of Axially Mass-Loaded String
The Application of Switched Reluctance Motor in Electric Screw Press
Further Exploration of Mathematical English Curriculum Reform in Multimedia Environment in Normal Colleges and Universities
A Study of the Background of "Studying-Training Integration" Sports Talents Cultivation Mode in the New Information Era
A Context-Aware Method for Service Composition in Pervasive Computing Environments
The English Teaching Model of Cooperative Learning in the Network Environment in Higher Vocational Education
Research in Synchronization Optimization of the Distributed Heterogeneous Database Data
The Research of Flame Combustion Diagnosis System Based on Digital Image Processing
Combination of Studying with Research and Production, Pushing the Training of Talents of Surveying Engineering Major
Research on the Teaching Reform of Supply Chain Management Course in Network Environment
Sharing Computation Resources in Image and Speech Recognition for Embedded Systems
Research on Chinese People's Physical Education under the Concept of Quality Education
The Clustering Algorithm Based on the Most Similar Relation Diagram
Research on Knowledge Management with Innovation Performance Based on Information Technology-Organizational Culture Perspective
Digital-to-Analog Converters: A Case Study
Design and Implementation of Collection Module in Onboard DVR System Based on FPGA
The Implementation of NPKI System Based LDAP
A Personalized E-Commerce Recommendation Method Based on Case-Based Reasoning
The Determinants and Impact of Customer Base in Modern Information Age: A Competence-Based Approach
Research on the Student-Centered Way of Teaching English Based on Web Resources
The Analysis and Optimization of KNN Algorithm Space-Time Efficiency for Chinese Text Categorization
The Law and Economic Perspective of Protecting the Ecological Environment
A Measurement Method of Software Flexibility Based on SOCP
A Note on Chebyshev-Halley Method with Data Analysis
The Design of Supermarket Electronic Shopping Guide System Based on ZigBee Communication
The Study of Print Quality Evaluation System Using the Back Propagation Neural Network with Applications to Sheet-Fed Offset
Construction of "Guided-Learning" and Reformation on Practice Education of "Agricultural Plant Pathology" Based on Data Statistics
Design and Implement of Reconfigurable Mobile Internet User Behaviour Analysis System
Case Based Linear Algebra Visual Teaching Based on Data Analysis
Innovational Research on College Graduate Employment Management Based on Information Technology
The Study on Key Technology of Mongolian Full-Text Retrieval
Research on the Sleep of High School Teachers in Network Environment
Research of Conflicts Management in College BBS Network Community
Research on Teacher Training Curriculum Mode Innovation Based on Web
Research-Oriented Teaching Mode and the Reform in Education of Marxism Principles in Modern Information Environment
Numerical Simulation for Optimal Harvesting Strategies of Fish Stock in Fluctuating Environment
Research on Fuzzy Linguistic Evaluation in e-Learning Using AHP and TOPSIS Based on Web Resources
Design of Ship Main Engine Speed Controller Based on Expert Active Disturbance Rejection Technique
Study on the Teaching Methods of Theory and Practice in Communications Principles Course Based on Teaching Materials
An Empirical Study on English Elective Courses in Institutions of Higher Education Based on Web Resources
Computational Classification of Cloud Forests in Thailand Using Statistical Behaviors of Weather Data
Construction of Library Management Information System
Research of Product Design Based and Core Value on User Based on Information Technology
Responses of the Non-structural Carbohydrates in Fargesia nitida to Elevation in Wolong Nature Reserve
The Features of a Sort of Five-Variant Wavelet Packet Bases in Sobolev Space
Double Integral Adaptive Synchronization of the Lorenz Chaotic Systems with Unknown Parameters
Power Source Selection Problems for Electric Vehicles
Perception of Technology Introduction in Blended Learning
The Traits of Dual Multiple Ternary Fuzzy Frames of Translates with Ternary Scaling Functions
Software Piracy: A Hard Nut to Crack - A Problem of Information Security
The Simulation of Applying Wavelet Transform to Identify Transformer Inrush Current
The Construction and Implement of "Academic Seminar" Course for Graduate Students with Information Technology
An Adaptive Particle Swarm Optimization for the Coverage of Wireless Sensor Network
The Process Design and System Implementation of Applying RFID in Allocation and Picking Up Process Support System-the Use Case of a Medical Center
Thoughts on the Reform of Current Higher Vocational Education Curriculum Designing Based on Web
The Biorthogonality Quality of the Multivariate Multiwavelet Packages with Multi-scale Factor
Improvements Based on Reliability Analysis in Evaluation of Teaching Quality with Modern Information Technology
A Study on the Relativity of Foreignization and Domestication in Translation Based on Data Comparison
An Improved Sub-Pixel Location Method for Image Measurement
Web-Based E-learning Behaviors of College Students Study
By Using Medical Imaging of Radiographic Simulation System for Radiologic Education Program - The Example of Skeleton System
The Characteristics of Multiscaled Biorthogonal Binary Wavelet Wraps with Short Support and Applications in Computer Science
The Origin and Development of Library
Research on Backstepping Nussbaum Gain Control of Missile Overload System
The Analysis of the Color Language about Liang Ping's Door-God Pictures with Information Technology
Research on the City Emergency Logistics Scheduling Decision Based on Cloud Theory-Based Genetic Algorithm
Method Research of Using Jargon to Describe User's Needs