Rocquencourt - PDFSEARCH.IO - Document Search Engine

Rocquencourt
Results: 247

#	Item
181	What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, [removed] Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 20:18:53 Functional languages Functional programming OCaml Caml ML Monad Algebraic data type Xavier Leroy Exception handling Software engineering Computing Computer programming
182	Symbolic Integration in Differential Fields Clemens G. Raab Algorithms Seminar, INRIA-Rocquencourt November 28, 2011 Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2011-11-29 11:41:21 Integral calculus Integral Antiderivative Symbolic integration Ordinary differential equation Iterated integral Functional integration Calculus Mathematical analysis Mathematics
183	Mean asymptotic behaviour of radix-rational sequences and dilation equations Philippe Dumas, Algorithms, INRIA Paris-Rocquencourt September 5th, 2011 Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2011-09-05 11:36:35 Series Number Numeral system Mathematics Exponentials Exponentiation
184	Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan and Antoine Delignat-Lavaud, INRIA Paris-Rocquencourt; Sergio Maffeis, Imperial College London This paper is included in the Proceedings of Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2013-08-15 09:20:17 Cloud standards HTTP Ajax Cross-site scripting Cross-site request forgery HTTP cookie OAuth XMLHttpRequest Same origin policy Computing JavaScript Web development
185	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-03-29 07:37:15 Data types Subroutines Lambda calculus Functional programming Primitive types Closure Evaluation strategy Free variables and bound variables Function Software engineering Computing Computer programming
186	Operational Replication Implies Real-Time Gérard Le Lann INRIA – Paris-Rocquencourt Center, France • Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-12-05 10:01:04 Statistics Technology Data synchronization Computer storage Replication Stochastic processes Fault-tolerant design Throughput Database Fault-tolerant computer systems Computing Network performance
187	Macroexpansion Re ective Tower Christian Queinnecy E cole Polytechnique & INRIA-Rocquencourt Add to Reading List Source URL: www2.parc.com Language: English - Date: 2000-03-28 03:33:06 Lisp programming language Transformation languages Macro programming languages Functional languages Scheme programming language Scheme Eval Hygienic macro Lisp Computing Software engineering Computer programming
188	Meals For lunch, you may use the multiple-enterprise staff restaurant at 12 avenue d’Italie. As agent of INRIA, you will have to pay the full price for your meal. However, you will be reimbursed as part of your busines Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2011-12-02 11:00:43 Wi-Fi France National Institute for Research in Computer Science and Control Theoretical computer science Rocquencourt
189	Monitoring message size to break privacy Current issues and proposed solutions Alfredo Pironti INRIA Paris-Rocquencourt, Paris, France [removed] January 15, 2014 Add to Reading List Source URL: www.w3.org Language: English - Date: 2014-02-07 14:41:45 Espionage Internet privacy Secure communication Internet standards Email Transport Layer Security Traffic analysis Steganography Tor Internet Computing Cryptographic protocols
190	Smart Cities, Smarter Travelers: Making transit a better experience using smart phones Animesh Pathak Project-team MiMove Inria Paris-Rocquencourt Add to Reading List Source URL: future-internet.uni.lu Language: English - Date: 2014-06-12 10:24:50 Rocquencourt France Technology Science National Institute for Research in Computer Science and Control Theoretical computer science Sophia Antipolis

UPDATE