Source: Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009) ; https://hal.univ-reunion.fr/hal-01188696 ; Fourth Workshop on Bytecode Semantics, Verification,

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

اقرأ أكثر حفظ في قائمتي

Conference

On the Termination of Borrow Checking in Featherweight Rust

Authors : Payet, Etienne; Pearce, David, J; Spoto, Fausto ...

Subjects: Borrowing; Type Checking; RustUnited StatesPasadena (CA), United States

Source: Proceedings of the 14th International NASA Formal Methods Symposium (NFM 2022) ; NASA Formal Methods (NFM 2022) ; https://hal.univ-reunion.fr/hal-04055346 ; NASA Formal Methods (NFM 2022), Jyotirmoy

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

اقرأ أكثر حفظ في قائمتي

Conference

Observing Loopingness

Authors : Payet, Etienne;

Subjects: Term Rewriting Systems; Non-Termination; LoopVirtual Event; United States

Source: Proceedings of the 17th International Workshop on Termination (WST 2021) ; Workshop on Termination (WST) ; https://hal.univ-reunion.fr/hal-04436112 ; Workshop on Termination (WST), Samir Genaim, Jul

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

اقرأ أكثر حفظ في قائمتي

Report

Non-Termination Inference of Logic Programs

Authors : Payet, Etienne; Mesnard, Frédéric;

Subjects: Logic programming; static analysis; non-termination analysis

Source: https://hal.science/hal-00129526 ; 2004.

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

اقرأ أكثر حفظ في قائمتي

Academic Journal

Negative Group Delay Theory on Li Topology

Authors : Ravelo, Blaise, Elysée Guy; Wu, Lili; Wan, Fayu ...

Subjects: [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]; [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing; [SPI.ELEC]Engineering Sciences [physics]/Electromagnetism

Source: ISSN: 2169-3536.

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

اقرأ أكثر حفظ في قائمتي

Academic Journal

Reconstruction Technique of Distorted Sensor Signals with Low-Pass NGD Function

Authors : Ravelo, Blaise, Elysée Guy; Rahajandraibe, Wenceslas; Gan, Yajian ...

Subjects: Signal processing engineering; low-pass NGD function; sensor signal integrity

Source: ISSN: 2169-3536.

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

اقرأ أكثر حفظ في قائمتي

Academic Journal

Reconstruction Technique of Distorted Sensor Signals with Low-Pass NGD Function

Authors : Ravelo, Blaise; Rahajandraibe, Wenceslas; Gan, Yajian ...

Subjects: sensor signal integrity; circuit modelling; signal distortion

Source: ISSN: 2169-3536.

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

اقرأ أكثر حفظ في قائمتي

Academic Journal

A Review of the Use of Geostationary Satellite Observations in Regional-Scale Models for Short-term Cloud Forecasting

Authors : Kurzrock, Frederik; Cros, Sylvain; Chane-Ming, Fabrice ...

Subjects: satellite data assimilation; geostationary satellites; limited-area models

Source: ISSN: 0369-1845 ; Meteorologische Zeitschrift ; https://univ-guyane.hal.science/hal-01897729 ; Meteorologische Zeitschrift, 2018, 27 (4), pp.277-298. ⟨10.1127/metz/2018/0904⟩.

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

اقرأ أكثر حفظ في قائمتي