ongoing
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
ongoing [2011/01/17 17:25] – bil | ongoing [2011/05/05 14:47] (current) – bil | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Ongoing projects ====== | ====== Ongoing projects ====== | ||
- | ====== Leadership Election Among Numbered Agents with Constrained Interactions ====== | ||
- | **Student**: | ||
- | **Supervisor**: | + | ====== Acoustic Cues and Self Motion ====== |
+ | |||
+ | {{: | ||
+ | |||
+ | **Student**: | ||
+ | |||
+ | **Supervisor**: | ||
__Description__ | __Description__ | ||
- | This project is an examination | + | We are capable |
- | When collections | + | The purpose |
- | The project will involve the creation of a simulator which will take parameters for the number of agents, their internal initial state such as arrangement in space, | + | ====== Implementation |
- | Theoretical results for such elections will also be determined, and will be compared with the experimental results for mutual validation. | + | **Student**: |
+ | **Supervisor**: | ||
+ | |||
+ | __Description__ | ||
+ | |||
+ | This project seeks to take the theoretical description of the | ||
+ | non-blocking chromatic search tree that was developed in a | ||
+ | previous CSE4080 project and produce a Java implementation, | ||
+ | experiments to test it and compare it with other leading concurrent dictionary structures. | ||
+ | |||
+ | Additionally, | ||
+ | algorithmic variations on the aforementioned theoretical description | ||
+ | were identified during the last project. | ||
+ | This project would attempt to explore many of these variations to | ||
+ | further refine the theoretical description, | ||
+ | dictionary algorithm. | ||
+ | In particular, this project would | ||
+ | provide a dictionary implementation with better | ||
+ | worst-case performance guarantees than previous | ||
+ | non-blocking dictionary implementations. | ||
+ | |||
+ | Finally, the project would attempt to establish formal proofs that the | ||
+ | structure provides guarantees regarding balance and worst-case performance. | ||
+ | If time permits, further work will be done towards establishing the | ||
+ | correctness of the algorithm. | ||
====== UCOSP: Development for Encyclopedia of Life ====== | ====== UCOSP: Development for Encyclopedia of Life ====== | ||
+ | |||
+ | {{: | ||
**Student**: | **Student**: |
ongoing.1295285142.txt.gz · Last modified: 2011/01/17 17:25 by bil