Verifying and Synthesizing Constant-Resource Implementations with Types von Ngo, Van Chan, Dehesa-Azuara, Mario, Fredrikson, Matthew, Hoffmann, Jan

Volltext

Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler von Chan Ngo, Van, Talpin, Jean-Pierre, Gautier, Thierry

Volltext

Formal verification of synchronous data-flow program transformations toward certified compilers von NGO, Van Chan, TALPIN, Jean-Pierre, GAUTIER, Thierry, GUERNIC, Paul Le, BESNARD, Loïc

Volltext

Formal verification of probabilistic SystemC models with statistical model checking von Ngo, Van Chan, Legay, Axel

Volltext

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models von Ngo, Van Chan, Legay, Axel, Joloboff, Vania

Volltext

Translation Validation for Clock Transformations in a Synchronous Compiler von Ngo, Van Chan, Talpin, Jean-Pierre, Gautier, Thierry, Le Guernic, Paul

Volltext

Formal Verification of Probabilistic SystemC Models with Statistical Model Checking von Van Chan Ngo, Legay, Axel

Volltext

Bounded expectations: resource analysis for probabilistic programs von Ngo, Van Chan, Carbonneaux, Quentin, Hoffmann, Jan

Volltext

Bounded Expectations: Resource Analysis for Probabilistic Programs von Ngo, Van Chan, Carbonneaux, Quentin, Hoffmann, Jan

Volltext bestellen

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking von Ngo, Van Chan, Legay, Axel

Volltext bestellen

Formal Verification of Compiler Transformations on Polychronous Equations von Ngo, Van Chan, Talpin, Jean-Pierre, Gautier, Thierry, Le Guernic, Paul, Besnard, Loïc

Volltext

Verifying and Synthesizing Constant-Resource Implementations with Types von Ngo, Van Chan, Dehesa-Azuara, Mario, Fredrikson, Matthew, Hoffmann, Jan

Volltext bestellen

Dynamic Verification of SystemC with Statistical Model Checking von Ngo, Van Chan, Legay, Axel, Quilbeuf, Jean

Volltext bestellen

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking von Van Chan Ngo, Legay, Axel

Volltext

Bounded Expectations: Resource Analysis for Probabilistic Programs von Van Chan Ngo, Carbonneaux, Quentin, Hoffmann, Jan

Volltext

Formal verification of a synchronous data-flow compiler : from Signal to C von Ngô, Van Chan

Volltext bestellen

Verifying and Synthesizing Constant-Resource Implementations with Types von Van Chan Ngo, Dehesa-Azuara, Mario, Fredrikson, Matthew, Hoffmann, Jan

Volltext

Dynamic Verification of SystemC with Statistical Model Checking von Van Chan Ngo, Legay, Axel, Quilbeuf, Jean

Volltext

Low stress sidewall spacer in integrated circuit technology von NGO MINH VAN,CHAN SIMON S.,BESSER PAUL R.,KING PAUL L.,RYAN ERROL TODD,CHIU ROBERT J

Volltext bestellen

Adjunctive Dexamethasone in HIV-Associated Cryptococcal Meningitis von Beardsley, Justin, Wolbers, Marcel, Kibengo, Freddie M, Ggayi, Abu-Baker M, Kamali, Anatoli, Cuc, Ngo Thi Kim, Binh, Tran Quang, Chau, Nguyen Van Vinh, Farrar, Jeremy, Merson, Laura, Phuong, Lan, Thwaites, Guy, Van Kinh, Nguyen, Thuy, Pham Thanh, Chierakul, Wirongrong, Siriboon, Suwatthiya, Thiansukhon, Ekkachai, Onsanit, Satrirat, Supphamongkholchaikul, Watthanapong, Chan, Adrienne K, Heyderman, Robert, Mwinjiwa, Edson, van Oosterhout, Joep J, Imran, Darma, Basri, Hasan, Mayxay, Mayfong, Dance, David, Phimmasone, Prasith, Rattanavong, Sayaphet, Lalloo, David G, Day, Jeremy N

Volltext