Výsledky vyhledávání - "Mathematics of computing Discrete mathematics Graph theory"
-
1
Lovász-Type Theorems and Game Comonads
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…Lovász (1967) showed that two finite relational structures A and B are isomorphic if, and only if, the number of homomorphisms from C to A is the same as the…”
Získat plný text
Konferenční příspěvek -
2
The Logic of Graph Neural Networks
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…Graph neural networks (GNNs) are deep learning architectures for machine learning problems on graphs. It has recently been shown that the expressiveness of…”
Získat plný text
Konferenční příspěvek -
3
HyperEF: Spectral Hypergraph Coarsening by Effective-Resistance Clustering
ISSN: 1558-2434Vydáno: ACM 29.10.2022Vydáno v 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)“…This paper introduces a scalable algorithmic framework (HyperEF) for spectral coarsening (decomposition) of large-scale hypergraphs by exploiting hyperedge…”
Získat plný text
Konferenční příspěvek -
4
BlasPart: A Deterministic Parallel Partitioner for Balanced Large-Scale Hypergraph Partitioning
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Balanced hypergraph partitioning is a fundamental problem in applications like VLSI design, high-performance computing, etc. Nowadays, large-scale hypergraphs…”
Získat plný text
Konferenční příspěvek -
5
On the Expressive Power of Homomorphism Counts
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…A classical result by Lovász asserts that two graphs G and H are isomorphic if and only if they have the same left profile, that is, for every graph F, the…”
Získat plný text
Konferenční příspěvek -
6
Graph Representation Learning for Microarchitecture Design Space Exploration
Vydáno: IEEE 09.07.2023Vydáno v 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Design optimization of modern microprocessors is a complex task due to the exponential growth of the design space. This work presents GRL-DSE, an automatic…”
Získat plný text
Konferenční příspěvek -
7
SGIRR: Sparse Graph Index Remapping for ReRAM Crossbar Operation Unit and Power Optimization
ISSN: 1558-2434Vydáno: ACM 29.10.2022Vydáno v 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)“…Resistive Random Access Memory (ReRAM) Crossbars are a promising process-in-memory technology to reduce enormous data movement overheads of large-scale graph…”
Získat plný text
Konferenční příspěvek -
8
GraphFI: An Efficient Fault Injection Framework for Graph Processing on GPGPUs
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…As graph tasks become pervasive in real-time and safetycritical domains (e.g., financial fraud detection and electrical power systems), it is also essential to…”
Získat plný text
Konferenční příspěvek -
9
PIMGCN: A ReRAM-Based PIM Design for Graph Convolutional Network Acceleration
Vydáno: IEEE 05.12.2021Vydáno v 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“…Graph Convolutional Network (GCN) is a promising but computing- and memory-intensive learning model. Processing-in-memory (PIM) architecture based on the ReRAM…”
Získat plný text
Konferenční příspěvek -
10
TurboBC: A Memory Efficient and Scalable GPU Based Betweenness Centrality Algorithm in the Language of Linear Algebra
ISSN: 2375-530X, 2375-530XVydáno: United States 01.08.2021Vydáno v Proceedings - International Workshops on Parallel Processing (01.08.2021)“…Betweenness centrality (BC) is a shortest path centrality metric used to measure the influence of individual vertices or edges on huge graphs that are used for…”
Zjistit podrobnosti o přístupu
Journal Article -
11
A Synchronization-Avoiding Distance-1 Grundy Coloring Algorithm for Power-Law Graphs
ISSN: 2641-7936Vydáno: IEEE 01.09.2019Vydáno v Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…In this paper, we propose a distributed, unordered, label-correcting distance-1 Grundy (vertex) coloring algorithm, namely, Distributed Control (DC) coloring…”
Získat plný text
Konferenční příspěvek -
12
iG-kway: Incremental k-way Graph Partitioning on GPU
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Recent advances in GPU-accelerated graph partitioning have achieved significant performance gains but remain limited to full graph partitioning, lacking…”
Získat plný text
Konferenční příspěvek -
13
A Scalable and Robust Compilation Framework for Emitter-Photonic Graph State
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Quantum graph states are critical resources for various quantum algorithms, and also determine essential interconnections in distributed quantum computing…”
Získat plný text
Konferenční příspěvek -
14
GPart: A GNN-Enabled Multilevel Graph Partitioner
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…This paper introduces GPart, a scalable multilevel framework for graph partitioning that integrates GNN embeddings with efficient coarsening and refinement…”
Získat plný text
Konferenční příspěvek -
15
Automated Generation of Decoders for Irregular Instruction Sets Using Information-Theoretic Decision Tree Construction Algorithms
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Instruction decoders are indispensable components of the System-on-Chip design flow and major constituents of instruction set simulators and processor…”
Získat plný text
Konferenční příspěvek -
16
LearnGraph: A Learning-Based Architecture for Dynamic Graph Processing
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Dynamic graph processing systems using conventional array-based architectures face significant throughput limitations due to inefficient memory access and…”
Získat plný text
Konferenční příspěvek -
17
Skywalker: Efficient Alias-Method-Based Graph Sampling and Random Walk on GPUs
Vydáno: IEEE 01.09.2021Vydáno v 2021 30th International Conference on Parallel Architectures and Compilation Techniques (PACT) (01.09.2021)“…Graph sampling and random walk operations, capturing the structural properties of graphs, are playing an important role today as we cannot directly adopt…”
Získat plný text
Konferenční příspěvek -
18
EMGraph: Fast Learning-Based Electromigration Analysis for Multi-Segment Interconnect Using Graph Convolution Networks
Vydáno: IEEE 05.12.2021Vydáno v 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“…Electromigration (EM) becomes a major concern for VLSI circuits as the technology advances in the nanometer regime. With Korhonen equations, EM assessment for…”
Získat plný text
Konferenční příspěvek -
19
Lightweight Structural Choices Operator for Technology Mapping
Vydáno: IEEE 09.07.2023Vydáno v 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Technology mapping quality heavily depends on the subject graph structure. To overcome structural biases, operators construct choice nodes to enable mappings…”
Získat plný text
Konferenční příspěvek -
20
Consistent Graph Model Generation with Large Language Models
ISSN: 2574-1934Vydáno: IEEE 27.04.2025Vydáno v Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (27.04.2025)“…Graph model generation from natural language requirements is an essential task in software engineering, for which large language models (LLMs) have become…”
Získat plný text
Konferenční příspěvek