Blar i Institutt for datateknologi, elektroteknologi og realfag på emneord "VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Kommunikasjon og distribuerte systemer: 423"
Viser treff 1-5 av 5
-
A load balance multi-scheduling model for OpenCL kernel tasks in an integrated cluster
(Peer reviewed; Journal article, 2020)Nowadays, embedded systems are comprised of heterogeneous multi-core architectures, i.e., CPUs and GPUs. If the application is mapped to an appropriate processing core, then these architectures provide many performance ... -
Model-based software testing for distributed systems and protocols
(Doctoral thesis, 2020)Society is increasingly dependent on fault-tolerant cloud-based services which rely on the correctness and reliability of advanced distributed software systems and consensus protocols. The implementations of these systems ... -
Multilevel Modelling of Coloured Petri Nets
(Journal article; Peer reviewed, 2018)Coloured Petri Nets (CPNs) is a modelling language for distributed systems which has been applied in a multitude of industrial cases. The supporting tool of CPNs is currently lacking important features such as having the ... -
On modelling and validation of the MQTT IoT protocol for M2M communication
(Journal article; Peer reviewed, 2018)Machine to Machine (M2M) communication and Internet of Things (IoT) are becoming still more pervasive with the increase of communicating devices used in cyber-physical environments. A prominent approach to communication ... -
The density-based clustering method for privacy-preserving data mining
(Journal article; Peer reviewed, 2019)Privacy-preserving data mining has become an interesting and emerging issue in recent years since it can, not only hide the sensitive information but still mine the meaningful knowledge at the same time. Since privacy-preserving ...