Zobrazeno 1 - 10
of 1 588
pro vyhledávání: '"Shapiro, Marc"'
Autor:
Schiebelbein, Edgard, Hatia, Saalik, Bieniusa, Annette, Petri, Gustavo, Ferreira, Carla, Shapiro, Marc
This paper describes ongoing work on developing a formal specification of a database backend. We present the formalisation of the expected behaviour of a basic transactional system that calls into a simple store API, and instantiate in two semantic m
Externí odkaz:
http://arxiv.org/abs/2403.11716
Autor:
Geraedts, Scott, Brand, Erica, Dean, Thomas R., Eastham, Sebastian, Elkin, Carl, Engberg, Zebediah, Hager, Ulrike, Langmore, Ian, McCloskey, Kevin, Ng, Joe Yue-Hei, Platt, John C., Sankar, Tharun, Sarna, Aaron, Shapiro, Marc, Goyal, Nita
Persistent contrails make up a large fraction of aviation's contribution to global warming. We describe a scalable, automated detection and matching (ADM) system to determine from satellite data whether a flight has made a persistent contrail. The AD
Externí odkaz:
http://arxiv.org/abs/2308.02707
The tree is an essential data structure in many applications. In a distributed application, such as a distributed file system, the tree is replicated.To improve performance and availability, different clients should be able to update their replicas c
Externí odkaz:
http://arxiv.org/abs/2103.04828
Publikováno v:
36{\`e}me Conf{\'e}rence sur la Gestion de Donn{\'e}es -- Principes, Technologies et Applications (BDA 2020), Oct 2020, Paris, France
Database systems use query processing subsystems for enabling efficient query-based data retrieval. An essential aspect of designing any query-intensive application is tuning the query system to fit the application's requirements and workload charact
Externí odkaz:
http://arxiv.org/abs/2009.09671