A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Escape Analysis. Applications to ML and JavaTM Bruno Blanchet INRIA Rocquencourt December 2000

Source URL: prosecco.gforge.inria.fr

00 D EP S KY: Dependable and Secure Storage in a Cloud-of-Clouds Alysson Bessani, University of Lisbon, Faculty of Sciences Miguel Correia, Instituto Superior T´ecnico / INESC-ID Bruno Quaresma, University of Lisbon, Fa

Source URL: www.di.fc.ul.pt

• Cloud storage
• Network file systems
• Data management
• Object storage
• Cloud computing
• Computer data storage
• Data
• Amazon S3
• Nirvanix
• XAM
• Clustered file system
• Data defined storage

Critical Finance Review, 2011, 1: 3–58 Corporate Debt Maturity and the Real Effects of the 2007 Credit Crisis∗ Heitor Almeida1 , Murillo Campello2 , Bruno Laranjeira3 and Scott Weisbenner4

Source URL: cfr.ivo-welch.info

Bruno ServiziInformatici importo di aggiudicazione Aggiudicatario Kp Technologies

Source URL: www.gazzettaamministrativa.it

The Role of Research Leaders on the Evolution of Scientific Communities Bruno Leite Alves Fabrício Benevenuto

Source URL: www2013.wwwconference.org

• Network theory
• Networks
• Graph theory
• Academia
• Physics
• Community structure
• Social network
• Assortativity
• Symposium on Theory of Computing
• Community
• H-index
• Data mining

A Hierarchical Model for BGP Routing Policies Laurent Vanbever Bruno Quoitin Olivier Bonaventure

Source URL: www.vanbever.eu

• Computing
• Internet
• Network architecture
• Routing
• Computer networking
• Internet Standards
• Internet protocols
• Border Gateway Protocol
• Router
• IP routing
• Peering
• Autonomous system

C_Wajcman_Pressed_9780226196473_jkt_IFT

Source URL: sts.cornell.edu

• Science and technology
• Technology
• Science
• Epistemology
• Bruno Latour
• Science
• technology and society
• Social epistemology
• Sociology of science

Definire Bruno Munarigenio poliedrico sembra persino banale, ma resta il fatto che nelle sua lunga attività ha sperimentato tutto ciò che poteva, si è avvicinato a tutti i media, ha usato tutti i linguagg

Source URL: www.museodelnovecento.org

Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

Source URL: yices.csl.sri.com

• Computational complexity theory
• Theoretical computer science
• Theory of computation
• Logic in computer science
• Formal methods
• Boolean algebra
• Complexity classes
• Electronic design automation
• Satisfiability modulo theories
• True quantified Boolean formula
• FO
• NC