Tracing algorithms visit reachable nodes in a graph and are central to activities such as garbage collection, marshalling etc. Traditional sequential algorithms use a worklist, re...
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efļ¬...
Embedded processors have become increasingly complex, resulting in variable execution behavior and reduced timing predictability. On such processors, safe timing speciļ¬cations e...
Jin Ouyang, Raghuveer Raghavendra, Sibin Mohan, Ta...
Recently, multi-core architectures with alternative memory subsystem designs have emerged. Instead of using hardwaremanaged cache hierarchies, they employ software-managed embedde...
Data conļ¬ation is a major issue in GIS: spatial data obtained from diļ¬erent sources, using diļ¬erent acquisition techniques, needs to be combined into one single consistent d...