4 Search Results for "Griffin, David"

Document
DOI: 10.4230/LIPIcs.ECRTS.2021.7
Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity

Authors: Robert I. Davis, David Griffin, and Iain Bate

Published in: LIPIcs, Volume 196, 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)

Abstract
Timing verification of multi-core systems is complicated by contention for shared hardware resources between co-running tasks on different cores. This paper introduces the Multi-core Resource Stress and Sensitivity (MRSS) task model that characterizes how much stress each task places on resources and how much it is sensitive to such resource stress. This model facilitates a separation of concerns, thus retaining the advantages of the traditional two-step approach to timing verification (i.e. timing analysis followed by schedulability analysis). Response time analysis is derived for the MRSS task model, providing efficient context-dependent and context independent schedulability tests for both fixed priority preemptive and fixed priority non-preemptive scheduling. Dominance relations are derived between the tests, and proofs of optimal priority assignment provided. The MRSS task model is underpinned by a proof-of-concept industrial case study.
Cite as

Robert I. Davis, David Griffin, and Iain Bate. Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity. In 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 196, pp. 7:1-7:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{davis_et_al:LIPIcs.ECRTS.2021.7,
  author =	{Davis, Robert I. and Griffin, David and Bate, Iain},
  title =	{{Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity}},
  booktitle =	{33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)},
  pages =	{7:1--7:26},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-192-4},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{196},
  editor =	{Brandenburg, Bj\"{o}rn B.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2021.7},
  URN =		{urn:nbn:de:0030-drops-139388},
  doi =		{10.4230/LIPIcs.ECRTS.2021.7},
  annote =	{Keywords: real-time, multi-core, scheduling, schedulability analysis, cross-core contention, resource stress, resource sensitivity}
}
Document
DOI: 10.4230/LIPIcs.GISCIENCE.2018.1
Early Detection of Herding Behaviour during Emergency Evacuations

Authors: David Amores, Maria Vasardani, and Egemen Tanin

Published in: LIPIcs, Volume 114, 10th International Conference on Geographic Information Science (GIScience 2018)

Abstract
Social scientists have observed a number of irrational behaviours during emergency evacuations, caused by a range of possible cognitive biases. One such behaviour is herding - people following and trusting others to guide them, when they do not know where the nearest exit is. This behaviour may lead to safety under a knowledgeable leader, but can also lead to dead-ends. We present a method for the automatic early detection of herding behaviour to avoid suboptimal evacuations. The method comprises three steps: (i) people clusters identification during evacuation, (ii) collection of clusters' spatio-temporal information to extract features for describing cluster behaviour, and (iii) unsupervised learning classification of clusters' behaviour into 'benign' or 'harmful' herding. Results using a set of different detection scores show accuracies higher than baselines in identifying harmful behaviour; thus, laying the ground for timely irrational behaviour detection to increase the performance of emergency evacuation systems.
Cite as

David Amores, Maria Vasardani, and Egemen Tanin. Early Detection of Herding Behaviour during Emergency Evacuations. In 10th International Conference on Geographic Information Science (GIScience 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 114, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{amores_et_al:LIPIcs.GISCIENCE.2018.1,
  author =	{Amores, David and Vasardani, Maria and Tanin, Egemen},
  title =	{{Early Detection of Herding Behaviour during Emergency Evacuations}},
  booktitle =	{10th International Conference on Geographic Information Science (GIScience 2018)},
  pages =	{1:1--1:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-083-5},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{114},
  editor =	{Winter, Stephan and Griffin, Amy and Sester, Monika},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.1},
  URN =		{urn:nbn:de:0030-drops-93293},
  doi =		{10.4230/LIPIcs.GISCIENCE.2018.1},
  annote =	{Keywords: spatio-temporal data, emergency evacuations, herding behaviour}
}
Document
Short Paper
DOI: 10.4230/LIPIcs.GISCIENCE.2018.59
The Landform Reference Ontology (LFRO): A Foundation for Exploring Linguistic and Geospatial Conceptualization of Landforms (Short Paper)

