Álvaro

Results: 967



#Item
301Concurrent computing / Failure / Software testing / Transaction processing / Two-phase commit protocol / Recovery testing / Replication / Reliability engineering / Google File System / Computing / Data management / Fault-tolerant computer systems

FATE and D ESTINI: A Framework for Cloud Recovery Testing Haryadi S. Gunawi, Thanh Do† , Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau† , Remzi H. Arpaci-Dusseau† , Koushik Sen, and D

Add to Reading List

Source URL: db.cs.berkeley.edu

Language: English - Date: 2011-03-09 01:12:38
302Republics / Spanish-speaking countries / International relations / Chilean people / Michelle Bachelet / Álvaro Uribe / Colombia / Chile / Asia-Pacific Economic Cooperation / Government / Member states of the Union of South American Nations / Member states of the United Nations

ChileInfo.com Page 1 of 1 Chile, Colombia sign trade agreement

Add to Reading List

Source URL: www.sice.oas.org

Language: English - Date: 2013-11-26 13:24:29
303Computing / Logic programming / Philosophical logic / Datalog / Stable model semantics / Partition / FO / Modal logic / SQL / Mathematics / Query languages / Logic

A Declarative Semantics for Dedalus Peter Alvaro Tom J. Ameloot Joseph M. Hellerstein William Marczak

Add to Reading List

Source URL: db.cs.berkeley.edu

Language: English - Date: 2011-11-29 13:32:09
304Lattice theory / Algebra / Order theory / Lattice / Monotonic function / Boolean algebra / Semilattice / Complete Heyting algebra / Complete lattice / Abstract algebra / Mathematics / Algebraic structures

Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro

Add to Reading List

Source URL: www.neilconway.org

Language: English - Date: 2012-10-01 13:10:36
305

Cinco teorías del desarrollo moral ANÁLISIS COMPARATIVO DE CINCO TEORÍAS SOBRE EL DESARROLLO MORAL. Álvaro Rolando Bonilla Ballesteros.

Add to Reading List

Source URL: www.javeriana.edu.co

Language: Spanish - Date: 2008-08-06 16:19:55
    306TI MSP430 / Compilers / GNU Compiler Collection / Wget / Library / Filesystem Hierarchy Standard / Software / Computing / Microcontrollers

    Ubuntu Tutorial: MSPGCC and Eclipse Alvaro Aguilar August 17, 2010

    Add to Reading List

    Source URL: www.43oh.com

    Language: English - Date: 2014-12-27 03:44:49
    307Colombia / Republics / Canada-Colombia Free Trade Agreement / Álvaro Uribe / Canada–Colombia relations / United States–Colombia Free Trade Agreement / Andean Community of Nations / International trade / International relations

    http://www.pm.gc.ca/includes/send_friend_eMail_print.asp?URL=/e

    Add to Reading List

    Source URL: www.sice.oas.org

    Language: English - Date: 2013-11-26 13:21:29
    308Message passing / Garbage collection / Edelweiss / Distributed data storage / Computer programming / Software engineering / Computing / Inter-process communication / Relational model

    Edelweiss: Automatic Storage Reclamation for Distributed Programming Neil Conway, Peter Alvaro, Emily Andrews, Joseph M. Hellerstein UC Berkeley {nrc, palvaro, e.andrews, hellerstein}@cs.berkeley.edu

    Add to Reading List

    Source URL: www.neilconway.org

    Language: English - Date: 2014-01-06 14:50:42
    309Protocols / Promela / Computing / Information / Communications protocol / Data transmission

    BloomUnit: Declarative Testing for Distributed Programs Peter Alvaro Andrew Hutchinson Neil Conway

    Add to Reading List

    Source URL: db.cs.berkeley.edu

    Language: English - Date: 2012-06-05 19:53:56
    310Che Guevara / Ecuadorian people / Rafael Correa / Lucio Gutiérrez / Institutional Renewal Party of National Action / Álvaro Noboa / Gustavo Noboa / PAIS Alliance / Abdalá Bucaram / Politics of Ecuador / Ecuador / Socialism

    Polity IV Country Report 2010: Ecuador Score:

    Add to Reading List

    Source URL: www.systemicpeace.org

    Language: English - Date: 2014-06-06 01:27:40
    UPDATE