Supervision
- Dr Piotr Dziurzanski (2014-2016, EU FP7 DreamCloud Project; 2017-2019, EU H2020 SAFIRE Project))
- Dr James Harbin (2012-2013, EPSRC LowPowNoC Project; 2013-2016 EPSRC MCC Project, 2016-2019 EPSRC MCCPS Project)
- Dr Rob Davis (2018-2019, EU H2020 SAFIRE Project)
- Dr Shuai Zhao (2018-2019, EU H2020 SAFIRE Project)
- Dr Michal Przewozniczek (2019, EU H2020 SAFIRE Project)
- Dr Jerry Swan (2017-2018, EU H2020 SAFIRE Project)
- Dr Jose Miguel Montanana Aliaga (2015-2016, EU FP7 DreamCloud Project)
- Dr Amit Kumar Singh (2014-2016, EU FP7 DreamCloud Project)
- Dr Andrew Burkimsher (2014-2015, EU FP7 DreamCloud Project)
- 2018 - Dr Yunfeng Ma - examined by Alan Burns and Wim Vanderbauwhede (University of Glasgow), went on to work at AOSSCI Technology, China.
- 2017 - Dr Hashan Roshantha Mendis - examined by Chris Crispin-Bailey and Bashir Al-Hashimi (University of Southampton), went on to work at Dell Technologies Inc, Taiwan.
- 2015 - Dr Hashem Ghazzawi - co-supervised with Iain Bate, examined by Jon Timmis and Paul Ezhilchelvan (Newcastle University), went on to work at Rapita Systems Ltd, UK.
- 2015 - Dr Bharath Sudev - examined by Neil Audsley and Tanya Vladimirova (University of Leicester), went on to work at University of Essex and Flakt Woods Group, UK.
- 2014 - Dr M. Norazizi Sham Mohd Sayuti - examined by Neil Audsley and Bjoern Franke (University of Edinburgh), went on to work at Universiti Sains Islam Malaysia.
- 2014 - Dr Andrew Burkimsher - co-supervised with Iain Bate, examined by Alan Burns and Rizos Sakellariou (University of Manchester), went on to work at Rotageek Ltd, Australia.
- 2014 - Dr Ipek Çaliskanelli, examined by Iain Bate and Utz Roedig (Lancaster University), went on to work at University of Liverpool, UK.
- 2011 - Dr Leandro Heleno Moller - co-supervised with Manfred Glesner at TU Darmstadt, went on to work at Mobotix AG, Germany.
- 2010 - Dr Luciano Copello Ost - co-supervised with Fernando Moraes at PUCRS, went on to work at LIRMM - University of Montpellier, France.
Full doctoral genealogy at the Mathematics Genealogy Project.
Feel free to email me about any of the topics below.
Real-Time Networking for Reliable and Critical Systems
Specific topics for PhD research:
- Mixed-criticality wireless communications over dynamic networks involves the adaptation of existing wireless communication standards to cope with the dynamic behaviour of the network. The increase in complexity of autonomous systems, as well as the need for cost and energy-efficient solutions, motivates the development of systems that are composed statically or dynamically by multiple wirelessly communicating modules. Examples of such systems include fractionated satellites, spacecraft, marine exploration vehicles and UAVs. A common feature to all of them is the need for timely and reliable wireless communication over a highly dynamic network (due to node movement, noisy channel, obstacles, etc.) Furthermore, communication traffic of different levels of criticality require network protocols to provide different levels of timing and reliability guarantees. Current solutions such as WirelessHART and AirTight (developed in York within the MCCPS project) are based on IEEE 802.15.4 and are able to provide guarantees under specific fault models by exploiting redundancy on packet routes and transmission timeslots. Both of them rely on a fixed-topology network, and in most cases use a predefined slot table to coordinate media access among nodes. The work proposed here will have to relax the assumptions of such protocols to deal with dynamic networks, and will have to investigate protocol extensions that can manage distributed changes in slot tables of affected nodes in such a way that worst-case packet latency models can still be derived. Initial prototypes can be based on simulations or our network of IEEE 802.15.4 nodes. Advanced prototypes could capture more realistic network scenarios by integrating network nodes to UAVs or marine exploration vehicles.
Read more:
MCCPS project
Eboracum simulator
J. Harbin, A. Burns, R.I. Davis, L.S. Indrusiak, I. Bate, and D. Griffin, The AirTight Protocol for Mixed Criticality Wireless CPS. ACM Transactions on Cyber-Physical Systems 4(2), 2020
- Time-Sensitive Networks (TSN) are extensions to the Ethernet standards to enable real-time guarantees in such networks. There are significant commercial advantages in using the same network infrastructure for time-critical industrial control traffic and best-effort traffic such as monitoring for predictive maintenance. Even though the TSN standards are already mature, there are many open research questions regarding efficient methods for validating and optimising timing guarantees for traffic streams with distinct urgency and criticality. The work proposed here will investigate schedulability tests and optimisation methods to enable efficient usage of TSN resources for specific problems in domains such as industrial control, automotive networks and media networking.
Read more:
IEEE 802 TSN standards
J. L. Messenger, Time-Sensitive Networking: An Introduction. IEEE Communications Standards Magazine, v. 2, n. 2, pp. 29-33, 2018.
Voica Gavrilut, Design Optimization of IEEE Time-Sensitive Networks (TSN) for Safety-Critical and Real-Time Applications, 2018.
- HF Networking HF radio links (3-30MHz) are usually dismissed as unreliable and low bandwidth, and their use in networking is very niche. However, ionospheric propagation offers the possibility of global-scale communication with costs that are orders of magnitude lower than satellite links. The work proposed here will investigate resource management techniques to enable reliable global-scale networking over unpredictable HF links. It should focus on networks where the core topology is based on reliable IP-based links and the network edge is based on unpredictable HF links. Such networks have wide applicability in remote sensing from areas without access to communication infrastructure (e.g. ocean monitoring). Techniques to be considered include real-time sourcing of ionospheric propagation paths, geographically distributed crowd-sourced data reception, and machine learning for spectrum sensing and physical link management (power, frequency and transmission mode).
Read more:
P. Denisowski, The Rebirth of HF - White Paper, Rohde&Schwarz, 2020.
Isode, STANAG 5066 - The Standard for Data Applications over HF Radio - White Paper.
J. Ferguson, Simplifying AI for Communications, Radar, and Wireless Systems, Deepwawe Digital, 2020.
Application-aware resource management in multiprocessor, high-performance and cloud computing
The mapping of application tasks onto computing platforms has critical impact over the performance and energy-efficiency of computer systems, as the mapping process partitions the application and allocates the platform resources that will execute each of the partitions. This problem has been addressed since the dawn of computing, but its importance has grown recently because of the additional complexity imposed by the potential availability of massive parallelism at the platform level. Many of the existing heuristics can still be used for finding initial mappings, but the dynamic nature of complex systems requires the mapping to be re-done during runtime in order to adapt to the new situation. To cope with such cases, new heuristics must be found so that their impact is minimal regarding (a) the information they need about the platform state, (b) the overhead caused by the re-mapping of the different parts of an application, and (c) the execution overhead of the heuristic itself.
Specific topics for PhD research:
- Evolutionary algorithms have been currently used to statically optimise design and mapping of multiprocessor platforms. Timeliness and energy dissipation have been comprehensively addressed, but there is still scope for a further research on optimising other relevant aspects to multicore embedded systems such as reliability and security, or on coping with the issues raised by the latest semiconductor advances, such as variability and silicon aging.
As the computational power of such platforms keeps increasing, and so does the complexity and dynamism of applications they execute, it is natural to assume that evolutionary algorithms could also be employed during runtime to "evolve" optimised configurations and mappings as the dynamics of the system changes. Interesting research questions include the fine-tuning of the evolutionary approach (which could be done statically or also during runtime) and the decision on how much of the platform resources should be allocated to the evolutionary algorithm itself (how many cores, how much of the interconnect, how to bound its utilisation) so that its overhead will always be less than the optimisation benefits it provides.
Read more:
M.N.S.M. Sayuti and L.S. Indrusiak, Real-time low-power task mapping in Networks-on-Chip, in: IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2013.
M.N.S.M. Sayuti and L.S. Indrusiak, A Function for Hard Real-Time System Search-Based Task Mapping Optimisation, in: IEEE Int Symposium on Real-Time Distributed Computing (ISORC), 2015.
- Pheromone signalling is a decentralised load balancing algorithm created by Ipek Caliskanelli and myself, inspired on the behaviour of queen bees, and originally applied to wireless sensor networks. It is general enough to be used in many kinds of distributed and multiprocessor systems, and could be adapted to solve problems such as fault tolerance, resource allocation and duplication management.
Read more:
I. Caliskanelli et al, Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling, International Journal of Distributed Sensor Networks, 2013.
H. R. Mendis et al, Bio-inspired distributed task remapping for multiple video stream decoding on homogeneous NoCs, in: ESTImedia, 2015.
- Cloud resource management is a key challenge to achieve performance predictability and energy efficient in large scale cloud systems. Our market-inspired techniques have shown promising results by unifying performance, time and energy under the notion of value, providing a simple and yet powerful metric to guide allocation heuristics.
Read more:
DreamCloud Project.
A.K. Singh, P. Dziurzanski, L. S. Indrusiak, Market-inspired dynamic resource allocation in many-core high performance computing systems, in: HPCS, 2015.
A.K. Singh, P. Dziurzanski, L. S. Indrusiak, Value and Energy Optimizing Dynamic Resource Allocation in Many-Core HPC Systems, in: CloudCom, 2015.
Multiprocessor platforms for real-time and embedded systems
Chips with multiple processing cores are already a reality in embedded systems, but there are many open issues on how to maximize system performance through parallelism while complying with constraints on chip area, cost, power consumption and heat dissipation. In order to find the best trade-off for each embedded application, developers must be able to validate the software functionality and performance over different alternatives of the hardware platform, and due to short time-to-market this is expected to be done even before the actual hardware is available.
Specific topics for PhD research:
- Mixed-criticality many-core systems and interconnects, which are needed to provide performance guarantees that are custom-tailored to systems that perform computation at different levels of criticality: from safety-critical to mission-critical to best-effort.
Read more:
A. Burns, J. Harbin and L. S. Indrusiak, A Wormhole NoC Protocol for Mixed Criticality Systems, in: Real-Time Systems Symposium (RTSS), 2014.
L. S. Indrusiak, J. Harbin and A. Burns, Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip, in: EUROMICRO Conference on Real-Time Systems (ECRTS), 2015.
- Design and evaluation of time-predictable network-on-chip interconnects, aiming to provide the software and OS layers with timing guarantees on multi-processor communication latency. Special attention must be given to the different types of guarantees that must be provided at each step of the design flow (from early specification to cycle-accurate models), and how the guarantees from one step can be extended so that they also hold at lower abstraction levels. Architectural features to be explored here include networks-on-chip with different flow control mechanisms (circuit switching, wormhole switching, virtual channels).
Read more:
L. S. Indrusiak, J. Harbin and O. M. dos Santos, Fast Simulation of Networks-on-Chip with Priority-Preemptive Arbitration, ACM Transactions on Design Automation of Electronic Systems (TODAES), 20(4), 2015.
- Evolutionary algorithms are highly parallelisable and have well defined communication patterns, so it is likely that specific optimisations on the memory hierarchy and on-chip interconnects of multiprocessor platforms could be proposed aiming to accelerate the execution of such algorithms. A relevant research question is to identify different types of evolutionary algorithms (regarding their mutation, crossover and selection methods) and evaluate which kind of architectural optimisation would benefit each of them.
Read more:
Y. Ma and L. S. Indrusiak, Hardware-Accelerated Parallel Genetic Algorithm for Fitness Functions with Variable Execution Times, in: Genetic and Evolutionary Computation Conference (GECCO), 2016.
Y. Xue et al, An efficient Network-on-Chip (NoC) based multicore platform for hierarchical parallel genetic algorithms, in: IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 2014.
- Security in Network-on-Chip interconnects is a novel area of research, aiming to devise mechanisms that can make it harder for an attacker to obtain sensitive information by monitoring the behaviour of the NoC interconnect. The monitoring can be done by malicious applications using the NoC, or even by an external attacker using covert channels (e.g. temperature or electromagnetic activity). An important research question is to identify mechanisms that can improve NoC security without jeopardising performance guarantees, specially in the case of hard real-time applications.
Read more:
L. S. Indrusiak, J. Harbin, Cezar Reinbrecht, and M. J. Sepulveda, Side-channel protected MPSoC through secure real-time networks-on-chip, Microprocessors and Microsystems, v. 68, pp. 34-46, 2019.
L. S. Indrusiak, J. Harbin, and M. J. Sepulveda, Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip, arXiv:1607.03450 [cs.DC], 2016.
M. J. Sepulveda, J.-P. Diguet, M. Strum, and G. Gogniat, NoC-Based Protection for SoC Time-Driven Attacks, IEEE Embedded Systems Letters, vol. 7, no. 1, pp. 7-10, Mar. 2015.
Y. Wang and G. E. Suh, Efficient Timing Channel Protection for On-Chip Networks, in: Proceedings of the 2012 IEEE/ACM Sixth International Symposium on Networks-on-Chip, Washington, DC, USA, 2012, pp. 142-151.
Design and Optimisation of IoT Systems (Internet of Things)
An important aspect of developing any system is having an appropriate way for describing both the problem and solution domains. This is particularly critical when designing IoT systems, because they are applied to different domains such as industrial process monitoring or shopper's behaviour prediction. Specialists in those areas know their problem quite well but are not necessarily willing to learn details about IoT technology challenges and issues. My model-based approach to IoT is based on a complete separation of concerns: one model which describes a distributed sensing and actuation application (possibly specified by a problem domain specialist) and a set of models which describe possible IoT platforms and protocols that are supposed to provide the resources for the application's execution. The research questions that arise from such a paradigm include the definition of domain-specific modelling languages, application-platform mapping, design space exploration and platform validation.
Specific topics for PhD research:
- Domain-specific modelling of distributed sensing and actuation applications involves the definition of a system specification language that can be adapted/extended to different application domains (in such a way that domain specialists would feel comfortable using it) while at the same time providing unambiguous description of the system requirements (in such a way it can be used to automatically generate fitness functions to evaluate alternative implementation platforms)? There's a continuum of possibilities to choose from when designing such language. In one extreme, language constructs are closely related to one application domain and which use models of time, concurrency and idleness that match the domain experts' basic notions. On another, the languages that provide little abstraction of the IoT components (e.g. Mote Runner). The goal here is to investigate a language that can support (most of) domain specialist's notions and produces models that allow successive transformation towards implementation-related notions so that increasingly accurate performance and power consumption figures can be obtained.
Read more:
L. Brisolara, P. R. Ferreira, and L. S. Indrusiak, Application modeling for performance evaluation on event-triggered wireless sensor networks, in: Design Autom. for Emb. Sys., 20(4), 2016. p. 269-287.
Eboracum simulator
- Optimisation for domain-specific IoT deployments is a crucial process to search for system configurations that suit application-specific constraints. This process includes heuristics to generate different configurations, which can be based on different topologies, protocols, organisation, node storage and computation capacities, etc. Because of the multiple alternatives, the resulting design space is vast and multidimensional, so efficient search heuristics are necessary and fast fitness functions must be devised to quickly rule out unsuitable configurations.
Read more:
I. Caliskanelli, and L. S. Indrusiak, Search-Based Parameter Tuning on Application-Level Load Balancing for Distributed Embedded Systems, in: IEEE International Conference on Embedded and Ubiquitous Computing (EUC), 2013.
Eboracum simulator
- Adaptive behaviour in IoT can be achieved by orchestrating the way each individual node reacts to changes in the application's goals, the environment or in the nodes themselves. Our approach to adaptive behaviour is to allow each node to decide which services it provides to the network, taking into account the application objectives, its perceived state of the network and its own state. The application objectives include the end-user goals with the IoT deployment, which are known a priori but could change after deployment. The state of the network and the node can include the power budget of the node, information about reachable neighbors, services provided by them, etc. Based on that information, each node can choose which services it should provide to its neighbors and, ultimately, to the end user. Such decision can be very conservative, e.g. in case it power budget is limited, aiming to extend the lifetime of the network to the detriment of its performance. On the other hand, it may decide to provide a large set of services if its contribution is critical to the success of the system. In other words, a node becomes more "egoistic" and refuses to provide one (or more) of the services it is capable to provide if it "feels" that its own "existence" is threatened by lack of power, or more "altruistic" if it "feels" that the network depends heavily on it. The research goal here is to evaluate different ways to address such trade-off: when should a node restrict access to its services? how to know which of the services should be restricted first? how to handle the mobility of nodes? are there any "bio-inspired" methods that could be used to model the egoistic vs. altruistic behaviour of each particular node? can we use hardware reconfiguration as a way to dynamically enable nodes to provide services that are needed at a given point in time?
Read more:
I. Caliskanelli et al, Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling, International Journal of Distributed Sensor Networks, 2013.
P. R. Ferreira, L. Brisolara, and L. S. Indrusiak, Decentralised Load Balancing in Event-Triggered WSNs Based on Ant Colony Work Division, in: 41st EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2015.
(updated on 12.10.2022)
- Cloud-based multi-stream video processing. 2023. BEng Computer Science. University of York, UK.
Author: Rhys Milling
- Simulation of Urban Airspace Resource Management. 2023. BEng Computer Science. University of York, UK.
Author: Kyriakos Antoniou
- Data Analysis and Machine Learning for HF Radio Communications. 2023. BEng Computer Science. University of York, UK.
Author: Aymeric Goransson
- Simulation of Urban Airspace Resource Management. 2023. BEng Computer Science. University of York, UK.
Author: Harry Whittaker
- Data Analysis and Machine Learning for HF Radio Communications. 2022. BEng Computer Science. University of York, UK.
Author: Bethany Gilmore
- Data Analysis and Machine Learning for HF Radio Communications. 2022. BEng Computer Science. University of York, UK.
Author: Jack Longmuir
- Simulation of Urban Airspace Resource Management. 2022. BEng Computer Science. University of York, UK.
Author: Quentin Rothman
- Group formation tool for collaborative learning. 2022. BEng Computer Science. University of York, UK.
Author: Joe Veale
- Group formation tool for collaborative learning. 2022. BEng Computer Science. University of York, UK.
Author: Shijie Lin
- Group formation tool for collaborative learning. 2022. BEng Computer Science. University of York, UK.
Author: Brian Chung
- Design and Implementation of a Virtual Automotive Hardware Security Module. 2020. M.Eng. in Computer Science. University of York, UK.
Author: George W. Bray
- Emulation for the Falcon microprocessor architecture. 2020. B.Eng. in Computer Science. University of York, UK.
Author: Darren Mark Jones
- Genetic Algorithms for Task Mapping over Real-Time Networks-on-Chip: Comparing Topologies. 2020. B.Eng. in Computer Science. University of York, UK.
Author: Murray How-Spinks
- Simulation of 6TiSCH Networks. 2020. B.Eng. in Computer Science. University of York, UK.
Author: Peter Castledine
- Genetic Algorithms for Real-Time Network-on-Chip Optimisation. 2020. B.Eng. in Computer Science. University of York, UK.
Author: Suleman Zaki
- Comparing Metaheuristics for Task Mapping over Real-Time Networks-on-Chip. 2019. M.Eng. in Computer Science. University of York, UK.
Author: Ryan Smith
- FPGA design and implementation of a priority-arbitrated Network-on-Chip router. 2019. M.Eng. in Computer Science. University of York, UK.
Author: James Harrison
- Simulation of the Impact of Automated Truck Platooning on Existing Road Infrastructure. 2019. B.Eng. in Computer Science. University of York, UK.
Author: Tim Bradgate
- Simulation of Mobile Robotic Agents for Supporting Load-Balancing Wireless Sensor Networks. 2019. B.Eng. in Computer Science. University of York, UK.
Author: Matthew Dunn
- Simulation of the impact of automated truck platooning traffic over existing bridge infrastructure. 2019. B.Eng. in Computer Science. University of York, UK.
Author: Hugo Geeves
- A Small-Scale Wireless Localization Fingerprinting System using IRIS Motes. 2019. B.Eng. in Computer Science. University of York, UK.
Author: Maxime Franchot
- Genetic Algorithms for Task Mapping over Real-Time Networks-on-Chip: Priority Assignment and Optimisation. 2018. M.Eng. in Computer Science. University of York, UK.
Author: Sam Watkins
- Task Mapping over Mixed-Criticality Networks-on-Chip. 2018. M.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Liya Paskaleva
- Genetic Algorithms for Real-Time Network-on-Chip Optimization: supporting reconfigurable cores. 2018. M.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Connor Yoh
- Simulation-based Evaluation of Network Latency and Optimisation in Wormhole Networks-on-Chip. 2018. B.Eng. in Computer Science. University of York, UK.
Author: Thomas Braun
- Real-Time Communication Guarantees over Mote Runner. 2018. B.Eng. in Computer Science. University of York, UK.
Author: Jonathan Derrick
- An Evaluation of Evolutionary Models for Task Mapping over Real-Time Heterogeneous Network-on-Chips. 2017. M.Eng. in Computer Science. University of York, UK.
Author: Oliver Lea
- Genetic Algorithms for Task Mapping over Real-Time Networks-on-Chip: Memory Optimisation. 2017. M.Eng. in Computer Science. University of York, UK.
Author: Lloyd Still
- Optimisation and comparative analysis of genetic algorithms for indoor localisation. 2017. M.Eng. in Computer Science with Artificial Intelligence. University of York, UK.
Author: Miguel Boland
- FPGA-based hardware acceleration for FastSLAM. 2017. M.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Andrei-Costin Zisu
- Performance Analysis of a UAV Remote Vision-assisted Guidance Module. 2017. M.Eng. in Computer Systems and Software Engineering. University of York, UK.
Author: Bart Platak
- Benchmarks for multi and many-core systems. 2016. M.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Anthony Williams
- Maker Culture and Home Automation - An Experimental Study Focused on Multi-Room Audio. 2016. B.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Alistair Blair
- Simulating Auction Style Resource Allocation in Cloud Computing. 2015. M.Sc. in Information Technology. University of York, UK.
Author: James Dipper
- Acoustic localisation in wireless sensor networks using Mote Runner. 2015. M.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Henri Normak
- Simulation of video processing algorithms using Ptolemy II. 2015. M.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Ross Brown
- Network-on-Chip Simulation Visualisation. 2015. M.Eng. in Computer Science. University of York, UK.
Author: Ashley Coombs
- Altruistic and egoistic behaviour in wireless sensor networks. 2014. M.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Andrew Faulkner
- Using Wireless Sensor Networks to Produce Music. 2014. M. Eng. Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Adam Fahie
- Simultaneous Localisation and Mapping for Mobile Robotics. 2014. M.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Anthony Free
- Simulating resource allocation mechanisms in Cloud Computing. 2013. M.Sc. in Information Technology. University of York, UK.
Author: Hanwen Zhang
- Heuristics for dynamic mapping of tasks in multicore systems. 2013. M.Eng. in Computer Systems and Software Engineering. University of York, UK.
Author: Steven Fisher
- Scheduling Topology Reconfiguration for Networks on Chips. 2013. B.Eng. in Computer Science with Embedded Systems Engineering. University of York, UK.
Author: Lyubomir Chernev
- Iterative linear programming as an optimisation method for buyer resources in online auctions evaluated using a Java-based Monte-Carlo simulation. 2012. M.Sc. in Information Technology. University of York, UK.
Author: Daniel Baark
- Mapping of Real-time Applications on Network-on-Chip based MPSoCs. 2012. M.Sc. by Research in Computer Science. University of York, UK.
Author: Paris Mesidis
- Static Scheduling of Tasks in Large Multicore Systems Using Evolutionary Computation Techniques. 2012. M.Eng. in Computer Systems and Software Engineering. University of York, UK.
Author: Adrian Racu
- Exploring Multi-Hop Communication in Wireless Sensor Networks using Mote Runner. 2012. M.Eng. in Computer Systems and Software Engineering. University of York, UK.
Author: Brian Wong
- A Web Interface for In-home Monitoring using Wireless Sensor Networks and Mote Runner. 2012. M.Eng. in Computer Systems and Software Engineering. University of York, UK.
Author: Mohammed Omar
- Applying pattern matching techniques to online penny auctions. 2012. B.Eng. in Computer Science. University of York, UK.
Author: Alastair Clark
- A web interface for wireless deployment of Mote Runner applications on sensor motes. 2012. B.Eng. in Computer Science. University of York, UK.
Author: Robert Cazaciuc
- Runtime Monitoring of Inter-task Communication in Multi-core Architectures. 2010. M.Sc. in Information Technology. University of York, UK.
Author: Okowa Aghudum
- Efficient request/response support in multicore architectures. 2010. M.Sc. in Information Technology. University of York, UK.
Author: Jianping Zhou
- Indoor Localization using fingerprinting technique in minimal wireless sensor network setup. 2010. M.Sc. in Computing. University of York, UK.
Author: Ujwal Bhagwat
- Static mapping of tasks in large multicore systems using evolutionary algorithms. 2010. M.Sc. in Computing. University of York, UK.
Author: Xiaojie Zhang
- Broadcast-based Geographical Information System: a feasibility study concerning map data partitioning. 2010. B.Eng. in Computer Science. University of York, UK.
Author: Derek Wicks
- Comparative Analysis of Object Oriented and Procedural Programming Methodologies on the Android Platform. 2009. M.Sc. in Information Technology. University of York, UK.
Author: Akshay Dashrath
- Design and implementation of a web-based database system to manage international academic collaboration activities. 2009. M.Sc. in Information Technology. University of York, UK.
Author: Shasha Du
- Service availability management in power-constrained ad-hoc networks. 2009. M.Sc. in Computing. University of York, UK.
Author: Tarun Chhabra
- Availability management of Composable Services for Wireless Sensor Networks. 2008. M.Sc. in Information and Communication Engineering. TU Darmstadt, Germany.
Author: Diego Alonso Ahogado Alvarez
- Design Space Exploration of the On-Chip Interconnect Structure of a Graphic Display Controller Using VisualSim. 2008. M.Sc. in Information and Communication Engineering. TU Darmstadt, Germany.
Author: Xi Liu
- TinyOS Extensions Supporting Abstract Behavioral Modeling based on a Type System. 2007. Diploma in Electrical Engineering. TU Darmstadt, Germany.
Author: Andreas Thuy
- VHDL Hardware Design and Implementation of a Camera-Link Framegrabber based on a Dynamic Reconfigurable Image Processing Kernel. 2007. M.Sc. in Information and Communication Engineering. TU Darmstadt, Germany.
Author: Cihan Senel
- Parallele Prozesse in rekonfigurierbaren Rechnersystemen: Entwurfsraumanalyse und Fallstudien. 2006. M.Sc. in Electrical Engineering. TU Darmstadt, Germany.
Author: Christopher Spies
- Programmability support in a LEON2-based wireless sensor network node. 2006. M.Sc. in Information and Communication Engineering. TU Darmstadt, Germany.
Author: Enkhbold Ochirsuren
- VHDL Hardware Entwurf und Implementierung dynamisch rekonfigurierbarer Module auf einer Virtex-4 FPGA. 2006. Diploma in Electrical Engineering. TU Darmstadt, Germany.
Author: Abdelmajid El Mahjoub
- Unterstützung paralleler Befehlausführung in rekonfigurierbarer Hardware durch die Verwendung codegenerierender Actor-Bibliotheken. 2006. M.Sc. in Electrical Engineering. TU Darmstadt, Germany.
Author: Florian Markert
- Exploring Concurrency at Instruction Level on Reconfigurable Computing Platforms. 2005. M.Sc. in Information and Communication Engineering. TU Darmstadt, Germany.
Author: Hua Zhong
- Real-time Operating System Support for LEON based Reconfigurable Hardware. 2005. M.Sc. in Information and Communication Engineering. TU Darmstadt, Germany.
Author: Muhammed Najmul Huda
- Actor-oriented Encapsulation of Reconfigurable Prototyping Platforms. 2005. M.Sc. in Information and Communication Engineering. TU Darmstadt, Germany.
Author: Diego Jimenez Orostegui
- VHDL Hardware-Entwurf und Implementierung modularer Algorithmen zur Farbrückgewinnung und Transformation eines CMOS Videosignals. 2005. Diploma in Electrical Engineering. TU Darmstadt, Germany.
Author: Stefan Zink
- VHDL-Entwurf und Implementierung eines parametrisierbaren Algorithmus zur Echtzeit-Binärisierung von Videodaten. 2005. Diploma in Electrical Engineering. TU Darmstadt, Germany.
Author: Adeel Ashraf
- VHDL Entwurf und Implementierung eines modularen Hardware-Bildverarbeitungsalgorithmus für Lichtschnittverfahren. 2004. Diploma in Electrical Engineering. TU Darmstadt, Germany.
Author: Friedhelm Mayer
- Analysis, Design and FPGA Implementation of a Reconfigurable Equalizer for WCDMA using Actor-oriented Modeling and Co-Simulation Tools. 2004. M.Sc. in Information and Communication Engineering. TU Darmstadt, Germany.
Author: Romualdo Begale Prudêncio.
- Analysis, Design and FPGA Implementation of Chaotic Systems as Alternative for Gaussian Noise Generation. 2004. M.Sc. in Information and Communication Engineering. TU Darmstadt, Germany.
Author: Elvio Carlos Dutra e Silva Jr.
- Typabstraktion für Jini-eingebettete rekonfigurierbare Hardware (Typing abstraction for Jini-encapsulated reconfigurable hardware). 2002. Diploma in Electrical Engineering. TU Darmstadt, Germany.
Author: Florian Lubitz