ElSohly Laboratories (United States)

output

20062009

most citedUsing Graphics Processors for Parallelizing Hash-based Data Carving

8 citations

researchers with a paper here

Marc Daumas2
Pascal Giorgi2 profiles2 · h 14
Annick Truffert1
David Defour1
David Lester1
Érik Martin-Dorel1
M. Daumas1 · h 19
Sylvain Collange1
Yoginder S. Dandass1

collaborating institutions

Laboratoire d'Informatique et d'Automatique pour les SystèmesFR2 papers
Institut national de recherche en sciences et technologies du numériqueFR1 paper
Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR1 paper
Mississippi State UniversityUS1 paper
Prevention of Organ FailureCA1 paper
Université de PerpignanFR1 paper
University of ManchesterGB1 paper

Showing cs.MSShow all

1 paper · 1 filter

cs.MS2006

Stochastic Formal Methods for Hybrid Systems

Marc Daumas, David Lester, Erik Martin-Dorel +1

We provide a framework to bound the probability that accumulated errors were never above a given threshold on hybrid systems. Such systems are used for example to model an aircraft…