Reasoning about the Node.js Event Loop using Async Graphs.
Haiyang SunDaniele BonettaFilippo SchiavioWalter BinderPublished in: CGO (2019)
Keyphrases
- directed graph
- graph structure
- finding the shortest path
- event detection
- undirected graph
- spatial reasoning
- formal theory
- graph representation
- news articles
- graph mining
- betweenness centrality
- random walk
- random graphs
- stream processing
- event recognition
- temporal events
- nodes of a graph
- small world networks
- degree distribution
- graph matching
- graph structures
- edge weights
- bipartite graph
- graph partitioning
- temporal patterns
- spanning tree