Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Spatial (in)accuracy of cell broadcast alerts in urban context: Feedback from the April 2023 Cannes tsunami trial

Subjects: Alert; Cell broadcast; Crisis management

  • Source: ISSN: 0198-9715 ; Computers, Environment and Urban Systems ; https://hal.science/hal-04335194 ; Computers, Environment and Urban Systems, 2024, 107, pp.102055.

تفاصيل العنوان

×
Conference

Verification of Two Real-Time Systems Using Parametric Timed Automata

Subjects: Real-Time Applications; Verification Method; Timed AutomataLund; Sweden

  • Source: WATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems ; https://hal.science/hal-01240583 ;

تفاصيل العنوان

×
Academic Journal

Dislocation and disclination densities in experimentally deformed polycrystalline olivine

Subjects: [PHYS.COND.CM-MS]Physics [physics]/Condensed Matter [cond-mat]/Materials Science [cond-mat.mtrl-sci]

  • Source: ISSN: 0935-1221 ; European Journal of Mineralogy ; https://hal.univ-lille.fr/hal-04055714 ; European Journal of Mineralogy, 2023, European Journal of Mineralogy, 35 (2), pp.219-242.

تفاصيل العنوان

×
Academic Journal

Deprewriter: On the fly rewriting method deprecations.

Subjects: Dynamically-typed language; deprecation; automatic rewriting

  • Source: ISSN: 1660-1769 ; The Journal of Object Technology ; https://inria.hal.science/hal-03563605 ; The Journal of Object Technology, 2022, 21 (1), pp.1-23. ⟨10.5381/jot.2022.21.1.a1⟩.

تفاصيل العنوان

×
Academic Journal

Reducing the fault vulnerability of hard real-time systems

Subjects: Real-Time systems; Reliability; Cache memory

  • Source: ISSN: 1383-7621 ; Journal of Systems Architecture ; https://hal.science/hal-03842393 ; Journal of Systems Architecture, 2022, 133, pp.102758. ⟨10.1016/j.sysarc.2022.102758⟩.

تفاصيل العنوان

×
  • 1-10 ل  20 نتائج ل ""Analysis tools""