İsmail Arı

Democratization of HPC cloud services with automated parallel solvers and application containers

2018 · Concurrency and Computation Practice and Experience

Summary In this paper, we investigate several design choices for HPC services at different layers of the cloud computing architecture to simplify and broaden its use cases. We start with the platform‐as‐a‐service (PaaS) layer and …

Observing Interoperability of IoT Systems Through Model-Based Testing

2018

Internet of Things (IoT) has drastically modified the industrial services provided through autonomous machine-to-machine interactions. Such systems comprise of devices manufactured by various suppliers. Verification is a challenge due to high heterogeneity of composing devices. …