Rocquencourt - PDFSEARCH.IO - Document Search Engine

Rocquencourt
Results: 247

#	Item
51	Computing isogenies of small degrees on Abelian Varieties Jean-Charles Faugère1 , David Lubicz2,3 , Damien Robert4 1 INRIA, Centre Paris-Rocquencourt, SALSA Project Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2013-11-15 16:58:00 Algebra Abstract algebra Geometry Niels Henrik Abel Abelian variety Abelian group Elliptic curve
52	M arie D oum ic Ja u f f re t Ingénieur des Ponts et Chaussées Chercheur en détachement à l’INRIA Rocquencourt, Equipe-projet BANG Mél : marie.doumic @ inria.fr 36 ans , m ar ié e, 4 enf a nts Add to Reading List Source URL: www.rocq.inria.fr Language: French - Date: 2013-03-22 06:28:23
53	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
54	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
55	Home Network Performance Diagnosis Renata Teixeira Muse Team Inria Paris-Rocquencourt Add to Reading List Source URL: irtf.org Language: English - Date: 2015-10-29 02:43:16 Wi-Fi Broadband Custom firmware OpenWrt Gateway Internet
56	Smart card security from a programming language and static analysis perspective Xavier Leroy INRIA Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2003-04-08 07:22:13 Smart cards Java platform Cross-platform software Java Card Applet Java Subscriber identity module Computer security MULTOS Application programming interface Java applet Java virtual machine
57	Compilation optimisante et v´erification formelle de compilateurs Xavier Leroy INRIA Rocquencourt ´ Add to Reading List Source URL: pauillac.inria.fr Language: French - Date: 2007-06-06 03:58:31
58	Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-02-02 12:03:33 Software quality Design for X Symposium on Principles of Programming Languages Reliability engineering Computer security Software Fly-by-wire
59	Meroon V3: A Small, Efficient and Enhanced Object System Christian Queinnec∗ LIP6 & INRIA–Rocquencourt Abstract Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:51 Method Object-oriented programming C++ Object Euclidean plane geometry Polygon Constant Constructor Objective-C Immutable object Wavefront .obj file Struct
60	Some uses of Caml in industry Xavier Leroy INRIA Paris-Rocquencourt CUFP 2007 Add to Reading List Source URL: cufp.org Language: English - Date: 2014-05-11 14:35:46 Functional languages OCaml French Institute for Research in Computer Science and Automation Caml ML Xavier Leroy