Authors: Gaurav Sinha, Samantha T. Arundel, Torsten Hahmann, E. Lynn Usery, Kathleen Stewart, and David M. Mark

Published in: LIPIcs, Volume 114, 10th International Conference on Geographic Information Science (GIScience 2018)

Abstract
The landform reference ontology (LFRO) formalizes ontological distinctions underlying naïve geographic cognition and reasoning about landforms. The LFRO taxonomy is currently based only on form-based distinctions. In this significantly revised version, several new categories have been added to explicate ontological distinctions related to material-spatial dependence and physical support. Nuances of common natural language landform terms and implications for their mapping are discussed.
Cite as

Gaurav Sinha, Samantha T. Arundel, Torsten Hahmann, E. Lynn Usery, Kathleen Stewart, and David M. Mark. The Landform Reference Ontology (LFRO): A Foundation for Exploring Linguistic and Geospatial Conceptualization of Landforms (Short Paper). In 10th International Conference on Geographic Information Science (GIScience 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 114, pp. 59:1-59:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{sinha_et_al:LIPIcs.GISCIENCE.2018.59,
  author =	{Sinha, Gaurav and Arundel, Samantha T. and Hahmann, Torsten and Usery, E. Lynn and Stewart, Kathleen and Mark, David M.},
  title =	{{The Landform Reference Ontology (LFRO): A Foundation for Exploring Linguistic and Geospatial Conceptualization of Landforms}},
  booktitle =	{10th International Conference on Geographic Information Science (GIScience 2018)},
  pages =	{59:1--59:7},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-083-5},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{114},
  editor =	{Winter, Stephan and Griffin, Amy and Sester, Monika},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.59},
  URN =		{urn:nbn:de:0030-drops-93873},
  doi =		{10.4230/LIPIcs.GISCIENCE.2018.59},
  annote =	{Keywords: landform, reference ontology, terrain reasoning, dependence, support}
}
Document
DOI: 10.4230/OASIcs.WCET.2010.44
Realism in Statistical Analysis of Worst Case Execution Times

Authors: David Griffin and Alan Burns

Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)

Abstract
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the realism of their models in order to provide generality and precision, and if the sacrifice of realism can impact the safety of the model. The Gumbel distribution is assessed in terms of its assumption of continuous behaviour and its need for independent and identically distributed data. To ensure that predictions made by EVT estimations are safe, additional restrictions on their use are proposed and justified.
Cite as

David Griffin and Alan Burns. Realism in Statistical Analysis of Worst Case Execution Times. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 44-53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{griffin_et_al:OASIcs.WCET.2010.44,
  author =	{Griffin, David and Burns, Alan},
  title =	{{Realism in Statistical Analysis of Worst Case Execution Times}},
  booktitle =	{10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
  pages =	{44--53},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-21-7},
  ISSN =	{2190-6807},
  year =	{2010},
  volume =	{15},
  editor =	{Lisper, Bj\"{o}rn},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.44},
  URN =		{urn:nbn:de:0030-drops-28245},
  doi =		{10.4230/OASIcs.WCET.2010.44},
  annote =	{Keywords: WCET, Extreme value statistics, Gumbel distribution}
}
  • Refine by Author
  • 2 Griffin, David
  • 1 Amores, David
  • 1 Arundel, Samantha T.
  • 1 Bate, Iain
  • 1 Burns, Alan
  • Show More...

  • Refine by Classification
  • 1 Computer systems organization → Real-time systems
  • 1 Computing methodologies → Spatial and physical reasoning
  • 1 Information systems → Location based services
  • 1 Information systems → Ontologies
  • 1 Software and its engineering → Real-time schedulability

  • Refine by Keyword
  • 1 Extreme value statistics
  • 1 Gumbel distribution
  • 1 WCET
  • 1 cross-core contention
  • 1 dependence
  • Show More...

  • Refine by Type
  • 4 document

  • Refine by Publication Year
  • 2 2018
  • 1 2010
  • 1 2021

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact