Keep CALM and CRDT On von Laddad, Shadaj, Power, Conor, Milano, Mae, Cheung, Alvin, Crooks, Natacha, Hellerstein, Joseph M.

Volltext

Derecho: Fast State Machine Replication for Cloud Services von Jha, Sagar, Behrens, Jonathan, Gkountouvas, Theo, Milano, Mae, Song, Weijia, Tremel, Edward, Renesse, Robbert Van, Zink, Sydney, Birman, Kenneth P.

Volltext

Better Defunctionalization through Lambda Set Specialization von Brandon, William, Driscoll, Benjamin, Dai, Frank, Berkow, Wilson, Milano, Mae

Volltext

Katara: synthesizing CRDTs with verified lifting von Laddad, Shadaj, Power, Conor, Milano, Mae, Cheung, Alvin, Hellerstein, Joseph M.

Volltext

Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq von Nagasamudram, Ramana, Beringer, Lennart, Birman, Ken, Milano, Mae, Naumann, David A.

Volltext

Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho von Birman, Ken, Jha, Sagar, Milano, Mae, Rosa, Lorenzo, Song, Weijia, Tremel, Edward

Volltext

Flo: a Semantic Foundation for Progressive Stream Processing von Laddad, Shadaj, Cheung, Alvin, Hellerstein, Joseph M, Milano, Mae

Volltext bestellen

MixT: a language for mixing consistency in geodistributed transactions von Milano, Mae, Myers, Andrew C.

Volltext

Invited Paper: Initial Steps Toward a Compiler for Distributed Programs von Hellerstein, Joseph M, Laddad, Shadaj, Milano, Mae, Power, Conor, Mingwei Samuel

Volltext

A Coalgebraic Decision Procedure for NetKAT von Foster, Nate, Kozen, Dexter, Milano, Mae, Silva, Alexandra, Thompson, Laure

Volltext

Keep CALM and CRDT On von Laddad, Shadaj, Power, Conor, Milano, Mae, Cheung, Alvin, Crooks, Natacha, Hellerstein, Joseph M

Volltext bestellen

New Directions in Cloud Programming von Cheung, Alvin, Crooks, Natacha, Hellerstein, Joseph M, Milano, Mae

Volltext bestellen

Flo: a Semantic Foundation for Progressive Stream Processing von Laddad, Shadaj, Cheung, Alvin, Hellerstein, Joseph M, Milano, Mae

Volltext

Katara: Synthesizing CRDTs with Verified Lifting von Laddad, Shadaj, Power, Conor, Milano, Mae, Cheung, Alvin, Hellerstein, Joseph M

Volltext bestellen

Keep CALM and CRDT On von Laddad, Shadaj, Power, Conor, Milano, Mae, Cheung, Alvin, Crooks, Natacha, Hellerstein, Joseph M

Volltext

New Directions in Cloud Programming von Cheung, Alvin, Crooks, Natacha, Hellerstein, Joseph M, Milano, Mae

Volltext

Katara: Synthesizing CRDTs with Verified Lifting von Laddad, Shadaj, Power, Conor, Milano, Mae, Cheung, Alvin, Hellerstein, Joseph M

Volltext

Python: the full monty von Politz, Joe Gibbs, Martinez, Alejandro, Milano, Mae, Warren, Sumner, Patterson, Daniel, Li, Junsong, Chitipothu, Anand, Krishnamurthi, Shriram

Volltext

KNOWLEDGE, SKILLS, AND ATTITUDE (KSA) OF FACULTY MEMBERS IN RECOGNIZING MENTAL HEALTH ISSUES AMONG COLLEGE STUDENTS von Paler, Elvie A., Mary A. Milano, Adrianne, A. Patilano, Rufa Mae, A. Sacayan, Katrina Rhaye, O. Poblete, Mae-Lanie, B. Orias, Jessica, P. Madjus, Leah May

Volltext

Collection

Volltext bestellen