Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: jorgenavas.github.io

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

Property-Directed k-Induction Dejan Jovanovi´c Bruno Dutertre SRI International

Source URL: csl.sri.com

A Crash-Safe Key-Value Store Using Chained Copy-on-Write B-trees by Bruno Castro-Karney Supervised by Xi Wang

Source URL: unsat.cs.washington.edu

• Binary trees
• Computing
• Computer programming
• B-tree
• Learning
• Data types
• Trie
• B+ tree
• Btrfs
• R-tree
• T-tree
• Tree

Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

Source URL: smt-workshop.cs.uiowa.edu

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function

Le projet EVOLEX (Outillage pour l’) étude de la fluence et de l’accès au lexique Xavier de Boissezon4 Lola Danet4 Cécile Fabre1 Jérôme Farinas2 Bruno Gaume1 Nabil Hatout1 Lydia-Mai Ho-Dac1 Mélanie Jucla3 Patri

Source URL: w3.erss.univ-tlse2.fr

On actor-network theory. A few clarifications plus more than a few complications Bruno Latour CSI-Paris/Science Studies-San Diego in Finn Olsen (special issue of the Danish philosophy journal ), " Om aktor-netvaerksteroi

Source URL: www.bruno-latour.fr

TECHNOLOGIES EU-BRIDGE Partners Karlsruhe Institute of Technology (Germany), RWTH Aachen University (Germany), Fondazione Bruno Kessler (Italy)

Source URL: project.eu-bridge.eu

La Patriep08 St-Bruno.doc

Source URL: www.marigot.ca

Le 24 juinASSEMBLEE GENERALE DU SNFA 2016 Rapport moral du Président Bruno Léger Messieurs les Présidents, chers collègues et amis, mesdames, messieurs, Déjà une année depuis mon élection, est donc venu le

Source URL: www.fenetrealu.com

DER FONDS LANDSCHAFT SCHWEIZ FLS SOLL WEITER WIRKEN BRUNO VANONI Um Projekte zur Erhaltung von naturnahen Kulturlandschaften zu fördern, hat das eidgenössische Parlament im Jubiläumsjahr 1991 den Fonds Landschaft Schw

Source URL: d200qu858usvfe.cloudfront.net