Search
Search Results
-
Progress on half a century of process modelling research in steelmaking: a review
Process modelling in steelmaking started from mid-sixties and witnessed rapid growth and wide spread applications during the last fifty years or so....
-
Technology is key to green coal mining
Greening of coal through sustainable mining in India requires extensive deployment of technology. This article briefly highlights the role of...
-
Nature of Computation and Communication 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings
This book constitutes the refereed post-conference proceedings of the 9thInternational Conference on Nature of Computation and Communication, ICTCC... -
High Performance Computing 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18–22, 2023, Revised Selected Papers
This book constitutes the refereed revised selected papers of the 10th Latin American Conference on High Performance Computing, CARLA 2023, held in... -
Memory-Mapped Input/Output
Have you ever wondered how your computer seamlessly interacts with external devices, such as storage drives, network interfaces, and peripherals? The... -
Towards Fault Tolerance and Resilience in the Sequential Codelet Model
Failure or disruption in High-Performance Computer Systems can have a significant impact on human life, the environment, or the economy. Critical... -
Towards a Multi-GPU Implementation of a Seismic Application
This study explores the implementation and analysis of a Multi-GPU system for the application of the Fletcher Method in geophysical exploration,... -
Evaluation of Alternatives to Accelerate Scientific Numerical Calculations on Graphics Processing Units Using Python
In this paper, the Numba, JAX, CuPy, PyTorch, and TensorFlow Python GPU accelerated libraries were benchmarked using scientific numerical kernels on... -
Integrated Timed Architectural Modeling/Execution Language
We discuss an integrated approach for the design, specification, automatic deployment and simulation of microservice-based applications based on the... -
Actors Upgraded for Variability, Adaptability, and Determinism
The Rebeca modeling language is designed as an imperative actor-based language with the goal of providing an easy-to-use language for modeling... -
Context-Aware Trace Contracts
The behavior of concurrent, asynchronous procedures depends in general on the call context, because of the global protocol that governs scheduling.... -
A Survey of Actor-Like Programming Models for Serverless Computing
Serverless computing promises to significantly simplify cloud computing by providing Functions-as-a-Service where invocations of functions, triggered... -
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
This paper presents the open-source C++ tool RealySt for effectively computing optimal time-bounded reachability probabilities for subclasses of... -
An Anti-jamming Game When None Player Knows Rival’s Channel Gain
We consider a user’s communication with a receiver in presence of a jammer, in the most competitive situation for user and jammer when they do not... -
Quantum-Enhanced Control of a Tandem Queue System
Controlling computer systems in an optimal way using quantum devices is an important step towards next generation infrastructures that will be able... -
Improving Sample Efficiency in Evolutionary RL Using Off-Policy Ranking
Evolution Strategy (ES) is a potent black-box optimization technique based on natural evolution. A key step in each ES iteration is the ranking of... -
Caching Contents with Varying Popularity Using Restless Bandits
We study content caching in a wireless network in which the users are connected through a base station that is equipped with a finite capacity cache.... -
dSalmon: High-Speed Anomaly Detection for Evolving Multivariate Data Streams
We introduce dSalmon, a highly efficient framework for outlier detection on streaming data. dSalmon can be used with both Python and C++, meeting the... -
An Approach for Object Recognition in Videos for Vocabulary Extraction
English is the most common language globally, and it is increasingly important. English has been compiled in most online documents, information, and... -
Possibilities of Using Fuzz Testing in Smart Cities Applications
In recent years, technological advances in various fields of human activity have enabled the development of smart city applications that can help...