English
Related papers

Related papers: SNC: A Cloud Service Platform for Symbolic-Numeric…

200 papers

Cloud Computing (CC) is a model for enabling on-demand access to a shared pool of configurable computing resources. Testing and evaluating the performance of the cloud environment for allocating, provisioning, scheduling, and data…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-01-09 Ahmed H. Abase , Mohamed H. Khafagy , Fatma A. Omara

With recent advancing of Internet of Things (IoTs), it becomes very attractive to implement the deep convolutional neural networks (DCNNs) onto embedded/portable systems. Presently, executing the software-based DCNNs requires…

Computer Vision and Pattern Recognition · Computer Science 2017-02-01 Ao Ren , Ji Li , Zhe Li , Caiwen Ding , Xuehai Qian , Qinru Qiu , Bo Yuan , Yanzhi Wang

The increasing availability of cloud computing services for science has changed the way scientific code can be developed, deployed, and run. Many modern scientific workflows are capable of running on cloud computing resources. Consequently,…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-11 Peter Vaillancourt , Bennett Wineholt , Brandon Barker , Plato Deliyannis , Jackie Zheng , Akshay Suresh , Adam Brazier , Rich Knepper , Rich Wolski

Collaborative Intelligence (CI) has emerged as a promising framework for deploying Artificial Intelligence (AI) models on resource-constrained edge devices. In CI, the AI model is partitioned between the edge device and the cloud, with…

Signal Processing · Electrical Eng. & Systems 2024-11-26 Mengyang Wang , Jiahui Li , Mengyao Ma , Xiaopeng Fan

Cloud computing has been emerged in the last decade to enable utility-based computing resource management without purchasing hardware equipment. Cloud providers run multiple data centers in various locations to manage and provision the…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-29 Rajkumar Buyya , Jungmin Son

The need for computational resources grows as computational algorithms gain popularity in different sectors of the scientific community. This search has stimulated the development of several cloud platforms that abstract the complexity of…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-18 Henrique C. T. Santos , Luciano S. de Souza , Jonathan H. A. de Carvalho , Tiago A. E. Ferreira

Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have been developed during the past decades and have played an…

Symbolic Computation · Computer Science 2013-07-31 Adel Bouhoula , Tetsuo Ida , Fairouz Kamareddine

Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by using high-performance computing solutions and installed…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-15 Christian Vecchiola , Suraj Pandey , Rajkumar Buyya

Scaling test-time computation--generating and analyzing multiple or sequential outputs for a single input--has become a promising strategy for improving the reliability and quality of large language models (LLMs), as evidenced by advances…

Computation and Language · Computer Science 2025-06-03 Sungjae Lee , Hoyoung Kim , Jeongyeon Hwang , Eunhyeok Park , Jungseul Ok

Semantic Scene Completion (SSC) aims to jointly generate space occupancies and semantic labels for complex 3D scenes. Most existing SSC models focus on volumetric representations, which are memory-inefficient for large outdoor spaces. Point…

Computer Vision and Pattern Recognition · Computer Science 2024-03-08 Yuxiang Yan , Boda Liu , Jianfei Ai , Qinbu Li , Ru Wan , Jian Pu

Emerging paradigms of big data and Software-Defined Networking (SDN) in cloud data centers have gained significant attention from industry and academia. The integration and coordination of big data and SDN are required to improve the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-11 Khaled Alwasel , Rodrigo N. Calheiros , Saurabh Garg , Rajkumar Buyya , Rajiv Ranjan

Recent advancements in post-quantum cryptographic algorithms have led to their standardization by the National Institute of Standards and Technology (NIST) to safeguard information security in the post-quantum era. These algorithms,…

Hardware Architecture · Computer Science 2025-09-30 Jingyao Zhang , Elaheh Sadredini

Symbolic computation systems suffer from memory inefficiencies due to redundant storage of structurally identical subexpressions, commonly known as expression swell, which degrades performance in both classical computer algebra and emerging…

Programming Languages · Computer Science 2025-10-17 Bowen Zhu , Aayush Sabharwal , Songchen Tan , Yingbo Ma , Alan Edelman , Christopher Rackauckas

Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic data. In this paper, we show that it is feasible, and in…

Programming Languages · Computer Science 2019-07-10 Henrich Lauko , Petr Ročkai , Jiří Barnat

Thanks to the advances in machine learning, data-driven analysis tools have become valuable solutions for various applications. However, there still remain essential challenges to develop effective data-driven methods because of the need to…

Cryptography and Security · Computer Science 2020-04-02 Gihan J. Mendis , Yifu Wu , Jin Wei , Moein Sabounchi , Rigoberto Roche'

The number of mobile devices (e.g., smartphones, wearable technologies) is rapidly growing. In line with this trend, a massive amount of spatial data is being collected since these devices allow users to geo-tag user-generated content.…

Databases · Computer Science 2016-12-20 Afsin Akdogan

Place recognition gives a SLAM system the ability to correct cumulative errors. Unlike images that contain rich texture features, point clouds are almost pure geometric information which makes place recognition based on point clouds…

Computer Vision and Pattern Recognition · Computer Science 2021-07-13 Lin Li , Xin Kong , Xiangrui Zhao , Tianxin Huang , Yong Liu

Many recent efforts have shown that in-network computing can benefit various datacenter applications. In this paper, we explore a relatively less-explored domain which we argue can benefit from in-network computing: scientific workloads in…

Networking and Internet Architecture · Computer Science 2020-09-08 Daehyeok Kim , Ankush Jain , Zaoxing Liu , George Amvrosiadis , Damian Hazen , Bradley Settlemyer , Vyas Sekar

The variety of existing cloud services creates a challenge for service providers to enforce reasonable Software Level Agreements (SLA) stating the Quality of Service (QoS) and penalties in case QoS is not achieved. To avoid such penalties…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-02-20 Rajkumar Buyya , Rodrigo N. Calheiros , Jungmin Son , Amir Vahid Dastjerdi , Young Yoon

The cloud computing paradigm offers on-demand services over the Internet and supports a wide variety of applications. With the recent growth of Internet of Things (IoT) based applications the usage of cloud services is increasing…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-10 Sukhpal Singh Gill , Rajkumar Buyya