University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 241–270 of 1,044 items
Thumbnail for Sufficient Completeness Checking with Propositional Tree Automata
Sufficient Completeness Checking with Propositional Tree Automata
Hendrix, Joe; Ohsaki, Hitoshi; Meseguer, José

Thumbnail for An Experimental Comparison of Partitioning Strategies in Distributed Graph Processing
An Experimental Comparison of Partitioning Strategies in Distributed Graph Processing
Verma, Shiv; Leslie, Luke M.; Shin, Yosub; Gupta, Indranil