Rocquencourt - PDFSEARCH.IO - Document Search Engine

Rocquencourt
Results: 247

#	Item
161	Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-03-11 04:28:36 Compiler construction Programming language implementation Debugging HTML Validator ALGOL 68 Static single assignment form Structure Compiler Software engineering Computing Computer programming
162	Breaking An Identity-Based Encryption Scheme based on DHIES Martin R. Albrecht1 and Kenneth G. Paterson2? 1 INRIA, Paris-Rocquencourt Center, SALSA Project UPMC Univ Paris 06, UMR 7606, LIP6, F-75005, Paris, France CNRS, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2011-08-30 13:51:52 ID-based encryption RSA XTR Gaussian elimination Cryptography Public-key cryptography Electronic commerce
163	Towards Normalization by Evaluation for the βη-Calculus of Constructions (Extended Version) Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:19 Mathematical logic Lambda calculus Normalisation by evaluation Valuation Natural deduction Curry–Howard correspondence Abstract algebra Mathematics Proof theory
164	Avoiding communication in linear algebra Laura Grigori ALPINES INRIA Rocquencourt - LJLL, UPMC Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2013-10-13 11:02:47 Numerical software Numerical linear algebra Parallel computing Distributed algorithms ScaLAPACK LAPACK MUMPS Algorithm Numerical analysis Concurrent computing Computing Mathematics
165	Temporal Logic Patterns of Dynamical Behaviours: Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock François Fages, Pauline Traynard Inria Paris-Rocquencourt, France Background: Temporal logics are Add to Reading List Source URL: ws9.websitepanelonline.com Language: English - Date: 2014-09-08 00:30:36 Period CLOCK Cell cycle Circadian rhythms Biology Sleep
166	Automatic Inference of Reaction Systems from Ordinary Differential Equations François Fages, Steven Gay, Sylvain Soliman Inria Paris-Rocquencourt, France Background: In Mathematical Biology, many dynamical models of bio Add to Reading List Source URL: ws9.websitepanelonline.com Language: English - Date: 2014-09-08 00:30:36 SBML BioModels Database Mathematical and theoretical biology Chemical kinetics Chemical reaction Law of mass action Ordinary differential equation Differential equation Systems biology Science Biology
167	Counting by Coin Tossings Philippe Flajolet Algorithms Project, INRIA-Rocquencourt, 78153 Le Chesnay (France) [removed] Abstract. This text is an informal review of several randomized algorithms that ha Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2004-09-28 13:04:59 Search algorithms Analysis of algorithms Probability theory Hashing Approximate counting algorithm Randomized algorithm Bloom filter Estimation theory Hash table Mathematics Applied mathematics Theoretical computer science
168	LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-07-19 04:40:31 Logic in computer science Type theory Deduction Automated theorem proving Formal methods Twelf Symbol Proof assistant POPLmark challenge Logic Theoretical computer science Mathematical logic
169	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
170	Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant Xavier Leroy INRIA Rocquencourt [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2005-11-14 05:48:57 Subroutines Programming language implementation Compiler construction Procedural programming languages Compiler optimizations Calling convention Compiler Function prologue Stack Software engineering Computing Computer programming