Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Harald Roeck"'
Publikováno v:
PODC
Maintaining data structure semantics of concurrent queues such as first-in first-out (FIFO) ordering requires expensive synchronization mechanisms which limit scalability. However, deviating from the original semantics of a given data structure may a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::311f7d7856ed0ff68816e36b63438ffd
https://doi.org/10.1145/1993806.1993869
https://doi.org/10.1145/1993806.1993869
Publikováno v:
AIAA Guidance, Navigation and Control Conference and Exhibit.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4092ca69750f001ed654b6a675840738
https://doi.org/10.2514/6.2008-7413
https://doi.org/10.2514/6.2008-7413
Autor:
Rainer Trummer, Joshua S. Auerbach, Vadakkedathu T. Rajan, Daniel Iercan, David F. Bacon, Christoph M. Kirsch, Harald Roeck
Publikováno v:
LCTES
Existing programming methodologies for real-time systems suffer from a low level of abstraction and non-determinism in both the timing and the functional domains. As a result, real-time systems are difficult to test and must be re-certified every tim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1489a0847681ebec45a7a1a73345f543
https://doi.org/10.1145/1254766.1254775
https://doi.org/10.1145/1254766.1254775