yusuke1997/dblp-id-title huggingface dataset:
An Evaluation of Auto-Scoping in OpenMP
Supporting Realistic OpenMP Applications on a Commodity Cluster of Workstations
Efficient Implementation of OpenMP for Clusters with Implicit Data Distribution
The Omni OpenMP Compiler on the Distributed Shared Memory of Cenju-4
Busy-Wait Barrier Synchronization Using Distributed Counters with Local Sensor
The Application of POSIX Threads and OpenMP to the U.S. NRC Neutron Kinetics Code PARCS
OpenMP Application Tuning Using Hardware Performance Counters
Parallelization of General Matrix Multiply Routines Using OpenMP
An Integrated Performance Visualizer for MPI/OpenMP Programs
Experiences Using OpenMP Based on Compiler Directed Software DSM on a PC Cluster
Performance and Scalability of OpenMP Programs on the Sun Fire TM E25K Throughput Computing Server
OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings
CableS : Thread Control and Memory System Extensions for Shared Virtual Memory Clusters
Debugging OpenMP Programs Using Event Manipulation
Automatic Scoping of Variables in Parallel Regions of an OpenMP Program
Structure and Algorithm for Implementing OpenMP Workshares
OpenMP Support in the Intel ® Thread Checker
A Runtime Optimization System for OpenMP
SPEComp: A New Benchmark Suite for Measuring Parallel Computer Performance
An Evaluation of MPI and OpenMP Paradigms for Multi-Dimensional Data Remapping
A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs
OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003, Proceedings
Defining and Supporting Pipelined Executions in OpenMP
Evaluation of OpenMP for the Cyclops Multithreaded Architecture
The ParaWise Expert Assistant - Widening Accessibility to Efficient and Scalable Tool Generated OpenMP Code
A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives
A Practical OpenMP Compiler for System on Chips
Performance Oriented Programming for NUMA Architectures
Extended Overhead Analysis for OpenMP Performance Tuning
What Multilevel Parallel Programs Do When You Are Not Watching: A Performance Analysis Case Study Comparing MPI/OpenMP, MLP, and Nested OpenMP
Database Workload Modeling
Database Machine Performance: Modeling Methodologies and Evaluation Strategies
A Procedural Strategy for Database Machine Analysis
VERSO: A Relational Backend Database Machine
Analysis of Filtering Efficiency in the Database Machine VERSO
RDBM: A Dedicated Multiprocessor System for Database Management
Advanced Database Machine Architecture
Architecture and Operation of a Large, Full-Text Information-Retrieval System
A Data-Stream Database Machine with Large Capacity
The Implementation of a Multibackend Database System (MDBS): Part I - An Exercise in Database Software Engineering
The Architectur of a Relational Database Computer Known as DBMAC
Design and Analysis of Join Operations of Data Base Machines
The Implementation of a Multibackend Database System (MDBS): Part II - The Design of a Prototype MDBS
Design Considerations for an Information Query Computer
A Technique for Analyzing Query Execution in a Multiprocessor Database Machine
A Performance Study on Host-Backend Communication
Performance Modeling of the DBMAC Architecture
An Assessment of the Query-Processing Capability of DBMAC
Database Machine Design and Performance Evaluation: Annotated Bibliography
SABRE: A Relational Database System for a Multimicroprocessor Machine
Evaluation Criteria and Performance Indexes
Modeling and Measuring Methodologies
Memory Usage Optimizations for Online Event Analysis
Tackling Exascale Software Challenges in Molecular Dynamics Simulations with GROMACS
The Architecture of Vistle, a Scalable Distributed Visualization System
On the trade-offs between energy to solution and runtime for real-world CFD test-cases
Nek5000 with OpenACC
Weighted Decomposition in High-Performance Lattice-Boltzmann Simulations: Are Some Lattice Sites More Equal than Others?
Extreme-scaling applications en route to exascale
Towards Exascale Co-design in a Runtime System
Performance Analysis of Irregular Collective Communication with the Crystal Router Algorithm
Proceedings of the Exascale Applications and Software Conference 2016, Stockholm, Sweden, April 26-29, 2016
Parallel performance of h-type Adaptive Mesh Refinement for Nek5000
On the Strong Scaling of the Spectral Element Solver Nek5000 on Petascale Systems
Auto-tuning an OpenACC Accelerated Version of Nek5000
Solving Software Challenges for Exascale - International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Performance Analysis of a Reduced Data Movement Algorithm for Neutron Cross Section Data in Monte Carlo Simulations
On rounding error resilience, maximal attainable accuracy and parallel performance of the pipelined Conjugate Gradients method for large-scale linear systems in PETSc
Towards Detailed Exascale Application Analysis - Selective Monitoring and Visualisation
Overcoming Asynchrony: An Analysis of the Effects of Asynchronous Noise on Nearest Neighbor Synchronizations
ASAGI: A Parallel Server for Adaptive Geoinformation
Type invariants for Haskell
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010
The recursive polarized dual calculus
Observational equality, now!
Towards formal verification of TLS network packet processing written in C
Formalizing a correctness property of a type-directed partial evaluator
Pragmatic equivalence and safety checking in Cryptol
Resource typing in Guru
Modular type-safety proofs in Agda
Substructural typestates
A static cost analysis for a higher-order language
Refinement types and computational duality
Verifying stateful programs with substructural state and hoare types
Robust, generic, modularly-verified map: a software verification challenge problem
Linear maps
A coinductive monad for prop-bounded recursion
Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013
Idris: general purpose programming with dependent types
Automated analysis of rule-based access control policies
Programming languages for high-assurance autonomous vehicles: extended abstract
Embedding a logical theory of constructions in Agda
Singleton types here, singleton types there, singleton types everywhere
Formal network packet processing with minimal fuss: invertible syntax descriptions at work
Reasoning about digital artifacts with ACL2
Compiling contextual objects: bringing higher-order abstract syntax to programmers
The swiss coercion
Positively dependent types
Verified programming in Guru
Challenge benchmarks for verification of real-time programs
Equational reasoning about programs with general recursion and call-by-value semantics
Free theorems for functional logic programs
Operating system development with ATS: work in progress
Reflexive toolbox for regular expression matching: verification of functional programs in Coq+Ssreflect
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011
Pattern matching coverage checking with dependent types using set approximations
Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14
Compositional reasoning and decidable checking for dependent contract types
Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007
The VerCors project: setting up basecamp
Refined typechecking with Stardust
Challenge proposal: verification of refactorings
Jessie: an intermediate language for Java and C verification
A hoare calculus for the verification of synchronous languages
IDRIS ---: systems programming meets full dependent types
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009
Arity-generic datatype-generic programming
Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006
Temporal logic with "Until", functional reactive programming with processes, and concrete process categories
Verification challenges of pervasive information flow
Dependent interoperability
Local actions for a curry-style operational semantics
Implementing reliable Linux device drivers in ATS
Verified programs with binders
Modular reasoning about invariants over shared state with interposed data members
Compound monads in specification languages
Language-agnostic specification and verification: invited talk
Flexible in-lined reference monitor certification: challenges and future directions
Causality for free!: parametricity implies causality for functional reactive programs
An abstract categorical semantics for functional reactive programming with processes
Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012
Runtime Checking of UML Association-Related Constraints
Efficient Classloading Strategies for Interprocedural Analyses in the Presence of Dynamic Classloading
Data Structure Health
Extending Dynamic Constraint Detection with Polymorphic Analysis
Fifth International Workshop on Dynamic Analysis, WODA@ICSE 2007, Minneapolis, MN, USA, 20-26 May, 2007
Industrial Evaluation of a Log File Analysis Methodology
Identifying Data Transfer Objects in EJB Applications
Adaptive Planning on the Web: Using LLMs and Affordances for Web Agents
Semantic Representation of Igbo Text Using Knowledge Graph
Standards Conformance Metrics for Geospatial Linked Data
Uniform Textual Feedback Analysis for Effective Sentiment Analysis
Towards Knowledge Graphs Validation Through Weighted Knowledge Sources
From Ontology to Knowledge Graph Trend: Ontology as Foundation Layer for Knowledge Graph
SFARDE: A Knowledge-Centric Semantic Strategic Framework for Heritage Artifact Recommendation Integrating Generative AI and Differential Enrichment of Ontologies
Automatic Semantic Typing of Pet E-commerce Products Using Crowdsourced Reviews: An Experimental Study
Relation Classification: How Well Do Neural Network Approaches Work?
Proceedings of the Fourth International Workshop on Multilingual Semantic Web (MSW 2024) co-located with 6th Knowledge Graph and Semantic Web (KGSWC 2024), Paris, France December 11-13, 2024
FarmerLikeMe: A Framework for Goal and Risk-Aware Agricultural Decision Support
JRHDLSI: An Approach Towards Job Recommendation Hybridizing Deep Learning and Semantic Intelligence
Edge-Labelled Graphs and Property Graphs - To the User, More Similar Than Different
On Contrasting YAGO with GPT-J: An Experiment for Person-Related Attributes
Reconstructing the Temporal Evolution of Geographic Entities from Fragmentary Knowledge
SCIVO: Skills to Career with Interests and Values Ontology
YOKO ONtO: You only KNIT One Ontology
Manufacturing Commonsense Knowledge
LELDR: Learning Encompassed Strategic Framework for Legal Document Recommendation Incorporating Semantics
Knowledge Graphs and Semantic Web - 6th International Conference, KGSWC 2024, Paris, France, December 11-13, 2024, Proceedings
A comparative study on representation formalism adoption for Semantic Knowledge Retrieval in Agriculture using Open Research Knowledge Graph
Knowledge Graphs and Semantic Web - 4th Iberoamerican Conference and third Indo-American Conference, KGSWC 2022, Madrid, Spain, November 21-23, 2022, Proceedings
Framework for Author Name Disambiguation in Scientific Papers Using an Ontological Approach and Deep Learning
Knowledge Graphs and Semantic Web - Third Iberoamerican Conference and Second Indo-American Conference, KGSWC 2021, Kingsville, Texas, USA, November 22-24, 2021, Proceedings
Foreign Exchange Rates Prediction For Time-series Data Using Advanced Q-sensing Model
Methodology for Creating a Community Corpus Using a Wikibase Knowledge Graph
Towards the Semantic Enrichment of Existing Online 3D Building Geometry to Publish Linked Building Data
A Domain Ontology for Task Instructions
A Machine-Learning Based Text Classification And Machine Translator For Selected Under-Resourced Languages
Dialect Translation of English Language to Telangana
Should I Stay or Should I Go - A New Reasoner for Description Logic
A Survey on Knowledge Graph-Based Methods for Automated Driving
Enhancing Knowledge Graph Construction: Evaluating with Emphasis on Hallucination, Omission, and Graph Similarity Metrics
Automated Large Geographic Ontologies Generation Method from Spatial Databases
ITAQ: Image Tag Recommendation Framework for Aquatic Species Integrating Semantic Intelligence via Knowledge Graphs
Towards an Ontological Approach to Business Continuity Assessment
A Spatiotemporal Knowledge Bank from Rape News Articles for Decision Support
EmbER: A Neuro-Symbolic Method for Entity Comparison and Ranking in Text-Rich Knowledge Graphs
Creating Annotations for Web Ontology Language Ontology Generated from Relational Databases
CNN-LSTM Based Stress Recognition Using Wearables
OWL2Vec4OA: Tailoring Knowledge Graph Embeddings for Ontology Alignment
Multilingual Short Text Analysis of Twitter Using Random Forest Approach
Defeasible Reasoning with Knowledge Graphs
Dimensions Affecting Representation Styles in Ontologies
Convolutional Neural Networks Applied to Emotion Analysis in Texts: Experimentation from the Mexican Context
Generation of Interactive Knowledge Graphs to Enable Research of the Effects of Trauma Center Organization on Patient Outcomes
A Semi-automatic Approach for Validating Ontology Alignments Based on LLMs and KGs
An Ontological Model for the Failure Detection in Power Electric Systems
DBkWik++- Multi Source Matching of Knowledge Graphs
OntoSeer - A Recommendation System to Improve the Quality of Ontologies
Disjointness Violations in Wikidata
An Enhanced Meta-model to Generate Web Forms for Ontology Population
Proficient Annotation Recommendation in a Biomedical Content Authoring Environment
Empirical Evaluation of a Cloud-Based Graph Database: the Case of Neptune
Context Specific Refinement of Protein Interaction Network for Knowledge Graph Completion
A Method for Automatically Generating Schema Diagrams for OWL Ontologies
Automatic Text Summarization Using Transformers
A Proposed Ontology Evaluation Tool to Assist Ontology Engineers in Selecting Ontologies During the Reuse Phase
Analyzing Aggregated Knowledge Graphs on a Global Level for Better Data Literacy: Case LetterSampo Finland
Knowledge Graphs and Semantic Web - 7th International Conference, KGSWC 2025, Leipzig, Germany, November 26-28, 2025, Proceedings
Comparison of Metadata Representation Models for Knowledge Graph Embeddings
Beyond Equivalence: Benchmark Datasets for Ontology Alignment
An Intelligent Article Knowledge Graph Formation Framework Using BM25 Probabilistic Retrieval Model
Flexible Queries over Knowledge Graphs
Knowledge Graphs and Semantic Web - 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings
A Topic Model for the Data Web
Joint Proceedings of the Second International Workshop on Multilingual Semantic Web and Second International Workshop on Deep Learning for Question Answering and First International Workshop on Semantic Reasoning and Representation in IoT, co-located with 4th Knowledge Graph and Semantic Web (KGSWC 2022), Madrid, Spain November 21-23, 2022
CoKGLM: Detecting Hallucinations Generated by Large Language Models via Knowledge Graph Verification
Multihop-Multilingual Co-attention Method for Visual Question Answering
An Ontology-Based Source Selection for Federated Query Processing: a Case Study
Ontology-Based Models of Chatbots for Populating Knowledge Graphs
Knowledge Graph Prediction using Negative Statements: an Approach Based on Entity-nearest Neighbor Count Algorithm
Property Assertion Constraints for an Informed, Error-Preventing Expansion of Knowledge Graphs
Conformance Test Cases for the RDF Mapping Language (RML)
A General Process for the Semantic Annotation and Enrichment of Electronic Program Guides
Expressive Context Modeling with Description Logics
Meta-Modelling Ontology Design Pattern
Soft Computational Techniques to Discover Unique and Precise Knowledge from Big Data
How Ontology Can Improve Explainable AI Techniques: A Review of Existing Approaches and a Proposed Roadmap in the Information Extraction Area
Visualization of a Domain Knowledge (A Case Study of Crops Ontology)
Enriching RDF Data with LLM Based Named Entity Recognition and Linking on Embedded Natural Language Annotations
Topic Modeling for Skill Extraction from Job Postings
Using Legislative Change History of Statutes Based on a Linked Open Data Knowledge Graph
A Machine Learning Method for Recognizing Invasive Content in Memes
Virtual Properties for Ontologies and Knowledge Graphs
Using Domain Ontologies for Text Classification. A Use Case to Classify Computer Science Papers
Using Pregel to Create Knowledge Graphs Subsets Described by Non-recursive Shape Expressions
Design and Analysis of NICS Based Web Attack Detection for Advanced Intrusion Detection System
Knowledge Graphs and Semantic Web - Second Iberoamerican Conference and First Indo-American Conference, KGSWC 2020, Mérida, Mexico, November 26-27, 2020, Proceedings
Characterizing the Diffusion of Knowledge in an Academic Community Through the Integration of Heterogeneous Data Sources and Graphs
Curating Tabular Datasets using Knowledge Graphs
OntoKnowNHS: Ontology Driven Knowledge Centric Novel Hybridised Semantic Scheme for Image Recommendation Using Knowledge Graph
Physicians' Brain Digital Twin: Holistic Clinical & Biomedical Knowledge Graphs for Patient Safety and Value-Based Care to Prevent the Post-pandemic Healthcare Ecosystem Crisis
A System for Traffic Events Detection Using Fuzzy C-Means
DLIME-Graphs: A DLIME Extension Based on Triple Embedding for Graphs
Ontop-Driven Federated Virtual Knowledge Graphs: A Robust Framework to Revolutionizing Fragmented Battery Data Integration
Privacy Preservation of Biometrics Used for IoT Systems Security: Brief Review
Leveraging Graph Models for Comprehensive Visual Analytics of Equine Heritage
TEDME-KG Metrics Framework: A Metrics Framework for TEmporal Data Modelling Evaluation in Knowledge Graphs
Does Wikidata Support Analogical Reasoning?
Descriptive Answer Evaluation using NLP Processes Integrated with Strategically Constructed Semantic Skill Ontologies
An Ontology-Based Framework for Climate Sensor Data
Knowledge Graphs in the Real-World: Noisy Data and Embedding-Based Entity Alignment Algorithms
Towards a Framework for Seismic Data
Malware Detection Using Machine Learning
Author-Topic Classification Based on Semantic Knowledge
A Description Logic for Unifying Different Points of View
An Intelligent Multilingual Farm Advisory System for Controlling Hazardous Effects of Pesticides on Human Health
Addressing Regional Variation in Pidgin for Web Semantics
A Semantic AI Conceptual Prototype for the Semantic Cancer Knowledge Framework (SCKF)
Understanding Patient Activity Patterns in Smart Homes with Process Mining
Wikipedia Knowledge Graph for Explainable AI
Easy and Complex: New Perspectives for Metadata Modeling Using RDF-Star and Named Graphs
Towards Development of Knowledge Graph for Narrative Information in Medicine
Knowledge Graphs and Semantic Web - First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings
InDO: the Institute Demographic Ontology
Semantic Models and Machine Learning Approach in CPS : a Survey
ConfermentSampo - A Knowledge Graph, Data Service, and Semantic Portal for Intangible Academic Cultural Heritage 1643-2023 in Finland
A Review on Multilingual Food Recommendation Systems for Critical Medical Conditions In Pregnancy Care
An Ontology for Reasoning About Fairness in Regression and Machine Learning
Bridging Upper Ontology and Modular Ontology Modeling: a Tool and Evaluation
Efficient Visual Sentiment Prediction Approaches Using Deep Learning Models
A User-Centered Neuro-Symbolic Approach for Knowledge Graph Creation from Text
IPR: Integrative Policy Recommendation Framework Based on Hybrid Semantics
Views, Semantic Data Catalog and Role-Based Access Control for Ontologies and Knowledge Graphs
Making Neural Networks FAIR
Research Directions for Ontology-Guided Domain-Specific Knowledge Graph Population Using LLMs
Automatic Resume Parsing using Greywolf Algorithm Integrated with Strategically Constructed Semantic Skill Ontologies
Accelerating Medical Knowledge Discovery Through Automated Knowledge Graph Generation and Enrichment
Quality Assessment of Library Linked Data: a Case Study
Metadata Driven Semantically Aware Medical Query Expansion
Knowledge Graphs for Community Detection in Textual Data
Enhancing Question Answering Systems with Generative AI: A Study of LLM Performance and Error Analysis
Construction and Canonicalization of Economic Knowledge Graphs with LLMs
Recommendation of Learning Paths Based on Open Educational Resources
Learning to Automatically Generating Genre-Specific Song Lyrics: A Comparative Study
Popularity Driven Data Integration
Author Name Disambiguation in LAGOS-AND Using a Hybrid Approach
A Model for Language Annotations on the Web
Automating the Generation of Competency Questions for Ontologies with AgOCQs
String Matching Based Framework for Online Hindi Question Answering System
Knowledge Graph Supported Machine Parameterization for the Injection Moulding Industry
Joint Proceedings of the Second International Workshop on Semantic Reasoning and Representation in IoT and Third International Workshop on Multilingual Semantic Web (SWIoT+MSW 2023), co-located with 5th Knowledge Graph and Semantic Web (KGSWC 2023), University of Zaragoza, Zaragoza, Spain, November 13-15, 2023
Knowledge Extraction of Union Catalogue using Semantic And Ontology
Fake News Detection Using Deep Learning
On the Representation of Dynamic BPMN Process Executions in Knowledge Graphs
Digital Repositories and Linked Data: Lessons Learned and Challenges
Towards a Multi-Viewpoints Ontological Model for Knowledge Sharing in E-health
Exploring Sequence-to-Sequence Models for SPARQL Pattern Composition
Unlocking the Power of Semantic Interoperability in Industry 4.0: A Comprehensive Overview
AutOnto: Towards A Semi-Automated Ontology Engineering Methodology
Towards Complex Ontology Alignment Using Large Language Models
Contextual Reinforcement Learning for Enhanced Machine Translation using Transformers
Description of Open Data Sets as Semantic Knowledge Graphs to Contribute to Actions Related to the 2030 Agenda and the Sustainable Development Goals
DKMI: Diversification of Web Image Search Using Knowledge Centric Machine Intelligence
A Bottom-Up Framework for Legal Knowledge Graph Construction: A Case Study on Gender-Based Violence
Extraction of RDF Statements from Text
VTKHI: Video Tagging Framework Using Knowledge-Driven Hybrid Intelligence and Quantitative Semantics Driven Reasoning
Enhancing WebProtégé with Version Control Systems
Bridging Property Graphs and Knowledge Graphs: A Category Theory Approach to Interoperable Graph Transformation
Design of an Ontology-Driven Constraint Tester (ODCT) and Application to SAREF and Smart Energy Appliances
Visual Presentation and Summarization of Linked Data Schemas
KnowWhereGraph-Lite: A Perspective of the KnowWhereGraph
Fabula: Hybridized Weightage Based Book Recommendation System
Ontological modeling of ERP for Industry 4.0
OceanGraph: Some Initial Steps Toward a Oceanographic Knowledge Graph
ISCR - Integrative Intelligent Semantically Driven Scheme for Online Course Recommendation
An Enterprise Architecture for Interpersonal Activity Knowledge Management
The Importance of Semantic Interoperability in The Internet of Things (IOT)