sasa: a SimulAtor of Self-stabilizing Algorithms von Altisen, Karine, Devismes, Stéphane, Jahier, Erwan

Volltext

Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations von Jahier, Erwan, Altisen, Karine, Devismes, Stéphane

Volltext

Improving WCET Evaluation using Linear Relation Analysis von Raymond, Pascal, Maiza, Claire, Parent-Vigouroux, Catherine, Jahier, Erwan, Halbwachs, Nicolas, Carrier, Fabienne, Asavoae, Mihail, Boutonnet, Rémy

Volltext

Qu'est-ce qu'une assemblée d'atomes froids ? Comment produire ces atomes froids ? : Atomes froids von JAHIER, Erwan

Volltext

Case studies with Lurette V2 von Jahier, Erwan, Raymond, Pascal, Baufreton, Philippe

Volltext

Generic program monitoring by trace analysis; Generic program monitoring by trace analysis; E. Jahier and M. Ducassé von JAHIER, ERWAN, DUCASSÉ, MIREILLE

Volltext

Case studies with Lurette V2 : Leveraging formal methods von JAHIER, Erwan, RAYMOND, Pascal, BAUFRETON, Philippe

Volltext

Gentra4cp: A Generic Trace Format for Constraint Programming von Langevine, Ludovic

Volltext

Generic program monitoring by trace analysis von JAHIER, ERWAN, DUCASSÉ, MIREILLE

Volltext

Temperature-tunable sapphire windows for reflection loss-free operation of vapor cells von Jahier, E., Guéna, J., Jacquier, Ph, Lintz, M., Papoyan, A.V., Bouchiat, M.A.

Volltext

Grooving an alumina surface as a means to inhibit secondary electron emission under grazing incidence von GUENA, J, JAHIER, E, LINTZ, M, PAPOYAN, A, SANGUINETTI, S, BOUCHIAT, M. A

Volltext

Specifying and Executing Reactive Scenarios With Lutin von Raymond, Pascal, Roux, Yvan, Jahier, Erwan

Volltext

Implementation of a sapphire cell with external electrodes for laser excitation of a forbidden atomic transition in a pulsed E-field von Jahier, Erwan, Guéna, Jocelyne, Jacquier, Philippe, Lintz, Michel, Bouchiat, Marie-Anne

Volltext

Specifying and Executing Reactive Scenarios With Lutin von Raymond, Pascal, Roux, Yvan, Jahier, Erwan

Volltext

Specifying Prolog Trace Models with a Continuation Semantics von Jahier, Erwan, Ducassé, Mireille, Ridoux, Olivier

Volltext

Efficient Automated Trace Analysis: Examples with Morphine von Ducassé, Mireille, Jahier, Erwan

Volltext

Generating Random Values Using Binary Decision Diagrams and Convex Polyhedra von Jahier, Erwan, Raymond, Pascal

Volltext

Efficient Automated Trace Analysis von Ducassé, Mireille, Jahier, Erwan

Volltext

Generic and Efficient Program Monitoring by trace analysis von Jahier, Erwan, Ducass'e, Mireille

Volltext bestellen

Generic and Efficient Program Monitoring by trace analysis von Jahier, Erwan, Ducass'e, Mireille

Volltext