Search By Subject

Multiparty session types (MP) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. Traditional MP have a limited form of choice in which alternative communication possibilities are ...

The new technologies of generative AI present important ethical challenges for application design in relation to human work and future workplaces. Using an extended design fiction, we conducted a critical inquiry into possible futures of generative ...

This panel commemorates the 50th anniversary of the IFIP TC2 Working Conference on Command Languages (CCL) and the 30th anniversary of the workshop series on Design Specification and Verification of Interactive Systems (DSV-IS), and uses that ...

This workshop is the second edition and aims to bring together researchers and practitioners interested in the engineering of interactive systems that embed AI technologies (as for instance, AI-based recommender systems) or that use AI during the ...

Visual exploration of multi-classification models with large number of classes would help machine learning experts in identifying the root cause of a problem that occurs during learning phase such as miss-classification of instances. Most of the ...

Adapting the user interface (UI) of software systems to meet the needs and preferences of users is a complex task. The main challenge is to provide the appropriate adaptations at the appropriate time to offer value to end-users. Recent advances in ...

Access to computing resources is a critical requirement for researchers in a wide diversity of areas. This has become even more important with the rise of artificial intelligence techniques through the training of machine learning and deep learning ...

The examined paper presents a simulation infrastructure for scalable disaggregated memory systems called DRackSim. The authors have uploaded their artefacts to Zenodo, which ensures long-term retention of the artefact. This paper can thus receive the ...

The artifact evaluated in this report is relevant to the paper “Modeling Central Bank Digital Currency over Payment Channels: A Parallel ROSS-based Approach”. The authors have uploaded their artifact to a permanent repository. Installation, dependencies,...

The paper presents a novel approach to combine CPU- and GPU-based executions for the simulation of discrete events, thus allowing to leverage the performance gains of modern GPUs. The main element of novelty is in that the computational workload is ...

The artifact is in line with what was presented in the original paper and contributes to the generation of its main results. The source code is made available together with a Docker image. A minimal description of how to execute experiments is provided ...

This is a report on the reproducibility of the experiments in the paper “Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation” presented at the 38th ACM SIGSIM conference on Principles of Advanced Discrete ...

In the field of traffic simulation, the shift towards large-scale, time-driven models marks a significant departure from traditional event-driven mechanisms, necessitating robust traffic dynamics that accurately capture the complexities of urban ...

P4, an emerging technology enabling flexible and programmable data plane processing in network devices, has garnered significant attention for revolutionizing in-network operations. Validating P4 programs requires specially designed testing environments ...

Despite recent leaps in artificial intelligence and natural language generation, which have led to widespread adoption, the integration of large language models in modelling and simulation has been limited. This work discusses the use of pre-trained ...

Modern-day Supply Chains (SC) are intricate networks spanning the globe, that are vulnerable to disruptions ranging from natural calamities to changing international policies. Their design, optimization and management requires a consideration of aspects ...

To keep up with the times, supercomputers have to evolve as do the applications they enable in science, national security and artificial intelligence. To do so, the best strategy we have is to simulate how changes in their algorithms and architecture ...

We present a cyber-physical testbed that synchronizes power simulation with programmable network emulation, specifically designed for evaluating the security of SCADA systems within smart grids. This testbed demonstrates the utilization of information ...

Over the last few years, Digital Twin (DT) has emerged as an innovative concept that integrates multiple technologies to mirror physical assets, systems, and processes. Assisted by data analytics, predictive models, and optimisation techniques, DTs are ...

We develop a deep learning surrogate model to accelerate parallel discrete event simulation (PDES) in high-performance computing (HPC) networks, addressing the computational challenges of traditional methods as HPC scales to larger and more complex ...