FIRST PASSAGE PERCOLATION ON A HYPERBOLIC GRAPH ADMITS BI-INFINITE GEODESICS ITAI BENJAMINI AND ROMAIN TESSERA Abstract. Given an infinite connected graph, a way to randomly perturb its metric is to assign random i.i.d.

Source URL: www.normalesup.org

• Geometry
• Mathematics
• Space
• Metric geometry
• Hyperbolic geometry
• Geometric group theory
• -hyperbolic space
• Hyperbolic group
• Geodesic
• Differential geometry of surfaces
• Busemann function
• Hyperbolic metric space

UN THÉORÈME DE LINÉARITÉ DE LA CONSTRUCTION D’ABBES ET SAITO POUR LES CONNEXIONS MÉROMORPHES. par Jean-Baptiste Teyssier

Source URL: jbteyssier.com

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

Source URL: www.cs.man.ac.uk

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

Characterization of TCC on Chip-Multiprocessors Austen McDonald, JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Brian D. Carlstrom Lance Hammond, Christos Kozyrakis, Kunle Olukotun Computer Systems Laboratory Stanford Unive

Source URL: www.austenmcdonald.com

• Computing
• Concurrent computing
• Cache coherency
• Computer architecture
• Transaction processing
• Cache
• Parallel computing
• Concurrency control
• CPU cache
• MESI protocol
• Cache coherence
• Victim cache

´ ` DIRIGER DES RECHERCHES MEMOIRE D’HABILITATION A pr´esent´e le 30 mars 2018

Source URL: perso.ens-lyon.fr

• Operations research
• Parallel computing
• Mathematics
• Planning
• Scheduling
• Mathematical optimization
• Algorithm
• Applied mathematics
• Graph partition

Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst

Source URL: zhang-sai.github.io

• Computer programming
• Software engineering
• Infinite loop
• Recursion
• Software development
• Software testing
• Java
• Extreme programming

Security Analysis of SIMD Charles Bouillaguet, Pierre-Alain Fouque, and Gaëtan Leurent École Normale Supérieure – Département d’Informatique, 45 rue d’Ulm, 75230 Paris Cedex 05, France {Charles.Bouillaguet,Gaet

Source URL: who.rocq.inria.fr

• Cryptography
• NIST hash function competition
• Cryptographic hash functions
• MerkleDamgrd construction
• SIMD
• CubeHash
• Hash function
• SHA-3
• Block cipher

Qlose: Program Repair with Quantitative Objectives⋆ Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

Source URL: rishabhmit.bitbucket.io

• Computing
• Computer programming
• Software engineering
• Source code
• Syntax
• Dependency grammar
• Expr
• NC
• For loop
• Term

Conférence de coordination des services de la construction et des immeubles des maîtres d’ouvrage publics KBOB Communauté d’Intérêts des Maîtres d’ouvrage Professionnels Privés (IPB)

Source URL: www.kbob.admin.ch

Annexe aux conditions générales de vente relative aux contrats d’entretien et de maintenance de Soleol SA ayant son siège à Estavayer-le-Lac, Suisse Article 0 : Généralités La

Source URL: www.soleol.ch