yusuke1997/dblp-id-title huggingface dataset:
Pompei Knowledge Factory Cultural Heritage and ICT for a smart city
Beyond the Screen: Moving images in physical spaces
Teaching elementary school students new method of music performance with Leap Motion
Simulation and serious games in emergency management: Experiences from two case studies
H VEN LC3 a flexible platform for consulting museum and institution archives Le Corbusier's project (1960s) for the Venice Hospital
Embedding Image Watermarks into Local Linear Singularity Coefficients in Ridgelet Domain
Virtually physical presentation of data layers for spatiotemporal urban data visualization
Database, Communication and Creation - A Research on Cultural Heritage-Based Educational Models
Real//virtual//real, or, aibohphobia (The Phobia of Palindromes)
The EPOCH Multimodal Interface for Interacting with Digital Heritage Artefacts
Aligning 3D Polygonal Models with Improved PCA
Multi-image morphing: Summarizing visual information from similar ancient coin image regions
Between documentation and sample: Creating a digital cultural heritage archive of gravesites, tombs and tombstones
In the mirror of the wonder of Luca Giordano: Multisensory experience itinerary with impact assessment at Palazzo Medici Riccardi (Florence, Italy)
IPML: Extending SMIL for Distributed Multimedia Presentations
3D maxillofacial model creation for computer-guided treatments in oral rehabilitation
Crystal Vibes feat. Ott: A psychedelic musical virtual reality experience utilising the full-body vibrotactile haptic synesthesia suit
Moving beyond the virtual museum: Engaging visitors emotionally
Note-Taking Support for Nurses Using Digital Pen Character Recognition System
MAAP Annotate: When archaeology meets augmented reality for annotation of megalithic art
Extended panorama tracking algorithm for augmenting virtual 3D objects in outdoor environments
Training nurses and educating the public using a virtual operating room with Oculus Rift
CG Restoration of a Historical Noh Stage and Its Use for Edutainment
A Virtual Museum for Flemish artworks. A digital reconstruction of Genoese collections
Augmented reality for ndimensional building information modelling : Contextualization, Customization and Curation
Object-Based Image Recoloring Using Alpha Matte and Color Histogram Specification
Multi-view 3D reconstruction of small stone samples deteriorated by Marine organisms
A Crowd Evacuation System in Emergency Situation Based on Dynamics Model
Developing a narrative experience in a post-media environment
Burning Too: An ultra HD multi-projector media Façade system
Immersive storytelling in mixed reality environments
Market potential for a location based and augmented reality system for utilities management
Information hiding using whitespace technique in Microsoft word
Natural interaction in VR environments for Cultural Heritage and its impact inside museums: The Etruscanning project
18th International Conference on Virtual Systems and Multimedia, VSMM 2012, Milan, Italy, September 2-5, 2012
Knowledge Based Lacunas Detection and Segmentation for Ancient Paintings
Virtual environments design assessment for the treatment of claustrophobia
Sequence & access, storytelling & archive in mobile augmented reality
Interactive Past: From 3D reconstruction to Augmented and Virtual Reality applied to archaeological heritage. The medieval site of Bastia St. Michele (Cavaion Veronese, Verona, Italy)
Exploring object representations: Virtual reality models for environmental planning projects
Intuitive interaction for exploring human anatomy in a VR setup
STL systems and colour for the reproduction of cultural artefacts
Data Distribution Algebras - A Formal Basis for Programming Using Skeletons
Methodological Aspects of Action Refinement
Compositionality in the Inductive Assertion Method for Concurrent Systems
Parametric Action Refinement
A combination of interval logic and linear temporal logic
Relating linear and branching model checking
A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs
Imperative objects and mobile processes
Teaching calculational logic
Toward a theory of sequential hybrid programs
Decomposable Functions and Leaf Trees: A Systematic Approach
Programming with tabling in XSB
Verifying duration properties of timed transition systems
Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994
Studying Synchronous Communication Mechanisms by Abstractions
Extended static checking
Semantics of Exceptions
Some Very Compositional Temporal Properties
Decomposing Specifications of Concurrent Systems
Verifying electronic control unit: today and tomorrow
Test selection for object-oriented software based on formal specifications
Using state space exploration and a natural deduction style message derivation engine to verify security protocols
Logical foundations for typed object-oriented languages
A Process Algebraic Semantics for Statecharts via State Refinement
Towards squiggly refinement algebra
Reactive functional programming
A model of real-time distributed systems
Types for trees
An Event Structure Semantics for Safe Graph Grammars
Refinement types for specification
An algebraic approach to the specification of stochastic systems
Progress for Local Variables in UNITY
Action Systems with Synchronous Communication
Ideal Streams
Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting
Comparing CTL and PCTL on labeled Markov chains
Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
Modelling Concurrent Accesses to Shared Data via Petri Nets
Bisimulation in Higher-Order Process Calculi
Deadlines are termination
Bisimulations in the join-calculus
Literate and Structured Presentation of Formal Proofs
Reasoning about Complexity of Object-Oriented Programs
Axiomatising ST-Bisimulation Equivalence
Plotkin, Hoare and Smyth Order: On Observational Models for CSP
Automatic, Self-adaptive Control and Unfold Transformations
The design of a linearization of a concurrent data object
An extension of the program derivation format
Occam: Specification and Compiler Correctness - Part I: The Primary Model
From lattices to practical formal hardware verification
Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams
A proof theory of asynchronously communicating sequential processes
Programming language semantics in foundational type theory
Higher-Order Subtyping
Predicate Transformer Semantics of an Oberon-Like Language
Final semantics for the pi-calculus
Verifying a self-stabilizing mutual exclusion algorithm
Structures for lazy semantics
A General Conservative Extension Theorem in Process Algebra
Weaving Atomicity Through Dynamic Dependence Tracking
A Self-Stabilizing Algorithm for Constructing (1, 1)-Maximal Directed Acyclic Graph
An Approach for On-line Performance Certification
Considerations on Distributed Load Balancing for Fully Heterogeneous Machines: Two Particular Cases
A neocortex model implementation on reconfigurable logic with streaming memory
Heterogeneous Memory Pool Tuning
Automatically Inserting Synchronization Statements in Divide-and-Conquer Programs
A Recursive Approach to Representation in Hilbert Spaces of Increasing Dimension: Applications to Quantum-centric HPC tool development
A Formal Model of Software Pipelining Loops with Conditions
SUPER: SUb-Graph Parallelism for TransformERs
Scaling of Union of Intersections for Inference of Granger Causal Networks from Observational Data
Clusters: Challenges and Opportunities
Software monitoring with bounded overhead
ParLearning Introduction and Committees
Self-optimizing distributed trees
Cloud Services Gateway: A Tool for Exposing Private Services to the Public Cloud with Fine-grained Control
SEL-TM: Selective Eager-Lazy Management for Improved Concurrency in Transactional Memory
Scibox: Online Sharing of Scientific Data via the Cloud
Deadlock-Free Fault-tolerant Routing in the Multi-dimensional Crossbar Network and Its Implementation for the Hitachi SR2201
Fast Abort-Freedom for Deterministic Transactions
A Library Environment for Distributed-Memory Multiprocessors
Multidimensional information retrieval in peer-to-peer networks
Dynamic Mapping in a Heterogeneous Environment with Tasks Having Priorities and Multiple Deadlines
A Scenario-Based Protocol Checker for Public-Key Authentication Scheme
Low-Depth Spatial Tree Algorithms
Hierarchical tiling for improved superscalar performance
In-Situ Auto-Regressive Surrogate Modeling for Feature Extraction Using Ascent
Reliability Calculation of P2P Streaming Systems with Bottleneck Links
Program Composition in Isabelle/UNITY
A Compiler Back-End for Reconfigurable, Mixed-ISA Processors with Clustered Register Files
Distributed-Memory Sparse Kernels for Machine Learning
Placement-Oriented Modeling of Partially Reconfigurable Architectures
An Energy-Efficient Kernel Framework for Large-Scale Data Modeling and Classification
TASER: Temporal Adaptive Sampling for Fast and Accurate Dynamic Graph Representation Learning
Optimal Aspect Ratio and Number of Separable Row/Column Buses for Mesh-Connected Parallel Computers
An efficient association mining implementation on clusters of SMP
The Sixteenth International Workshop on Parallel and Distributed Real-Time Systems WPDRTS 2008
Geometric Data Structures on a Reconfigurable Mesh, with Applications
Respin: Rethinking Near-Threshold Multiprocessor Design with Non-volatile Memory
High Level - Application Analysis Techniques & Architectures - To Explore Design possibilities for Reduced Reconfiguration Area Overheads in FPGAs executing Compute Intensive Applications
pFANGS: Parallel high speed sequence mapping for Next Generation 454-roche Sequencing reads
Babel Remote Method Invocation
Architecture and Protocol for Reliable Event Delivery to Clients of a High-Availability Cluster
ESSA 2022 Invited Speaker: The Curious Incident of the Data in the Scientific Workflow
Fast Collective Operations Using Shared and Remote Memory Access Protocols on Clusters
Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA
A Set-Aware Key-Value Store on Shingled Magnetic Recording Drives with Dynamic Band
Business Process Oriented Platform-as-a-Service Framework for Process Instances Intensive Applications
A Grid-enabled Branch and Bound Algorithm for Solving Challenging Combinatorial Optimization Problems
A Novel Specification and Design Methodology of Embedded Multiprocessor Signal Processing Systems Using High-Performance Middleware
Predictive Resource Scheduling in Computational Grids
Understanding Measurement Perturbation in Trace-based Data
Improving Communication Performance and Scalability of Native Applications on Intel Xeon Phi Coprocessor Clusters
VIPLE: Visual IoT/Robotics Programming Language Environment for Computer Science Education
CoAdELL: Adaptivity and Compression for Improving Sparse Matrix-Vector Multiplication on GPUs
PowerSpector: Towards Energy Efficiency with Calling-Context-Aware Profiling
ROME 2018 Keynote
HART: A Concurrent Hash-Assisted Radix Tree for DRAM-PM Hybrid Memory Systems
Fast Measurement of LogP Parameters for Message Passing Platforms
Implementing OpenMP Using Dataflow Execution Model for Data Locality and Efficient Parallel Execution
A Novel Triangular Space-Filling Curve for Cache-Oblivious In-Place Transposition of Square Matrices
Evaluation of Rate-Based Adaptivity in Asynchronous Data Stream Joins
Speculative execution on multi-GPU systems
Predictability and Resource Management in Distributed Multimedia Presentations
Exploring a Layer-based Pre-implemented Flow for Mapping CNN on FPGA
Optical Database Machine Using Spatial Light Rebroadcasters
Partitioning for Complex Objectives
SPI: an instrumentation development environment for parallel/distributed systems
Energy Efficiency Analysis of GPUs
PckGNN: Optimizing Aggregation Operators with Packing Strategies in Graph Neural Networks
Leveraging GPUs in Ab Initio Nuclear Physics Calculations
Integrating Java and Matlab Components into the Same Parallel and Distributed Application Using JavaPorts
A Compiler Method for Memory-Conscious Mapping of Applications on Coarse-Grained Reconfigurable Architectures
Evaluating the Performance of A4SDN on Various Network Topologies
On the performance and cost of some PRAM models on CMP hardware
Performance Modeling and Optimization Framework for Space-Time Adaptive Processing (STAP)
Adopting Parallel Processing for Rapid Generation of Transcripts in Multimedia-rich Online Information Environment
Recovery Schemes for High Availability and High Performance Distributed Real-Time Computing
Novel Broadcast/Multicast Protocols for Dynamic Sensor Networks
On-line detection of large-scale parallel application's structure
Transferring Data from High-Performance Simulations to Extreme Scale Analysis Applications in Real-Time
Towards the balancing real-time computational model: Example of pricing and risk management of exotic derivatives
Analysis of Adaptive Mapping of Parallelized Application on Multicore System
Hierarchical Parallel Dynamic Dependence Analysis for Recursively Task-Parallel Programs
An Adaptive Core-Specific Runtime for Energy Efficiency
Automatic Parallelization of Programs with Tools of Trace Theory
Reducing Vector I/O for Faster GPU Sparse Matrix-Vector Multiplication
Scalable methods for monitoring and detecting behavioral equivalence classes in scientific codes
Storage Optimization for Large-Scale Distributed Stream Processing Systems
A Hardware Acceleration for Surface EMG Non-Negative Matrix Factorization
Leveraging Naturally Distributed Data Redundancy to Reduce Collective I/O Replication Overhead
An Application Analysis Framework For Polymorphic Chip Multiprocessors
HPC System Software for Regular and Irregular Parallel Applications
PReCinCt: A Scheme for Cooperative Caching in Mobile Peer-to-Peer Systems
Advanced Data Layout Optimization for Multimedia Applications
Tight Bounds for Wavelength Assignment on Trees of Rings
Faster matrix-vector multiplication on GeForce 8800GTX
24th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Conference Proceedings
PaPar: A Parallel Data Partitioning Framework for Big Data Applications
A Complex Event Processing Toolkit for Detecting Technical Chart Patterns
On the need for query-centric unstructured peer-to-peer overlays
High Level Synthesis for Programmable Devices: The HADES Project
MTAAP Introduction
Integrating Cyber Security and Data Science for Social Media: A Position Paper
Gen-AI in a Bottle: Experiments with LLMs to Generate HPC Kernels
Tagging with DHARMA, a DHT-based approach for resource mapping through approximation
Measuring Cache Complexity Using Data Movement Distance (DMD)
Load-Balanced Parallel Merge Sort on Distributed Memory Parallel Computers
FPGA implementation of a vehicle detection algorithm using three-dimensional information
Reliability-Conscious Process Scheduling under Performance Constraints in FPGA-Based Embedded Systems
On Using Consistency Consistently in Multiple Sequence Alignments
Towards A Better Understanding of Workload Dynamics on Data-Intensive Clusters and Grids
Approximate and Exact Selection on GPUs
Models and Heuristics for Robust Resource Allocation in Parallel and Distributed Computing Systems
CanarIO: Sounding the Alarm on IO-Related Performance Degradation
Parallelizing the Hamiltonian Computation in DQMC Simulations: Checkerboard Method for Sparse Matrix Exponentials on Multicore and GPU
FlowForecaster: Automatically Inferring Detailed & Interpretable Workflow Scaling Models for Forecasts
High-throughput protein structure determination using grid computing
Performance and Portability in Multi-GPU Branch-and-Bound: Chapel Versus CUDA and HIP for Tree-Based Optimization
Message from the HCW 2024 Technical Program Committee Co-Chairs
Fault-Tolerant Broadcasting in Wormhole-Routed Torus Networks
Controlling P2P Applications via Address Harvesting: The Skype Story
On the Development of Variable Size Batched Computation for Heterogeneous Parallel Architectures
PIPS-SBB: A Parallel Distributed-Memory Branch-and-Bound Algorithm for Stochastic Mixed-Integer Programs
Concurrent adaptive computing in heterogeneous environments (CACHE)
Hardware/Software Vectorization for Closeness Centrality on Multi-/Many-Core Architectures
Power Analysis of HLS-Designed Customized Instruction Set Architectures
A High-Throughput Solver for Marginalized Graph Kernels on GPU
High Performance Data Mining Using R on Heterogeneous Platforms
Heterogeneity-Aware Software Performance Characterization via Graph Machine Learning
Financial modeling on the cell broadband engine
Exploiting the forgiving nature of applications for scalable parallel execution
Performance Analysis of Scientific Computing Workloads on General Purpose TEEs
Reliable Migration Module in Trusted Cloud Based on Security Level - Design and Implementation
Large-scale visual data analysis
Loop Chaining: A Programming Abstraction for Balancing Locality and Parallelism
Efficient parallel algorithms for maximum-density segment problem
Performance evaluation of NSF application benchmarks on parallel systems
Reconfigurable communications for image processing applications
Online strategies for high-performance power-aware thread execution on emerging multiprocessors
Out-of-Core and Pipeline Techniques for Wavefront Algorithms
Custom Built Heterogeneous Multi-core Architectures (CUBEMACH): Breaking the conventions
Secure and Efficient Key Management in Mobile Ad Hoc Networks
A Quantitative Study of the Spatiotemporal I/O Burstiness of HPC Application
A Comparison between the Earth Simulator and AlphaServer Systems Using Predictive Application Performance Models
A Parallel Programming Course Based on an Execution Time-Energy Consumption Optimization Problem
Introduction to HIPS 2019
Java Mirrors: Building Blocks for Remote Interaction
Minimizing routing configuration cost in dynamically reconfigurable FPGAs
Linear Feedback Shift Register Interconnection Networks
Network awareness of P2P live streaming applications
A framework for dynamic 2D placement on FPGAs
A parallel hybrid genetic algorithm-simulated annealing for solving Q3AP on computational grid
QoS-based management of multiple shared resource in dynamic real-time systems
The Development of Parallel Adaptive Sampling Algorithms for Analyzing Biological Networks
A Theoretical Network Model and the Hamming Cube Networks
Time-efficient power-aware scheduling for periodic real-time tasks
Robust data placement in urgent computing environments
Predicting Job Completion Time in Heterogeneous MapReduce Environments
Householder Transformation for the Regularized Least Square Problem on iPSX/860
QR Factorization on a Multicore Node Enhanced with Multiple GPU Accelerators
Modeling and executing master-worker applications in component models
The Heuristic Static Load-Balancing Algorithm Applied to the Community Earth System Model
DGECS: Description Generator for Evolved Circuits Synthesis
Secure and Reliable Decentralized Peer-to-Peer Web Cache
Load balancing in the presence of random node failure and recovery
Using incentives to increase availability in a DHT
Characterization of Impact of Transient Faults and Detection of Data Corruption Errors in Large-Scale N-Body Programs Using Graphics Processing Units
On the representation and multiplication of hypersparse matrices
Run-time reconfiguration of communication in SIMD architectures
A random walk based clustering with local recomputations for mobile ad hoc networks
A New Approach to Pipeline FFT Processor
Improving Network Throughput with Global Communication Reordering
Lower Bounds on Communication Loads and Optimal Placements in Torus Networks
Multiple Instruction Stream Control for an Associative Model of Parallel Computation
WATS: Workload-Aware Task Scheduling in Asymmetric Multi-core Architectures
Virtual area management: Multitasking on dynamically partially reconfigurable devices
Incorporating the NSF/TCPP Curriculum Recommendations in a Liberal Arts Setting
ParSocial 2016 Keynote
Pattern Recognition Tool to Detect Reconfigurable Patterns in MPEG4 Video Processing
Energy Efficient Workflow Job Scheduling for Green Cloud
AsHES 2024 Preface and Committee List
Parallel de novo assembly of large genomes from high-throughput short reads
A Usage Control Based Architecture for Cloud Environments
Class and User Based Parallelsim in Raven
Memory Efficient Edge Addition Designs for Large and Dynamic Social Networks
Transparent I/O-Aware GPU Virtualization for Efficient Resource Consolidation
Enabling and Scaling a Global Shallow-Water Atmospheric Model on Tianhe-2
Executing MPI programs on virtual machines in an Internet sharing system
FractalMRC: Online Cache Miss Rate Curve Prediction on Commodity Systems
A High Performance Algorithm for Incompressible Flows Using Local Solenoidal Functions
Optimal Algorithms for the Vertex Updating Problem of a Minimum Spanning Tree
A New Algorithm for Computing the Smith Normal Form and Its Implementation on Parallel Machines
Development and Application of a Hybrid Programming Environment on an ARM/DSP System for High Performance Computing
Singular value decomposition on GPU using CUDA
Functional Characterization of Sensor Integration in Distributed Sensor Networks
Optimizing XML processing for grid applications using an emulation framework
Multi-phase array redistribution: modeling and evaluation
Efficient resources assignment schemes for clustered multithreaded processors
A Geometrical Coding to Compile Affine Recurrence Equations on Regular Arrays
Looking at data
Ordered index seed algorithm for intensive DNA sequence comparison
Computing in the RAIN: A Reliable Array of Independent Nodes
Building the Tree of Life on Terascale Systems
TEEMO: Temperature Aware Energy Efficient Multi-Retention STT-RAM Cache Architecture
Padico: A Component-Based Software Infrastructure for Grid Computing
IOAgent: Democratizing Trustworthy HPC I/O Performance Diagnosis Capability via LLMs
Towards a sophisticated grid workflow development and computing environment
Gossiping in the Multicasting Communication Environment
New Solution For a (Scaff)Old Problem: an FPGA Approach
Acceleration of Structural Analysis Simulations using CNN-based Auto-Tuning of Solver Tolerance
On the Power of the Multiple Associative Computing (MASC) Model Related to That of Reconfigurable Bus-Based Models
Queue Scheduling and Advance Reservations with COSY
Preemptive Resource Management for Dynamically Arriving Tasks in an Oversubscribed Heterogeneous Computing System
Five Years with the High Productivity Computing Systems Program A Perspective
A cost-effective context memory structure for dynamically reconfigurable processors
PALLAS: A Generic Trace Format for Large HPC Trace Analysis
Improving GridWay with network information: Tuning the monitoring tool
Verification Methods for Weaker Shared Memory Consistency Models
A Novel Method for Adding Multiprocessor Support to a Large and Complex Uniprocessor Kernel
Optimizing Retrieval and Processing of Multi-Dimensional Scientific Datasets
Efficient Privacy-Preserving Convolutional Neural Networks with CKKS-RNS for Encrypted Image Classification
An Investigation into the Application of Different Performance Prediction Techniques to e-Commerce Applications
Configuration Scheduling Using Temporal Locality and Kernel Correlation
Message from the HCW Program Committee Chair
ZHT: A Light-Weight Reliable Persistent Dynamic Scalable Zero-Hop Distributed Hash Table
Adaptive speculation in behavior-oriented parallelization
Evaluation of Connected Component Labeling Algorithms on Shared and Distributed Memory Multiprocessors
Enhanced Parallel Processing in Wide Registers
SiCortex high-productivity, low-power computers
Experiences in Teaching a Specialty Multicore Computing Course
Highly Efficient Alltoall and Alltoallv Communication Algorithms for GPU Systems