Author Search Results

Select result number 181
181

Simulating the melting of ice caps

by Nodet, Maëlle, Erhel, Jocelyne
Published 2017
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access

Other/Unknown Material
Select result number 182
182

Simulating the melting of ice caps

by Nodet, Maëlle, Erhel, Jocelyne
Published 2017
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access

Other/Unknown Material
Select result number 183
183

Solving discrete logarithms on a 170-bit MNT curve by pairing reduction

by Guillevic, Aurore, Morain, François, Thomé, Emmanuel
Published 2016
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 184
184

Solving discrete logarithms on a 170-bit MNT curve by pairing reduction

by Guillevic, Aurore, Morain, François, Thomé, Emmanuel
Published 2016
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 185
185

Solving discrete logarithms on a 170-bit MNT curve by pairing reduction

by Guillevic, Aurore, Morain, François, Thomé, Emmanuel
Published 2016
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 186
186

InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications

by Gustedt, Jens, Vialle, Stéphane, Frezza-Buet, Hervé, Boumba Sitou, d'Havh, Fressengeas, Nicolas
Published 2010
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 187
187

InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications

by Gustedt, Jens, Vialle, Stéphane, Frezza-Buet, Hervé, Boumba Sitou, D'Havh, Fressengeas, Nicolas
Published 2010
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 188
188

InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications

by Gustedt, Jens, Vialle, Stéphane, Frezza-Buet, Hervé, Boumba Sitou, d'Havh, Fressengeas, Nicolas
Published 2010
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 189
189

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

by Holthusen, Sönke, Quinton, Sophie, Schaefer, Ina, Schlatow, Johannes, Wegner, Martin
Published in Electronic Proceedings in Theoretical Computer Science (2016)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 190
190

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

by Holthusen, Sönke, Quinton, Sophie, Schaefer, Ina, Schlatow, Johannes, Wegner, Martin
Published in Electronic Proceedings in Theoretical Computer Science (2016)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 191
191

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access

Conference Object
Select result number 192
192

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access

Conference Object
Select result number 193
193

InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications

by Gustedt, Jens, Vialle, Stéphane, Frezza-Buet, Hervé, Boumba Sitou, d'Havh, Fressengeas, Nicolas
Published 2010
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 194
194

InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications

by Gustedt, Jens, Vialle, Stéphane, Frezza-Buet, Hervé, Boumba Sitou, d'Havh, Fressengeas, Nicolas
Published 2010
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 195
195

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access

Conference Object
Select result number 196
196

InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications

by Gustedt, Jens, Vialle, Stéphane, Frezza-Buet, Hervé, Boumba Sitou, d'Havh, Fressengeas, Nicolas
Published 2010
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 197
197

Internal Tides Energy Transfers and Interactions with the Mesoscale Circulation in Two Contrasted Areas of the North Atlantic

by Bella, Adrien, Lahaye, Noé, Tissot, Gilles
Published 1481
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Book Part
Select result number 198
198

Internal Tides Energy Transfers and Interactions with the Mesoscale Circulation in Two Contrasted Areas of the North Atlantic

by Bella, Adrien, Lahaye, Noé, Tissot, Gilles
Published 1481
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Book Part
Select result number 199
199

Internal Tides Energy Transfers and Interactions with the Mesoscale Circulation in Two Contrasted Areas of the North Atlantic

by Bella, Adrien, Lahaye, Noé, Tissot, Gilles
Published 2024
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Book Part
Select result number 200
200

Density Staircases Are Disappearing in the Canada Basin of the Arctic Ocean

by Ménesguen, Claire, Lique, Camille, Caspar‐cohen, Zoé
Published in Journal of Geophysical Research: Oceans (2022)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Article in Journal/Newspaper

First
Prev
5
6
7
8
9
10
11
12
13
14
15
Next
Last

Search Results

Related Subjects