yusuke1997/dblp-id-title huggingface dataset:
Scalable Cache Coherence for Large Shared Memory Multiprocessors
Partitioning Programs into Processes
User Interaction and Symbolic Extensions to Dependence Analysis
Self-Organizing Processes
Load Balancing in a Neighbourhood-Based Multiprocessor
Tree machines and divide-and-conquer algorithms
Parallel Implementation of the Convultion Method in Image Reconstruction
TOP 2 Tool Suite for the Development and Testing of Parallel Applications
Numerical Performance of an Asynchronous Jacobi Iteration
P++, a C++ Virtual Shared Grids Based Programming Environment for Architecture-Independent Development of Structured Grid Applications
TAU: A Portable Parallel Program Analysis Environment for pC++
Systolic Algorithms for Long Integer GCD Computation
Finding the maximum, merging and sorting in a parallel computation model
A Switch Cache Design for MIN-Based Shared-Memory Multiprocessors
Parallel Detection Algorithm of Radar Signals
The Rewrite Rule Machine Node Architecture and Its Performance
Block Implementations of the Symmetric QR and Jacobi Algorithms
The Design of a Parallel Algorithm to Solve the Word Problem for the Free Partially Commutative Groups
Parallel Implementation of Logic Languages
SAUGE: How to use the parallelism of sequential programs
Detection of Concurrency-Related Errors in Joyce
An Implementation of the BLAS on the i860: A RISC Approach to Software for RISC Devices
On the Computation of Breeding Values
Experimenting upon the CG Algorithm Within the C_NET Programming Environment
Code Generation for Partially Vectorizable Loops in the Vectorizing Pascal-XT Compiler
Vectorization of the Radix r Self-Sorting FFT
A Graphical Petri Net Based Editor for a Visualization of Distributed and Parallel Systems
A Reconfigurable Interconnection Network for Flexible Pipelining
Tolerating Faults in Synchronization Networks
A Distributed Shared Memory Multiprocessor Kit with Scalable Local Complexity
LISA: A Parallel Processing Architecture
A Petri-Net-Based Method to the Design of Parallel Programs for a Multiprocessor System
MPS - An Experimental Multi-Microprocessor Based Parallel System
3D Multigrid Correction Methods for Transputer Networks
Performance Oriented Development of SPMD Programs Based on Task Structure Specifications
Cellular algorithms and their verification
Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation
Reduction in PEI
Synthesis of Systolic Algorithms and Processor Arrays
KOAN: A Shared Virtual Memory for the iPSC/2 Hypercube
Unimodularity Considered Non-Essential
A Distributed Algorithm for Dynamic Task Scheduling
Language design approaches for parallel processors
Design of a Meta-Parallelizer for Large Scientific Applications
A Framework for Resource-Constrained Rate-Optimal Software Pipelining
Performance Modeling of Sparse Matrix Methods for Distributed Memory Architectures
Interprocess Analysis and Optimization in the Equational Language Compiler
Virtual Systems Architecture on the AMT DAP
Parallel gcd and Lattice Basis Reduction
Supporting Coarse and Fine Grain Parallelism in an Extension of ML
Parallel Physical Optimization Algorithms for Data Mapping
A Radically Non-Von-Neumann-Architecture for Learning and Discovery
Static Scheduling of Parallel Programs for Message Passing Architectures
MUSE: a Message Passing Concurrent Computer for On-Board Space Systems
Computational Models for Image Processing: Towards a Concise Parallel Language
A Parallel Architecture for a VLSI-Hardware-Realization
The TOPSYS Architecture
Automatic Parallelization of Grid-Based Applications for the iPSC/860
Generation of dataflow graphical object code for the Lapse programming language
Partial Marking GC
Cedar Fortran and Its Compiler
Divide and Conquer: A New Parallel Algorithm for the Solution of a Tridiagonal Linear System of Equations
Invariance Properties in Distributed Systems
OCSAMO - A Systolic Array for Matrix Operations
Full Recursive Form of the Algorithms for Fast Generalized Fourier Transforms
Synchronization of Parallel Processes in Distributed Systems
Fraktale und ihre Untersuchung mit Parallelrechnung
Parallel Implementations of Jacobi's Algorithm for the Eigensolution of Large Matrices Using Array Processors
Workloads, Observables, Benchmarks and Instrumentation
SYDAMA II: A Heterogeneous Multiprocessor System for Real Time Image Processing
Sorting Large Data Files on POOMA
Broadcasting in Bus Interconnection Networks
Greedy Permutation Routing on Caylay Graphs
A Fast Distributed Mapping Algorithm
Analysis of an Efficient Distributed Algorithm for Mutual Exclusion (Average-Case Analysis of Path Reversal)
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language
Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise
Parallel Multigrid Algorithms for some Specialized Computer Systems
POOMA, POOL and Parallel Symbolic Computing: An Assessment
Optimizing Communications by Using Compile Time Analysis
A New Approach to Decentralized Control of Job Scheduling
Reducing Symmetric Banded Matrices to Tridiagonal Form - A Comparison of a New Parallel Algorithm with Two Serial Algorithms on the iPSC/860
Binary trees and parallel scheduling algorithms
A Latency Tolerant Code Generation Algorithm for a Coarse Grain Dataflow Machine
On Logic Program Parallelisation Strategies
Future Parallel Computers
Memory Conflicts in MIMD-Computers - A Performance Analysis
Optimal Performances and Scheduling for Parallel Algorithms with Equal Cost Tasks
Partitioning and Mapping for Parallel Nested Dissection on Distributed Memory Architectures
Parallelization of a minimization problem for multiprocessor systems
On Using Object-Oriented Parallel Programming to Build Distributed Algebraic Abstractions
Towards Mixed Computation/Communication in Parallel Scientific Libraries
A parallel algorithm for solving band systems and matrix inversion
The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation
A Classification of Algorithms which Are Well Suited for Implementations on the DAP as a Basis for Further Research on Parallel Programming
Parallel Homotopy Algorithm for Large Sparse Generalized Eigenvalue Problems: Application to Hydrodynamic Stability Analysis
Visualization of Message Passing Parallel Programs
A Design of Performance-optimized Control-based Synchronization
On Tests of Uniform Tree Circuits
Iterative methods for the solution of elliptic difference equations on multiprocessors
An Approach to Machine-Independent Parallel Programming
Self-Timed Communication Strategies for Massively Parallel Systolic Architectures
kappa-Project - First Step: To Improve Data Manipualtions and Representations on Parallel Computers
Asynchronous Polycyclic Architecture
A Decoupled Multicomputer Architecture with Optical Full Interconnection
A Process and Memory Model for a Parallel Distributed-Memory Machine
Dynamo - A Portable Tool for Dynamic Load Balancing on Distributed Memory Multicomputers
Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study
On language constructs for concurrent programs
Profiling on a massively Parallel Computer
Parallel evaluation of correlation time-of-flight experiments
Distributed Linda Tuplespace Algorithms and Implementations
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine
A Theoretical Study of Reconfigurability for Numerical Algorithms on a Reconfigurable Network
An Algorithm of Broadcasting in the Mesh of Trees
Parallel algorithms for the convex hull problem in two dimensions
Very High Speed Vectorial Processors Using Serial Multiport Memory as Data Memory
A New Load-Prediction Scheme Based on Algorithmic Cost Functions
Improving the Vector Performance via Algorithmic Domain Decomposition
Optimal Data Structures for an Efficient Vectorized Finite Element Code
Cellular algorithms for binary matrix operations
Transputer Based Distributed Cartographic Image Processing
Efficient Image Computations on Reconfigurable Meshes
MIMD Dictionary Machines: From Theory to Practice
Cost Prediction for Load Balancing: Application to Algebraic Computations
Generalized Shuffle-Exchange Networks
Resource Management on a Packet-Based Parallel Graph Reduction Machine
Parallelization of Non-Simultaneous Iterative Methods for Systems of Linear Equations
Candela - A Topology Description Language
Dynamic Allocation on the Transputer Network
A Packet Based Demand/Data Driven Reduction Model for the Parallel Execution of Logic Programs
Improved Parallel Sorting of Presorted Sequences
On synchronization and its specification
Programming and structure changes in parallel computers
A Time-Bounded Binding Access with Low Task-Switching Cost in an OR-Parallel Prolog
An Adaptive Parallel Algorithm for Display of CSG Objects
High-Performance Computer System "SIBERIA"
A Family of Highly Parallel Computers
Parallel Computing: An Indian Perspective
Code Parallelization for the LGDG Large-Grain Dataflow Computation
An Efficient Mapping Heuristic for Mesh-Connected Parallel Architectures Based on Mean Field Annealing
Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic
Gauss Elimination Algorithms for MIMD Computers
Real-Number Codes for Fault-Tolerant Matrix Inversion on Processor Arrays
A Comparison of Microtasking Implementations of the Applicative Language SISAL
Evaluating Array Expressions on Massively Parallel Machines with Communication/ Computation Overlap
HMESH: A VLSI Architecture for Parallel Processing
Hierarchical Wiring in Multigrids
A New Parallel Algorithm for Solving General Linear Systems of Equations
A Task Scheduling Algorithm for the Parallel Expression Evaluation in a Reconfigurable Fully Digit On-Line Network
FFT on a New Parallel Vector Processor
Designing Modular Linear Systolic Arrays Using Dependance Graph Regular Partitions
Memory Access Synchronization in Vector Multiprocessors
Shuffle/Exchange is the Natural Interconnection Scheme for the Parallel Fast Fourier Transform
An Efficient Parallel Algorithm for Maximal Matching
Hypercube Implementation and Performance Analysis for Extrapolation Models
A DAP-Based Implementation of a Portable Parallel Image Processing Machine
CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings
SISAL: Initial MIMD Performance Results
A Performance Analysis of Network Topologies in Finding the Roots of a Polynomial
Parallel Modelling of Electromagnetic Field Scattering: A New Approach Using the Edinburgh Concurrent Supercomputer Facility
FFTVPLIB, a Collection of Fast Fourier Transforms for Vectorprocessors
A Note on the Load Balancing Problem for Coarse Grained Hypercube Dictionary Machines
CONPAR 90 - VAPP IV, Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990, Proceedings
A methodolgy for programming with concurrency
Formal Derivation of SIMD Parallelism from Non-Linear Recursive Specifications
PATOP for Performance Tuning of Parallel Programs
The development of fast cellular pattern transformation algorithms using virtual boundaries
Analysis of Multigrid Methods for Non-Sharde Memory Systems by a Simple Performance Model
Sparse Matrix Algorithms for SUPRENUM
Composing Functional Unit Blocks for Efficient Interpretation of MIMD Code Sequences on SIMD Processors
Statistical Probabilistic Clock Synchronization Algorithm
Asymptotically Optimal Communication Algorithms on Faulty Folded Petersen Networks
Design and Implementation of M1 Cellprocessor
Scalability and Programmability of Massively Parallel Processors
Parallel Minimum Spanning Forest Algorithms on the Star and Pancake Interconnection Networks
A Decoupled Data-Driven Architecture with Vectors and Macro Actors
Minimizing the Log Size for Execution Replay of Shared-Memory Programs
A Diagram Editor for Line Drawings with Inscriptions
Liveness and Home States in Equal Conflict Systems
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets
Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
Construction of S-invariants and S-components for Refined Petri Boxes
Synthesising ENI-Systems with Interval Order Semantics
PNRD and iPNRD Integration Assisting Adaptive Control in Block World Domain
Synthesis of Elementary Net Systems with Final Configurations
Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings
Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures
On the Reversibility of Well-Behaved Weighted Choice-Free Systems
Vicinity respecting net morphisms
MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
ArgoSPE: Model-Based Software Performance Engineering
A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS
Blood Glucose Levels Regulation in a Healthy and in a Diabetic Person Modelled with Petri Nets
Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Net Theory and Workflow Models (abstract)
Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles
A Timestamping Scheme with Eternal Security in the Bounded Storage Model
Software Implementation of Petri nets and compilation of rule-based systems
Integrating Network Technique into Distributed Agent-Oriented Software Development Projects
OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica
Leveraging Frequencies in Event Data a Pledge for Stochastic Process Mining
On Weighted T-Systems
Towards Synthesis of Petri Nets from Scenarios
A Syntax-Independent Code Generation Tool for IOPT-Petri Nets
Net Morphisms and Software Engineering
Making Work Flow: On the Application of Petri Nets to Business Process Management
Some properties of timed nets under the earliest firing rule
Segmenting Sequences Semantically. Using Petri Net Transducers for the Translation from Sequential Data to Non-Sequential Models
A Colored Petri Net Model for a Naval Command and Control System
Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
Local state refinement on Elementary Net Systems: an approach based on morphisms
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions
Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States
Reducted State Space Representation for Unbounded Vector State Spaces
An Asynchronous Game on Distributed Petri Nets
An Optimal Process Model for a Real Time Process
A Myhill-Nerode Theorem for Higher-Dimensional Automata
Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system
Proving temporal properties of Petri Nets
Transition Systems of Elementary Net Systems with Inhibitor Arcs
Constructive Proofs as Programs Executable by PrT Nets
Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models
A strong part of concurrency
Generating Petri Net State Spaces
Composing Abstractions of Coloured Petri Nets
Transitions as Transactions
Petri Nets and Higher-Dimensional Automata
A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit
Compositional Theories of Qualitative and Quantitative Behaviour
Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles
Stubborn Set Intuition Explained
Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining
Petri Nets Without Tokens
Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering
Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , Tunis, Tunisia, June 23rd, 2014
A Survey on the Decidability Questions for Classes of FIFO Nets
High-Level Nets and Linear Logic
Overview on Topic 5: Mathematical Analysis and Net Languages
A Taxonomy of Persistent and Nonviolent Steps
Petri Net Sagas
Petri Net Synthesis from a Reachability Set
Distributed Reference Net Simulation Based on Event Streaming
Full structural model refinement as type refinement of colored Petri nets
Model Validation - A Theoretical Issue?
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
Petri nets with uncertain markings
Constructing Petri Net Transducers with PNTooL
ω-Petri Nets
Folding Example Runs to a Workflow Net
Time Stream Petri Nets: A Model for Timed Multimedia Information
A survey of equivalence notions for net based systems
Verification of Timed and Hybrid Systems
Covering Fairness against Conspiracies
Reversing Unbounded Petri Nets
Towards an Algebra for Security Policies
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets
Probabilistic Behavioural Acyclic Nets
Performance Issues in Parallel Programming
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets
A Unified Approach for Reasoning about Conflict-Free Petri Nets
Specification and Verification of Networks in a Petri Net Based Language
Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers
Structural Modifications in Net Theory
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems
On the Resource Equivalences in Petri nets with Invisible Transitions
Bisimulation and the Reduction of Petri Nets
On Modelling Cloud Native Applications
The Label Splitting Problem
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs
LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World
Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata
Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers
Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling
On the Physical Basics of Information Flow
Subclasses of Recognizable Trace Languages
Model Checking LTL Using Constraint Programming
Transient Analysis of Deterministic and Stochastic Petri Nets
Pre- and Post-agglomerations for LTL Model Checking
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs
PetriPad A Collaborative Petri Net Editor
Learning Transparent Data Automata
A reduction theory for coloured nets
An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets
Some Simple Extensions of Petri's Cycloids
A Tool Chain for Test-driven Development of Reference Net Software Components in the Context of CAPA Agents
Test on Zero in Petri Nets
High Level Synthesis of Synchronous Parallel Controllers
Multi-Agent-Systems Based on Coloured Petri Nets
Propagation Nets
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development
A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems
Non-atomic Transition Firing in Contextual Nets
New Search Strategies for the Petri Net CEGAR Approach
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
Optimizing Algebraic Petri Net Model Checking by Slicing
Verification of Token-Scaling Models using an Under-Approximation
LTL Model Checking for Modular Petri Nets
A State Class Based Controller Synthesis Approach for Time Petri Nets
Workcraft - A Framework for Interpreted Graph Models
On Stability of Regional Orthomodular Posets
Analysing Properties of the Resource Reservation Protocol
Occurrence Traces: Processes of Elementary Net Systems
Generalised Soundness of Workflow Nets Is Decidable
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games
On the Use of Coloured Petri Nets for Object-Oriented Design
PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data
Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings
Computing a Finite Prefix of a Time Petri Net
On Well-Formed Nets and Optimizations in Enabling Tests
Improving the eST-Miner Models by Replacing Imprecise Structures Using Place Projection
Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets
B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation
A Client-Server Protocol for the Composition of Petri Nets
Petri Net Analysis Using Boolean Manipulation
Structural techniques and performance bounds of stochastic Petri net models
From eHornets to Hybrid Agent and Workflow Systems
Channel Properties of Asynchronously Composed Petri Nets
Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules
Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011
Inductive Assertions for Analyzing Reachability Sets
Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition
Synchronized Products of Transition Systems and Their Analysis
Pascal semantics by a combination of denotational semantics and high-level Petri nets
Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings
Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014
COSTPN for Modeling and Control of Telecommunication Systems
A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings
On Synchronicity and Concurrency in Petri Nets
Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings
Deciding Life-Cycle Inheritance on Petri Nets
Petri Net with RFID Distributed Database for Autonomous Search and Rescue in Tracks and Crossings
The Synthesis Problem for Repeatedly Communicating Petri Games
Name Creation vs. Replication in Petri Net Systems
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems
Symbolic verification of ECA rules
What Should we Teach About Petri Nets?
Modular State Space Analysis of Coloured Petri Nets
Autonomous Distributed System and Its Realization by Multi Agent Nets
A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
Discovering Process Models from Incomplete Event Logs using Conjoint Occurrence Classes
Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects
Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling
Integration of Specification for Modeling and Specification for System Design
Detecting Infrequent Behavior in Event Logs using Statistical Inference
Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools
Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition
Infinitary languages of Petri nets and logical sentences
Marking Optimization of Stochastic Timed Event Graphs