中文
相关论文

相关论文: SCRAM: Software configuration and management for t…

200 篇论文

This paper shows the debugging facilities provided by the SLAM system. The SLAM system includes i) a specification language that integrates algebraic specifications and model-based specifications using the object oriented model. Class…

编程语言 · 计算机科学 2007-05-23 Angel Herrranz-Nieva Juan Jose Moreno Navarro

Real-Time systems are essential for promptly responding to external stimuli and completing tasks within predefined time constraints. Ensuring high reliability and robust security in these systems is therefore critical. This requires…

密码学与安全 · 计算机科学 2025-10-07 Eliron Rahimi , Kfir Girstein , Roman Malits , Avi Mendelson

Computational Grids, emerging as an infrastructure for next generation computing, enable the sharing, selection, and aggregation of geographically distributed resources for solving large-scale problems in science, engineering, and commerce.…

分布式、并行与集群计算 · 计算机科学 2007-05-23 Rajkumar Buyya

Benchmarking Simultaneous Localization and Mapping (SLAM) algorithms is important to scientists and users of robotic systems alike. But through their many configuration options in hardware and software, SLAM systems feature a vast parameter…

机器人学 · 计算机科学 2023-03-22 Yuanyuan Yang , Bowen Xu , Yinjie Li , Sören Schwertfeger

Agile methods are receiving a growing interest from industry and these approaches are nowadays well accepted and deployed in software engineering. However, some issues remain to introduce agility in systems engineering. The objective of…

软件工程 · 计算机科学 2018-07-05 Diego Armando Diaz Vargas , Rui Xue , Claude Baron , Philippe Esteban , Rob Vingerhoeds , Y Citlalih , Chao Liu

The Smart Grid (SG) is a Cyber-Physical System (CPS) considered a critical infrastructure divided into cyber (software) and physical (hardware) counterparts that complement each other. It is responsible for timely power provision wrapped by…

性能 · 计算机科学 2020-11-20 Ricardo M. Czekster

In recent years, extensive research has been conducted in the area of Service Level Agreement (SLA) for utility computing systems. An SLA is a formal contract used to guarantee that consumers' service quality expectation can be achieved. In…

分布式、并行与集群计算 · 计算机科学 2010-10-15 Linlin Wu , Rajkumar Buyya

Scheduling services within the computing continuum is complex due to the dynamic interplay of the Edge, Fog, and Cloud resources, each offering distinct computational and networking advantages. This paper introduces SCAREY, a user…

分布式、并行与集群计算 · 计算机科学 2025-11-21 Kurt Horvath , Dragi Kimovski , Radu Prodan

Deep Learning Recommendation Models (DLRMs) play a crucial role in delivering personalized content across web applications such as social networking and video streaming. However, with improvements in performance, the parameter size of DLRMs…

硬件体系结构 · 计算机科学 2025-04-02 Jinho Yang , Ji-Hoon Kim , Joo-Young Kim

In software engineering, the meticulous configuration of software tools is crucial in ensuring optimal performance within intricate systems. However, the complexity inherent in selecting optimal configurations is exacerbated by the…

软件工程 · 计算机科学 2023-12-12 Jai Kannan

IT services provisioning is usually underpinned by service level agreements (SLAs), aimed at guaranteeing services quality. However, there is a gap between the customer perspective (business oriented) and that of the service provider…

软件工程 · 计算机科学 2011-10-03 Anacleto Correia , Fernando Brito e Abreu , Vasco Amaral

This paper describes the verification of the classical software and hardware stack that is used to control cold atom- and superconducting-based quantum computing hardware. The paper serves both as an introduction to quantum computing and to…

Reducing application runtime, scaling parallel applications to higher numbers of processes/threads, and porting applications to new hardware architectures are tasks necessary in the software development process. Therefore, developers have…

Microservices architecture has become the dominant architecture in cloud computing paradigm with its advantages of facilitating development, deployment, modularity and scalability. The workflow of microservices architecture is transparent…

分布式、并行与集群计算 · 计算机科学 2024-11-19 Kan Hu , Minxian Xu , Kejiang Ye , Chengzhong Xu

Evaluating the performance of Simultaneous Localization and Mapping (SLAM) algorithms is essential for scientists and users of robotic systems alike. But there are a multitude of different permutations of possible options of hardware setups…

机器人学 · 计算机科学 2024-11-15 Xinzhe Liu , Yuanyuan Yang , Bowen Xu , Delin Feng , Sören Schwertfeger

In this paper we introduce our vision of a Cognitive Computing Continuum to address the changing IT service provisioning towards a distributed, opportunistic, self-managed collaboration between heterogeneous devices outside the traditional…

网络与互联网体系结构 · 计算机科学 2021-03-11 Ana Juan Ferrer , Soeren Becker , Florian Schmidt , Lauritz Thamsen , Odej Kao

We describe the software requirements and development methodology developed for the NLC control system. Given the longevity of that project, and the likely geographical distribution of the collaborating engineers, the planned requirements…

加速器物理 · 物理学 2007-05-23 G. R. White , H. Shoaee

Parallel processing, the core of High Performance Computing (HPC), was and still the most effective way in improving the speed of computer systems. For the past few years, the substantial developments in the computing power of processors…

分布式、并行与集群计算 · 计算机科学 2015-12-15 Samouriq Difrawi

In this paper, we discuss our experience in designing and teaching a course on Software Engineering Project Management, where the focus is on Agile/Scrum development and Requirement Engineering activities. The course has undergone…

软件工程 · 计算机科学 2025-06-18 Maria Spichkova

Executing distributed cyber-physical software processes on edge devices that maintains the resiliency of the overall system while adhering to resource constraints is quite a challenging trade-off to consider for developers. Current…

分布式、并行与集群计算 · 计算机科学 2022-08-23 Purboday Ghosh , Hao Tu , Timothy Krentz , Gabor Karsai , Srdjan Lukic