Girault, Alain: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

113Cd-, 31P-NMR and fluorescence polarization studies of cadmium(II) interactions with phospholipids in model membranes

Laurent Girault, Alain Boudou, Erick J. Dufourc

Journal:

Biochimica et Biophysica Acta (BBA) - Biomembranes

Year:

1998

Language:

english

File:

PDF, 1.26 MB

english, 1998

52

Galactans and cellulose in flax fibres: putative contributions to the tensile strength

Raynald Girault, Francois Bert, Christophe Rihouey, Alain Jauneau, Claudine Morvan, Michael Jarvis

Journal:

International Journal of Biological Macromolecules

Year:

1997

Language:

english

File:

PDF, 817 KB

english, 1997

53

Effects of simvastatin, pentoxifylline and spironolactone on hepatic fibrosis and portal hypertension in rats with bile duct ligation

Frédéric Oberti, Christophe Pilette, Hervé Rifflet, Moussa Y. Maïga, Alain Moreau, Yves Gallois, Andrée Girault, Anne le Bouil, Jean-Jacques Le Jeune, Jean-Louis Saumet, Gérard Feldmann, Paul Calès

Journal:

Journal of Hepatology

Year:

1997

Language:

english

File:

PDF, 1.21 MB

english, 1997

54

Probabilistic contracts for component-based design

Gössler, Gregor, Xu, Dana N., Girault, Alain

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 1003 KB

english, 2012

55

Tradeoff exploration between reliability, power consumption, and execution time for embedded systems

Ismail Assayad, Alain Girault, Hamoudi Kalla

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 1.07 MB

english, 2013

56

[American Institute of Aeronautics and Astronautics 33rd Joint Propulsion Conference and Exhibit - Seattle,WA,U.S.A. (06 July 1997 - 09 July 1997)] 33rd Joint Propulsion Conference and Exhibit - CARAMEL/SATELLITE - A satellite propulsion systems design and analysis tool

Beltan, Thierry, Girault, Alain, Beltan, Thierry, Girault, Alain

Year:

1997

Language:

english

File:

PDF, 1.17 MB

english, 1997

57

[IEEE 2012 International Conference on Complex Systems (ICCS) - Agadir, Morocco (2012.11.5-2012.11.6)] 2012 IEEE International Conference on Complex Systems (ICCS) - Scheduling of real-time embedded systems under reliability and power constraints

Assayad, Ismail, Girault, Alain, Kalla, Hamoudi

Year:

2012

Language:

english

File:

PDF, 282 KB

english, 2012

58

Implementing fault-tolerance in real-time programs by automatic program transformations

Ayav, Tolga, Fradet, Pascal, Girault, Alain

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2008

Language:

english

File:

PDF, 1.09 MB

english, 2008

59

Molecular Electrocatalysis for Oxygen Reduction by Cobalt Porphyrins Adsorbed at Liquid/Liquid Interfaces

Su, Bin, Hatay, Imren, Trojánek, Antonín, Samec, Zdeněk, Khoury, Tony, Gros, Claude P., Barbe, Jean-Michel, Daina, Antoine, Carrupt, Pierre-Alain, Girault, Hubert H.

Journal:

Journal of the American Chemical Society

Year:

2010

Language:

english

File:

PDF, 4.30 MB

english, 2010

60

Reliability and performance optimization of pipelined real-time systems

Benoit, Anne, Dufossé, Fanny, Girault, Alain, Robert, Yves

Journal:

Journal of Parallel and Distributed Computing

Year:

2013

Language:

english

File:

PDF, 915 KB

english, 2013

61

The potential role of HIV-specific CD38-/HLA-DR+ CD8+ T cells in viral suppressive activity and cytotoxicity in HIV controllers

Hua, Stéphane, Lecuroux, Camille, Saez-Cirion, Asier, Pancino, Gianfranco, Girault, Isabelle, Sinet, Martine, Lambotte, Olivier, Venet, Alain

Journal:

BMC Infectious Diseases

Year:

2014

Language:

english

File:

PDF, 83 KB

english, 2014

62

Generalization of Ionic Partition Diagrams to Lipophilic Compounds and to Biphasic Systems with Variable Phase Volume Ratios

Gobry, Véronique, Ulmeanu, Sorina, Reymond, Frédéric, Bouchard, Géraldine, Carrupt, Pierre-Alain, Testa, Bernard, Girault, Hubert H.

