Erscheinungsjahr
Medientyp
Datenquelle
Fach
Sprache
1–20 von 27 Ergebnissen
Sortieren:
Sortieren:
-
On the membership and correctness problem for state serializability and value opacity
Freier ZugriffTIBKAT | 2023| -
Value-Based or Conflict-Based? Opacity Definitions for STMs
British Library Conference Proceedings | 2017| -
RoomCanvas: A Visualization System for Spatiotemporal Temperature Data in Smart Homes
Eurographics | 2021| -
FastLane Is Opaque — a Case Study in Mechanized Proofs of Opacity
British Library Conference Proceedings | 2018| -
Scheduling with Interjob Communication on Parallel Processors
British Library Conference Proceedings | 2016| -
Linear programming by an effective method using triangular matrices
Springer Verlag | 2009|Beteiligte: König, H.