Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
TANNEN, VAL
100  Ergebnisse:
Personensuche X
?
1

DBSP: Incremental Computation on Streams and Its Applicatio..:

Budiu, Mihai ; Chajed, Tej ; McSherry, Frank..
ACM SIGMOD Record.  53 (2024)  1 - p. 87-95 , 2024
Link: https://doi.org/10.1145/..
 
?
2

DBSP: Automatic Incremental View Maintenance for Rich Query..:

Budiu, Mihai ; Chajed, Tej ; McSherry, Frank..
Proceedings of the VLDB Endowment.  16 (2023)  7 - p. 1601-1614 , 2023
Link: https://doi.org/10.14778..
 
?
3

Iterating on multiple collections in synchrony:

PERNA, STEFANO ; TANNEN, VAL ; WONG, LIMSOON
Journal of Functional Programming.  32 (2022)  - p. , 2022
Link: https://doi.org/10.1017/..
 
?
4

Synchronization Schemas:

, In: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,
Alur, Rajeev ; Hilliard, Phillip ; Ives, Zachary G.... - p. 1-18 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

PrIU: A Provenance-Based Approach for Incrementally Updatin..:

, In: Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data,
Wu, Yinjun ; Tannen, Val ; Davidson, Susan B. - p. 447-462 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Data-trace types for distributed stream processing systems:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Mamouras, Konstantinos ; Stanford, Caleb ; Alur, Rajeev.. - p. 670-685 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Provenance analysis for FOL model checking:

Tannen, Val
ACM SIGLOG News.  4 (2017)  1 - p. 24-36 , 2017
Link: https://doi.org/10.1145/..
 
?
8

Provenance analysis for FOL model checking:

Tannen, Val
ACM SIGLOG News.  4 (2017)  1 - p. 24-36 , 2017
Link: https://dl.acm.org/doi/1..
 
?
9

The Semiring Framework for Database Provenance:

, In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,
Green, Todd J. ; Tannen, Val - p. 93-99 , 2017
Link: https://dl.acm.org/doi/1..
 
?
10

Incremental View Maintenance For Collection Programming:

, In: Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,
Koch, Christoph ; Lupei, Daniel ; Tannen, Val - p. 75-90 , 2016
Link: https://dl.acm.org/doi/1..
 
?
11

Provenance-based analysis of data-centric processes:

Deutch, Daniel ; Moskovitch, Yuval ; Tannen, Val
The VLDB Journal.  24 (2015)  4 - p. 583-607 , 2015
Link: https://doi.org/10.1007/..
 
?
12

A provenance framework for data-dependent process analysis:

Deutch, Daniel ; Moskovitch, Yuval ; Tannen, Val
Proceedings of the VLDB Endowment.  7 (2014)  6 - p. 457-468 , 2014
Link: https://dl.acm.org/doi/1..
 
?
13

A provenance framework for data-dependent process analysis:

Deutch, Daniel ; Moskovitch, Yuval ; Tannen, Val
Proceedings of the VLDB Endowment.  7 (2014)  6 - p. 457-468 , 2014
Link: https://doi.org/10.14778..
 
?
14

In Search of Elegance in the Theory and Practice of Computa.. 

Essays Dedicated to Peter Buneman  Lecture Notes in Computer Science ; 8000;SpringerLink, Bücher
Tannen, Val ; Libkin, Leonid ; Tan, Wang-Chiew... , 2013
Link: https://doi.org/10.1007/..
 
?
15

Collaborative data sharing via update exchange and provenan..:

Karvounarakis, Grigoris ; Green, Todd J. ; Ives, Zachary G..
ACM Transactions on Database Systems.  38 (2013)  3 - p. 1-42 , 2013
Link: https://doi.org/10.1145/..
 
1-15