Journal:

Journal of the American Chemical Society

Year:

2001

Language:

english

File:

PDF, 129 KB

english, 2001

63

[IEEE 2010 39th International Conference on Parallel Processing (ICPP) - San Diego, CA, USA (2010.09.13-2010.09.16)] 2010 39th International Conference on Parallel Processing - Reliability and Performance Optimization of Pipelined Real-Time Systems

Benoit, Anne, Dufosse, Fanny, Girault, Alain, Robert, Yves

Year:

2010

File:

PDF, 1.57 MB

2010

64

Intermolecular forces expressed in 1,2-dichloroethane–water partition coefficients

Steyaert, Guillaume, Lisa, Guiseppe, Gaillard, Patrick, Boss, Gilles, Reymond, Fre´de´ric, Girault, Hubert H., Carrupt, Pierre-Alain, Testa, Bernard

Journal:

Journal of the Chemical Society Faraday Transactions

Year:

1997

Language:

english

File:

PDF, 272 KB

english, 1997

65

Standard partition coefficients of anionic drugs in the n-octanol/water system determined by voltammetry at three-phase electrodes

Bouchard, G�raldine, Galland, Alexandra, Carrupt, Pierre-Alain, Gulaboski, Rubin, Mir?eski, Valentin, Scholz, Fritz, Girault, Hubert H.

Journal:

Physical Chemistry Chemical Physics

Year:

2003

Language:

english

File:

PDF, 173 KB

english, 2003

66

[IEEE 2009 International Conference on Embedded Software and Systems - Hangzhou, China (2009.05.25-2009.05.27)] 2009 International Conference on Embedded Software and Systems - Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model

Alras, Mouaiad, Caspi, Paul, Girault, Alain, Raymond, Pascal

Year:

2009

Language:

english

File:

PDF, 691 KB

english, 2009

67

[IEEE 2014 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014) - Pisa (2014.6.18-2014.6.20)] Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014) - libDGALS: A library-based approach to design dynamic GALS systems

Wei-Tsun Sun,, Salcic, Zoran, Girault, Alain, Malik, Avinash

Year:

2014

Language:

english

File:

PDF, 475 KB

english, 2014

68

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - BPDF: A statically analyzable dataflow model with integer and boolean parameters

Bebelis, Vagelis, Fradet, Pascal, Girault, Alain, Lavigueur, Bruno

Year:

2013

Language:

english

File:

PDF, 618 KB

english, 2013

69

[IEEE 2006 IEEE Conference on Emerging Technologies and Factory Automation - Prague, Czech Republic (2006.09.20-2006.09.22)] 2006 IEEE Conference on Emerging Technologies and Factory Automation - A flexible method to tolerate value sensor failures

Girault, Alain, Yu, Huafeng

Year:

2006

Language:

english

File:

PDF, 227 KB

english, 2006

70

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Specification Enforcing Refinement for Convertibility Verification

Roop, Partha, Girault, Alain, Sinha, Roopak, Goessler, Gregor

Year:

2009

Language:

english

File:

PDF, 298 KB

english, 2009

71

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Predictable multithreading of embedded applications using PRET-C

Andalam, Sidharta, Roop, Partha, Girault, Alain

Year:

2010

Language:

english

File:

PDF, 494 KB

english, 2010

72

[ACM Press the 2014 SIGPLAN/SIGBED conference - Edinburgh, United Kingdom (2014.06.12-2014.06.13)] Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '14 - A framework to schedule parametric dataflow applications on many-core platforms

Bebelis, Vagelis, Fradet, Pascal, Girault, Alain

Year:

2014

Language:

english

File:

PDF, 654 KB

english, 2014

73

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Verification-guided voter minimization in triple-modular redundant circuits

Burlyaev, Dmitry, Fradet, Pascal, Girault, Alain

Year:

2014

Language:

english

File:

PDF, 467 KB

english, 2014

74

[IEEE 2011 11th International Conference on Application of Concurrency to System Design (ACSD) - Newcastle Upon Tyne (2011.06.20-2011.06.24)] 2011 Eleventh International Conference on Application of Concurrency to System Design - A GALS Language for Dynamic Distributed and Reactive Programs

Malik, Avinash, Girault, Alain, Salcic, Zoran

Year:

2011

Language:

english

File:

PDF, 441 KB

english, 2011

