E-LIB Suche - Ergebnisse für: Philip Dexter

1

The essence of online data processing:

Dexter, Philip ; Liu, Yu David ; Chiu, Kenneth
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 899-928 , 2022

Link: https://doi.org/10.1145/..

2

Detecting and Reacting to Anomalies in Relaxed Uses of Raft:

, In: 2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID),

Dexter, Philip ; Sendir, Bedri ; Chiu, Kenneth - p. 659-668 , 2020

Link: https://doi.org/10.1109/..

3

An Error-Reflective Consistency Model for Distributed Data ..:

, In: 2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS),

Dexter, Philip ; Chiu, Kenneth ; Sendir, Bedri - p. 728-737 , 2019

Link: https://doi.org/10.1109/..

4

Lazy graph processing in Haskell:

Dexter, Philip ; Liu, Yu David ; Chiu, Kenneth
ACM SIGPLAN Notices. 51 (2016) 12 - p. 182-192 , 2016

Link: https://doi.org/10.1145/..

5

Lazy graph processing in Haskell:

, In: Proceedings of the 9th International Symposium on Haskell,

Dexter, Philip ; Liu, Yu David ; Chiu, Kenneth - p. 182-192 , 2016

Link: https://dl.acm.org/doi/1..

6

The Essence of Online Data Processing - Coq Mechanization:

Philip Dexter ; Yu David Liu ; Kenneth Chiu
doi:10.5281/zenodo.7051650. , 2022

Link: https://zenodo.org/recor..

7

Making people work skillfully together with the support of ..:

Lakkala, Minna ; Dexter, Philip ; Rautiainen, Jukka..
Business Finland. , 2021

Link: http://hdl.handle.net/10..

8

Making people work skillfully together with the support of ..:

Lakkala, Minna ; Dexter, Philip ; Rautiainen, Jukka..
doi:10.5281/zenodo.5606939. , 2021

Link: https://zenodo.org/recor..

9

Formal Foundations of Continuous Graph Processing:

Dexter, Philip ; Liu, Yu David ; Chiu, Kenneth
http://arxiv.org/abs/1911.10982. , 2019

Link: http://arxiv.org/abs/191..

10

Notes on French wines:

Dexter, Philip, 1868-
http://hdl.handle.net/2027/uc1.b4222816. , 1933

Link: http://hdl.handle.net/20..

11

The war debts, an American view, by Philip Dexter and John ..:

Dexter, Philip, 1868-
(LCCN)28013985. , 1928

Link: http://hdl.handle.net/20..

12

Public Enemy, Public Scholarship: Hiphopography and the Co-..:

, In: Global Hiphopography,

Alim, H. Samy ; Lamontagne, Samuel ; Shawel, Tabia... - p. 29-56 , 2023

Link: https://doi.org/10.1007/..

13

CATHERINE, Philip / WIND, Martin: Catherine and Wind Duo Ar..

Naxos Music Library Jazz

Pettiford, Oscar ; Berlin, Irving ; Robison, Willard... , 2014

Link: http://suub.naxosmusicli..

14

Erratum to: treatment with bexarotene, a compound that incr..:

LaClair, Katherine D ; Manaye, Kebreten F ; Lee, Dexter L...
Molecular Neurodegeneration. 8 (2013) 1 - p. , 2013

Link: https://doi.org/10.1186/..

15

Treatment with bexarotene, a compound that increases apolip..:

LaClair, Katherine D ; Manaye, Kebreten F ; Lee, Dexter L...
Molecular Neurodegeneration. 8 (2013) 1 - p. , 2013

Link: https://doi.org/10.1186/..