Search Results - theory of parallel and distributed computation

A well-structured framework for analysing petri net extensions by Finkel, Alain, McKenzie, Pierre, Picaronny, Claudine

“…Transition systems defined from recursive functions IN p → IN p are introduced and named WSNs, or well-structured nets. Such nets sit conveniently between…”
Get full text

Partial characterizations of networks supporting shortest path interval labeling schemes by Narayanan, Lata, Shende, Sunil

“…‐efficient strategy for routing in distributed networks. In this scheme, an ordering of the vertices is chosen so that the edges of the network can be labeled with one or more subintervals of the vertex ordering…”
Get full text

Past and present (and future) of parallel and distributed computation in (constraint) logic programming by FIORETTO, FERDINANDO, PONTELLI, ENRICO

“…Declarative languages offer unprecedented opportunities for the use of parallelism to speed up execution. A declarative language, being not procedural, removes…”
Get full text

Implementing communicating processes in the event of interface difference by Burton, J., Koutny, M., Pappalardo, G.

“…We present here an implementation relation which formalises the notion that a system built of communicating processes is an acceptable implementation of…”
Get full text

Skywalker: Efficient Alias-Method-Based Graph Sampling and Random Walk on GPUs by Wang, Pengyu, Li, Chao, Wang, Jing, Wang, Taolei, Zhang, Lu, Leng, Jingwen, Chen, Quan, Guo, Minyi

“…Graph sampling and random walk operations, capturing the structural properties of graphs, are playing an important role today as we cannot directly adopt…”
Get full text

Using overflows to control parallel and distributed computations by Nepejvoda, Nikolai

Get full text

Conditional Hardness Results for Massively Parallel Computation from Distributed Lower Bounds by Ghaffari, Mohsen, Kuhn, Fabian, Uitto, Jara

“… Our hardness results are conditioned on a widely believed conjecture in massively parallel computation about the complexity of the connectivity problem…”
Get full text

Parallel Computation of Component Trees on Distributed Memory Machines by Gotz, Markus, Cavallaro, Gabriele, Geraud, Thierry, Book, Matthias, Riedel, Morris

“… This work proposes a new efficient hybrid algorithm for the parallel computation of two particular component trees-the max- and min-tree-in shared and distributed memory environments…”
Get full text

A massively parallel tensor contraction framework for coupled-cluster computations by Solomonik, Edgar, Matthews, Devin, Hammond, Jeff R., Stanton, John F., Demmel, James

“…Precise calculation of molecular electronic wavefunctions by methods such as coupled-cluster requires the computation of tensor contractions, the cost of which has polynomial computational scaling…”
Get full text

Gluon-Async: A Bulk-Asynchronous System for Distributed and Heterogeneous Graph Analytics by Dathathri, Roshan, Gill, Gurbinder, Hoang, Loc, Jatala, Vishwesh, Pingali, Keshav, Nandivada, V. Krishna, Dang, Hoang-Vu, Snir, Marc

“…Distributed graph analytics systems for CPUs, like D-Galois and Gemini, and for GPUs, like D-IrGL and Lux, use a bulk-synchronous parallel (BSP…”
Get full text

Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation by Gu, Rong, Zuo, Zhiqiang, Jiang, Xi, Yin, Han, Wang, Zhaokang, Wang, Linzhang, Li, Xuandong, Huang, Yihua

“… Specifically, we propose a data-parallel algorithm and a join-process-filter computation model for the CFL-reachability-based interprocedural analysis…”
Get full text

Parallel Spectral Clustering in Distributed Systems by Chen, Wen-Yen, Song, Yangqiu, Bai, Hongjie, Lin, Chih-Jen, Chang, Edward Y.

“… We parallelize both memory use and computation on distributed computers. Through an empirical study on a document data set of 193,844 instances and a photo data set of 2,121,863, we show that our parallel algorithm can effectively handle large problems…”
Get full text

SparkDQ: Efficient generic big data quality management on distributed data-parallel computation by Gu, Rong, Qi, Yang, Wu, Tongyu, Wang, Zhaokang, Xu, Xiaolong, Yuan, Chunfeng, Huang, Yihua

“…•A generic big data quality model and programming framework.•A set of distributed data-parallel quality management algorithms…”
Get full text

Distributed Graph Computation Meets Machine Learning by Xiao, Wencong, Xue, Jilong, Miao, Youshan, Li, Zhen, Chen, Cheng, Wu, Ming, Li, Wei, Zhou, Lidong

“…TuX 2 is a new distributed graph engine that bridges graph computation and distributed machine learning…”
Get full text

A hybrid MPI–OpenMP scheme for scalable parallel pseudospectral computations for fluid turbulence by Mininni, Pablo D., Rosenberg, Duane, Reddy, Raghu, Pouquet, Annick

“…► A two-level hybrid OpenMP/MPI parallelization scheme is presented for pseudospectral computations of fluid turbulence…”
Get full text

Delay-Optimal Distributed Computation Offloading in Wireless Edge Networks by Gong, Xiaowen, Chen, Mingyu, Li, Dongsheng, Cao, Yang

“…In this paper, we explore distributed edge computation offloading (DECO) that offloads computation to distributed edge devices connected wirelessly, which perform the offloaded computation in parallel…”
Get full text

Parallel and Distributed Processing: 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing Orlando, Florida, USA, March 30 – April 3, 1998 Proceedings by Rolim, José

“… to parallel processing problems, randomized parallel computing, solving combinatorial optimization problems in parallel, PC based networks of workstations, fault-tolerant parallel and distributed systems…”
Get full text

Parallel and Distributed Processing: 11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12–16, 1999 Proceedings by Rolim, José, Mueller, Frank, Zomaya, Albert Y, Ercal, Fikret, Olariu, Stephan, Ravindran, Binoy, Gustafsson, Jan, Takada, Hiroaki, Olsson, Ron, Kale, Laxmikant V, Beckman, Pete, Haines, Matthew, ElGindy, Hossam, Caromel, Denis, Chaumette, Serge, Fox, Geoffrey, Pan, Yi, Li, Keqin, Yang, Tao, Chiola, G, Conte, G, Mancini, L. V, Méry, Domenique, Sanders, Beverly, Bhatt, Devesh, Prasanna, Viktor

“…; Parallel and Distributed Real-Time Systems; Run-Time Systems for Parallel Programming; Reconfigurable Architectures…”
Get full text

Towards Massively Parallel Computations in Algebraic Geometry by Böhm, Janko, Decker, Wolfram, Frühbis-Krüger, Anne, Pfreundt, Franz-Josef, Rahn, Mirko, Ristau, Lukas

“… In high-performance numerical simulation, on the other hand, transparent environments for distributed computing which follow the principle of separating coordination and computation have been a…”
Get full text

MAD-Max Beyond Single-Node: Enabling Large Machine Learning Model Acceleration on Distributed Systems by Hsia, Samuel, Golden, Alicia, Acun, Bilge, Ardalani, Newsha, DeVito, Zachary, Wei, Gu-Yeon, Brooks, David, Wu, Carole-Jean

“…Training and deploying large-scale machine learning models is time-consuming, requires significant distributed computing infrastructures, and incurs high operational costs…”
Get full text