75

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Deterministic, predictable and light-weight multithreading using PRET-C

Andalam, Sidharta, Roop, Partha S, Girault, Alain

Year:

2010

Language:

english

File:

PDF, 183 KB

english, 2010

76

Comparison of Two Nonlinear Model Reduction Techniques: The Modal Identification Method and the Branch Eigenmodes Reduction Method

Videcoq, Etienne, Neveu, Alain, Quemener, Olivier, Girault, Manuel, Petit, Daniel

Journal:

Numerical Heat Transfer Part B Fundamentals

Year:

2006

Language:

english

File:

PDF, 453 KB

english, 2006

77

High-Flow Oxygen through Nasal Cannula in Acute Hypoxemic Respiratory Failure

Frat, Jean-Pierre, Thille, Arnaud W., Mercat, Alain, Girault, Christophe, Ragot, Stéphanie, Perbet, Sébastien, Prat, Gwénael, Boulain, Thierry, Morawiec, Elise, Cottereau, Alice, Devaquet, Jérôme, Nse

Journal:

New England Journal of Medicine

Year:

2015

Language:

english

File:

PDF, 370 KB

english, 2015

78

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - Towards a higher-order synchronous data-flow language

Colaço, Jean-Louis, Girault, Alain, Hamon, Grégoire, Pouzet, Marc

Year:

2004

Language:

english

File:

PDF, 223 KB

english, 2004

79

[ACM Press the 50th Annual Design Automation Conference - Austin, Texas (2013.05.29-2013.06.07)] Proceedings of the 50th Annual Design Automation Conference on - DAC '13 - Precise timing analysis for direct-mapped caches

Andalam, Sidharta, Girault, Alain, Sinha, Roopak, Roop, Partha, Reineke, Jan

Year:

2013

Language:

english

File:

PDF, 634 KB

english, 2013

80

Building timing predictable embedded systems

Axer, Philip, Rochange, Christine, Sebastian, Maurice, Hanxleden, Reinhard Von, Wilhelm, Reinhard, Yi, Wang, Ernst, Rolf, Falk, Heiko, Girault, Alain, Grund, Daniel, Guan, Nan, Jonsson, Bengt, Marwede

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 618 KB

english, 2014

81

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design

Sinha, Roopak, Girault, Alain, Goessler, Gregor, Roop, Partha S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2014

Language:

english

File:

PDF, 5.33 MB

english, 2014

82

Automatic rate desynchronization of embedded reactive programs

Girault, Alain, Nicollin, Xavier, Pouzet, Marc

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2006

Language:

english

File:

PDF, 741 KB

english, 2006

83

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - Implementing fault-tolerance in real-time systems by automatic program transformations

Ayav, Tolga, Fradet, Pascal, Girault, Alain

Year:

2006

Language:

english

File:

PDF, 365 KB

english, 2006

84

[IEEE 2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS) - Montreal, QC, Canada (2015.6.15-2015.6.18)] 2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS) - Time-redundancy transformations for adaptive fault-tolerant circuits

Burlyaev, Dmitry, Fradet, Pascal, Girault, Alain

Year:

2015

Language:

english

File:

PDF, 622 KB

english, 2015

85

On-chip mesoporous functionalized magnetic microspheres for protein sequencing by extended bottom-up mass spectrometry

Gasilova, Natalia, Srzentic, Kristina, Qiao, Liang, Liu, Baohong, Beck, Alain, Tsybin, Yury O., Girault, Hubert H.

Journal:

Analytical Chemistry

Year:

2015

Language:

english

File:

PDF, 721 KB

english, 2015

86

[IEEE 2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - Siegen, Germany (2015.6.8-2015.6.10)] 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems

Sun, Wei-Tsun, Girault, Alain, Delaval, Gwenael

Year:

2015

Language:

english

File:

PDF, 1.05 MB

english, 2015

87

NKG2D Expression on HIV-Specific CD8+ T cells Is Reduced in Viremic HIV-1–Infected Patients but Maintained in HIV Controllers

Lecuroux, Camille, Saez-Cirion, Asier, Noel, Nicolas, Ben-Lamine, Lilia, Girault, Isabelle, Caillat-Zucman, Sophie, Scott-Algara, Daniel, Venet, Alain, Lambotte, Olivier

Journal:

JAIDS Journal of Acquired Immune Deficiency Syndromes

Year:

2013

Language:

english

File:

PDF, 192 KB

