English
Related papers

Related papers: parasweep: A template-based utility for generating…

200 papers

Task-based programming models have proven to be a robust and versatile way to approach development of applications for distributed environments. They provide natural programming patterns with high performance. However, execution on this…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-08 Alex Barcelo , Anna Queralt , Toni Cortes

This research proposes a language independent intra-process framework for object based composition of unmodified code modules. Intuitively, the two major programming models, threads and processes, can be considered as extremes along a…

Programming Languages · Computer Science 2007-05-23 Srinidhi Varadarajan

Modern programming environments provide extensive support for inspecting, analyzing, and testing programs based on the algorithmic structure of a program. Unfortunately, support for inspecting and understanding runtime data structures…

Programming Languages · Computer Science 2015-03-19 Mark Marron , Cesar Sanchez , Zhendong Su , Manuel Fahndrich

Probabilistic graphical models (PGMs) serve as a powerful framework for modeling complex systems with uncertainty and extracting valuable insights from data. However, users face challenges when applying PGMs to their problems in terms of…

Machine Learning · Computer Science 2024-05-29 Jiantong Jiang , Zeyi Wen , Peiyu Yang , Atif Mansoor , Ajmal Mian

This paper investigates co-scheduling algorithms for processing a set of parallel applications. Instead of executing each application one by one, using a maximum degree of parallelism for each of them, we aim at scheduling several…

Data Structures and Algorithms · Computer Science 2013-05-01 Guillaume Aupy , Manu Shantharam , Anne Benoit , Yves Robert , Padma Raghavan

Shape abstraction is an important task for simplifying complex geometric structures while retaining essential features. Sweep surfaces, commonly found in human-made objects, aid in this process by effectively capturing and representing…

Computer Vision and Pattern Recognition · Computer Science 2024-07-10 Mingrui Zhao , Yizhi Wang , Fenggen Yu , Changqing Zou , Ali Mahdavi-Amiri

We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a model for parallel programs, generalising both probabilistic…

Logic in Computer Science · Computer Science 2010-12-21 Stefan Kiefer , Dominik Wojtczak

Multicore parallel programming has some very difficult problems such as deadlocks during synchronizations and race conditions brought by concurrency. Added to the difficulty is the lack of a simple, well-accepted computing model for…

Programming Languages · Computer Science 2010-12-09 Yibing Wang

Recent work has shown constrained Bayesian optimization to be a powerful technique for the optimization of industrial processes. In complex manufacturing processes, the possibility to run extensive sequences of experiments with the goal of…

Systems and Control · Electrical Eng. & Systems 2022-05-12 Xavier Guidetti , Alisa Rupenyan , Lutz Fassl , Majid Nabavi , John Lygeros

Real-time and collision-free motion planning remains challenging for robotic manipulation in unknown environments due to continuous perception updates and the need for frequent online replanning. To address these challenges, we propose a…

Robotics · Computer Science 2025-12-30 Xuewei Zhang , Bailing Tian , Kai Zheng , Yulin Hui , Junjie Lu , Zhiyu Li

Commercial recommender systems face the challenge that task requirements from platforms or users often change dynamically (e.g., varying preferences for accuracy or diversity). Ideally, the model should be re-trained after resetting a new…

Information Retrieval · Computer Science 2025-08-07 Chenglei Shen , Jiahao Zhao , Xiao Zhang , Weijie Yu , Ming He , Jianping Fan

We propose a simple technique for verifying probabilistic models whose transition probabilities are parametric. The key is to replace parametric transitions by nondeterministic choices of extremal values. Analysing the resulting…

Logic in Computer Science · Computer Science 2016-05-27 Tim Quatmann , Christian Dehnert , Nils Jansen , Sebastian Junges , Joost-Pieter Katoen

Control parallelism and data parallelism is mostly reasoned and optimized as separate functions. Because of this, workloads that are irregular, fine-grain and dynamic such as dynamic graph processing become very hard to scale. An…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-03-08 Bibrak Qamar Chandio , Thomas Sterling , Prateek Srivastava

We introduce BSMArt, a python program for the exploration of parameter spaces of theories Beyond the Standard Model. Especially designed for use with the SARAH family of tools, it is also sufficiently flexible to be used with a wide variety…

High Energy Physics - Phenomenology · Physics 2023-01-04 Mark D. Goodsell , Ari Joury

Parametric Computer-aided design (CAD) enables the creation of reusable models by integrating variables into geometric properties, facilitating customization without a complete redesign. However, creating parametric designs in…

Human-Computer Interaction · Computer Science 2024-08-06 J. Felipe Gonzalez , Thomas Pietrzak , Audrey Girouard , Géry Casiez

Many applications require to learn, mine, analyze and visualize large-scale graphs. These graphs are often too large to be addressed efficiently using conventional graph processing technologies. Many applications have requirements to…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-23 Santosh Pandey , Lingda Li , Adolfy Hoisie , Xiaoye S. Li , Hang Liu

The ability to express a program as a hierarchical composition of parts is an essential tool in managing the complexity of software and a key abstraction this provides is to separate the representation of data from the computation. Many…

Programming Languages · Computer Science 2012-10-04 James Hanlon , Simon J. Hollis , David May

In this paper we present an open source framework developed in Python and consisting of three distinct classes designed to manipulate in a simple and intuitive way both symbolic representations of neutrosophic sets over universes of various…

Artificial Intelligence · Computer Science 2024-04-10 Giorgio Nordo , Saeid Jafari , Arif Mehmood , Bhimraj Basumatary

In recent years, more people have seen their work depend on data manipulation tasks. However, many of these users do not have the background in programming required to write complex programs, particularly SQL queries. One way of helping…

Programming Languages · Computer Science 2024-02-02 Ricardo Brancas , Miguel Terra-Neves , Miguel Ventura , Vasco Manquinho , Ruben Martins

A desirable data selection algorithm can efficiently choose the most informative samples to maximize the utility of limited annotation budgets. However, current approaches, represented by active learning methods, typically follow a…

Computer Vision and Pattern Recognition · Computer Science 2023-10-17 Yichen Xie , Mingyu Ding , Masayoshi Tomizuka , Wei Zhan
‹ Prev 1 4 5 6 7 8 10 Next ›