E-LIB Suche - Ergebnisse für: Pun, I.

1

Measuring and modelling the impact of outdoor pigs on soil ..:

Pun, I. ; Galdos, M. V. ; Chapman, P. J....
Soil Use and Management. 40 (2024) 1 - p. , 2024

Link: https://doi.org/10.1111/..

2

Privacy preserving distributed extremely randomized trees:

, In: Proceedings of the 36th Annual ACM Symposium on Applied Computing,

Aminifar, Amin ; Rabbi, Fazle ; Pun, Ka I. - p. 1102-1105 , 2021

Link: https://dl.acm.org/doi/1..

3

Adaptation of IDPT System Based on Patient-Authored Text Da..:

, In: 2020 IEEE 33rd International Symposium on Computer-Based Medical Systems (CBMS),

Mukhiya, Suresh Kumar ; Ahmed, Usman ; Rabbi, Fazle.. - p. 226-232 , 2020

Link: https://doi.org/10.1109/..

4

From SOS to Asynchronously Communicating Actors:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

de Boer, Frank ; Johnsen, Einar Broch ; Pun, Ka I. - p. 269-275 , 2020

Link: https://doi.org/10.1007/..

5

Implementing SOS with Active Objects: A Case Study of a Mul..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Bezirgiannis, Nikolaos ; de Boer, Frank ; Johnsen, Einar Broch.. - p. 332-350 , 2019

Link: https://doi.org/10.1007/..

6

Time analysis of actor programs:

Laneve, Cosimo ; Lienhardt, Michael ; Pun, Ka I.
Journal of Logical and Algebraic Methods in Programming. 105 (2019) - p. 1-27 , 2019

Link: https://doi.org/10.1016/..

7

An architectural design for self-reporting e-health systems:

, In: Proceedings of the 1st International Workshop on Software Engineering for Healthcare,

Mukhiya, Suresh Kumar ; Rabbi, Fazle ; Pun, Ka I. - p. 1-8 , 2019

Link: https://dl.acm.org/doi/1..

8

A formal model of data access for multicore architectures w..:

Bijo, Shiji ; Johnsen, Einar Broch ; Pun, Ka I.
Science of Computer Programming. 179 (2019) - p. 24-53 , 2019

Link: https://doi.org/10.1016/..

9

Parallel Cost Analysis:

Albert, Elvira ; Correas, Jesús ; Johnsen, Einar Broch..
ACM Transactions on Computational Logic (TOCL). 19 (2018) 4 - p. 1-37 , 2018

Link: https://dl.acm.org/doi/1..

10

Parallel Cost Analysis:

Albert, Elvira ; Correas, Jesús ; Johnsen, Einar Broch..
ACM Transactions on Computational Logic. 19 (2018) 4 - p. 1-37 , 2018

Link: https://doi.org/10.1145/..

11

Deployment by Construction for Multicore Architectures:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling; Lecture Notes in Computer Science,

Bijo, Shiji ; Johnsen, Einar Broch ; Pun, Ka I.. - p. 448-465 , 2018

Link: https://doi.org/10.1007/..

12

An operational semantics of cache coherent multicore archit..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,

Bijo, Shiji ; Johnsen, Einar Broch ; Pun, Ka I.. - p. 1219-1224 , 2016

Link: https://dl.acm.org/doi/1..

13

Effect-polymorphic behaviour inference for deadlock checkin:

Pun, Ka I ; Steffen, Martin ; Stolz, Volker
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 6 - p. 1234-1267 , 2016

Link: https://doi.org/10.1016/..

14

Deadlock checking by data race detection:

Pun, Ka I ; Steffen, Martin ; Stolz, Volker
Journal of Logical and Algebraic Methods in Programming. 83 (2014) 5-6 - p. 400-426 , 2014

Link: https://doi.org/10.1016/..

15

Deadlock checking by a behavioral effect system for lock ha..:

Pun, Ka I. ; Steffen, Martin ; Stolz, Volker
The Journal of Logic and Algebraic Programming. 81 (2012) 3 - p. 331-354 , 2012

Link: https://doi.org/10.1016/..