Yannick - PDFSEARCH.IO - Document Search Engine

Yannick
Results: 336

#	Item
151	LTTng 2.0 : Linux tracing for everyone Yannick Brosseau Confoo 2012 http://joind.in/6097 Add to Reading List Source URL: lttng.org - Date: 2012-04-02 11:25:24
152	ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.3, July 11, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 C programming language ANSI/ISO C Specification Language Procedural programming languages Frama-C Java Modeling Language KeY SQL Programming language C Computing Software engineering Computer programming
153	Resurgence of cold winters in northern mid-latitudes: is it related to Arctic sea ice decline? Yannick Peings Dept. of Earth System Science University of California, Irvine Add to Reading List Source URL: ccr.aos.wisc.edu Language: English - Date: 2014-03-03 10:43:48 Physical oceanography Climate Atlantic Ocean North Atlantic oscillation Arctic oscillation Atlantic multidecadal oscillation Winter Arctic Climate oscillation Atmospheric sciences Climatology Physical geography
154	Maximal and Compositional Pattern-Based Loop Invariants Virginia Aponte1 , Pierre Courtieu1 , Yannick Moy2 , and Marc Sango2 1 CNAM, 292 rue Saint-Martin FParis Cedex 03 - FRANCE Add to Reading List Source URL: www.open-do.org Language: English - Date: 2012-05-11 04:00:25 Computing Loop invariant Invariant Infinite loop Constructible universe For loop Loop-invariant code motion Invariant theory Software engineering Computer programming Control flow
155	Jessie Plugin Tutorial Beryllium Version Yannick Moy Claude Marché Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Frama-C Pointer Memory safety C programming language Procedural programming languages Computer programming Computing Software engineering
156	Jessie Plugin Tutorial Frama-C version: Boron Jessie plugin version: 2.26 Claude Marché1,3 , Yannick Moy2,3 , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Frama-C Procedural programming languages Pointer Memory safety C Computing Computer programming Software engineering
157	ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.2, April 30, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 C programming language ANSI/ISO C Specification Language Java Modeling Language Frama-C KeY Programming language C SQL Logic programming Computing Software engineering Computer programming
158	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing
159	Jessie Plug-In Tutorial Frama-C version: Carbon Jessie plug-in version: 2.28 Claude Marché1,3 , Yannick Moy2,3 , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Frama-C Formal methods Procedural programming languages Automated theorem proving Pointer Memory safety ALGOL 68 IP Computing Software engineering Computer programming
160	Scaling down DNA circuits with competitive neural networks Anthony J. Genot, Teruo Fujii and Yannick Rondelez rsif.royalsocietypublishing.org Add to Reading List Source URL: www.dna.caltech.edu Language: English - Date: 2014-01-29 15:08:32 DNA Theoretical computer science Genetics Chemistry DNA computing Logic gate DNA nanotechnology Biology Molecular biology

UPDATE