english, 2013

88

Effect of non-invasive oxygenation strategies in immunocompromised patients with severe acute respiratory failure: a post-hoc analysis of a randomised trial

Frat, Jean-Pierre, Ragot, Stéphanie, Girault, Christophe, Perbet, Sébastien, Prat, Gwénael, Boulain, Thierry, Demoule, Alexandre, Ricard, Jean-Damien, Coudroy, Rémi, Robert, René, Mercat, Alain, Broch

Journal:

The Lancet Respiratory Medicine

Year:

2016

Language:

english

File:

PDF, 276 KB

english, 2016

89

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems

Maraninchi, Florence, Mendler, Michael, Pouzet, Marc, Girault, Alain, Rutten, Eric

Journal:

EURASIP Journal on Embedded Systems

Year:

2007

Language:

english

File:

PDF, 116 KB

english, 2007

90

Synchronous Paradigm in Embedded Systems

Girault, Alain, Ramesh, S., Talpin, Jean-Pierre

Journal:

EURASIP Journal on Embedded Systems

Year:

2006

Language:

english

File:

PDF, 117 KB

english, 2006

91

[Society of Petroleum Engineers SPE/IADC Drilling Conference - Amsterdam, Netherlands (1995-02-28)] SPE/IADC Drilling Conference - New Remote Control-Conventional Drawworks

Dupuis, Dominique, Girault, Alain, Codron, Michel

Language:

english

File:

PDF, 309 KB

english

92

[Society of Petroleum Engineers SPE/IADC Drilling Conference - (1995.02.28-1995.03.2)] Proceedings of SPE/IADC Drilling Conference - New Remote Control-Conventional Drawworks

Dupuis, Dominique, Girault, Alain, Codron, Michel

Year:

1995

Language:

english

File:

PDF, 309 KB

english, 1995

93

[IEEE 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Vienna, Austria (2016.4.11-2016.4.14)] 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs

Bouakaz, Adnan, Fradet, Pascal, Girault, Alain

Year:

2016

Language:

english

File:

PDF, 514 KB

english, 2016

94

Cytokinins Are Initial Targets of Light in the Control of Bud Outgrowth

Roman, Hanaé, Girault, Tiffanie, Barbier, François, Péron, Thomas, Brouard, Nathalie, Pěnčík, Aleš, Novák, Ondřej, Vian, Alain, Sakr, Soulaiman, Lothier, Jérémy, Le Gourrierec, José, Leduc, Nathalie

Journal:

PLANT PHYSIOLOGY

Year:

2016

Language:

english

File:

PDF, 2.84 MB

english, 2016

95

[ACM Press the 13th International Conference - Pittsburgh, Pennsylvania (2016.10.01-2016.10.07)] Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 - Energy and timing aware synchronous programming

Wang, JiaJie, Roop, Patha S., Girault, Alain

Year:

2016

Language:

english

File:

PDF, 397 KB

english, 2016

96

Symbolic Analyses of Dataflow Graphs

Bouakaz, Adnan, Fradet, Pascal, Girault, Alain

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

97

A Survey of Parametric Dataflow Models of Computation

Bouakaz, Adnan, Fradet, Pascal, Girault, Alain

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2017

Language:

english

File:

PDF, 703 KB

english, 2017

98

HIV-1 control after transient antiretroviral treatment initiated in primary infection: role of patient characteristics and effect of therapy

Goujard, Cécile, Girault, Isabelle, Rouzioux, Christine, Lécuroux, Camille, Deveau, Christiane, Chaix, Marie-Laure, Jacomet, Christine, Talamali, Amel, Delfraissy, Jean-François, Venet, Alain, Meyer,

Journal:

Antiviral Therapy

Year:

2012

Language:

english

File:

PDF, 441 KB

english, 2012

99

Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis 1

Dumitrescu, Emil, Girault, Alain, Rutten, Eric

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.20 MB

english, 2004

100

Place des études post-AMM dans le suivi des risques du médicament : cahier des charges et méthodologies

Tubach, Florence, Lamarque-Garnier, Véronique, Castot, Anne, Auclert, Laurent, Bonnin, Marthe, Daudin, Magda, Dubois, Catherine, Francillon, Alain, Frauger, Elisabeth, Girault, Danièle, Gourlay, Marie

Journal:

Year:

2011

Language:

french

File:

PDF, 158 KB

french, 2011