Kenneth MacKenzie

According to our database1, Kenneth MacKenzie authored at least 17 papers between 2003 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Evaluating Scalable Distributed Erlang for Scalability and Reliability.
IEEE Trans. Parallel Distrib. Syst., 2017

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
ACM Trans. Program. Lang. Syst., 2017

Automatic pharynx and larynx cancer segmentation framework (PLCSF) on contrast enhanced MR images.
Biomed. Signal Proc. and Control, 2017

Automatic Quantification of Vocal Cord Paralysis - An Application of Fibre-optic Endoscopy Video Processing.
Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

Automatic detection of larynx cancer from contrast-enhanced magnetic resonance images.
Proceedings of the Medical Imaging 2015: Computer-Aided Diagnosis, 2015

Performance portability through semi-explicit placement in distributed Erlang.
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

3-dimensional throat region segmentation from MRI data based on fourier interpolation and 3-dimensional level set methods.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Modified fuzzy c-means clustering for automatic tongue base tumour extraction from MRI data.
Proceedings of the 22nd European Signal Processing Conference, 2014

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic.
Electr. Notes Theor. Comput. Sci., 2011

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

A Proof-Carrying-Code Infrastructure for Resources.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Extending resource-bounded functional programming languages with mutable state and concurrency.
Scalable Computing: Practice and Experience, 2005

Mobile Resource Guarantees (project evaluation paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Mobile Resource Guarantees and Policies.
Proceedings of the Construction and Analysis of Safe, 2005

Grail: a functional form for imperative mobile code.
Electr. Notes Theor. Comput. Sci., 2003

O'Camelot: adding objects to a resource-aware functional language.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

Camelot and Grail: resource-aware functional programming for the JVM.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003