Papers

A pesquisa por trás dos conceitos. Busque por título, autor, DOI ou palavra-chave.

Resultados: 47

[21] / DOI 10.1145/3299869.332021225 de junho de 2019
DuckDB: um banco de dados analítico embarcável
Título original: DuckDB: an Embeddable Analytical Database
Mark Raasveldt; Hannes Mühleisen
[DOI, Página]
PublicadoArtigo de conferênciaProceedings of the 2019 International Conference on Management of DataBancos de dados duckdb banco de dados embarcado olap execução vetorizada armazenamento colunar mvcc
[22] / DOI 10.1109/sp.2019.00002maio de 2019
Ataques Spectre: explorando a execução especulativa
Título original: Spectre Attacks: Exploiting Speculative Execution
Paul Kocher; Jann Horn; Anders Fogh; Daniel Genkin +8 a mais
[DOI, Página]
PublicadoArtigo de conferência2019 IEEE Symposium on Security and Privacy (SP)Segurança e privacidade spectre execução especulativa canais laterais predição de desvios microarquitetura isolamento de processos
[23]outubro de 2018
O FuzzyLog: um shared log parcialmente ordenado
Título original: The FuzzyLog: A Partially Ordered Shared Log
Joshua Lockerman; Jose M. Faleiro; Juno Kim; Soham Sankaran +4 a mais
[Página]
PublicadoArtigo de conferência13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)Sistemas distribuídos shared log ordem parcial consistência causal geo-replicação algoritmo de skeen chain replication crdt
[24]abril de 2018
Salsify: vídeo de rede com baixa latência por meio de uma integração mais estreita entre codec de vídeo e protocolo de transporte
Título original: Salsify: Low-Latency Network Video through Tighter Integration between a Video Codec and a Transport Protocol
Sadjad Fouladi; John Emmons; Emre Orbay; Catherine Wu +2 a mais
[Página]
PublicadoArtigo de conferência15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)Redes de computadores vídeo em tempo real baixa latência controle de congestionamento codec de vídeo webrtc vp8
[25] / DOI 10.1145/315815427 de dezembro de 2017
RustBelt: assegurando as fundações da linguagem Rust
Título original: RustBelt: Securing the Foundations of the Rust Programming Language
Ralf Jung; Jacques-Henri Jourdan; Robbert Krebbers; Derek Dreyer
[DOI, Página]
PublicadoArtigo de periódicoProceedings of the ACM on Programming LanguagesLinguagens de programação rust segurança de memória ownership lógica de separação corretude de tipos código unsafe
[26] / DOI 10.1145/3132747.313275114 de outubro de 2017
Eris: transações consistentes sem coordenação usando controle de concorrência na rede
Título original: Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control
Jialin Li; Ellis Michael; Dan R. K. Ports
[DOI, Página]
PublicadoArtigo de conferênciaProceedings of the 26th Symposium on Operating Systems PrinciplesSistemas distribuídos transações distribuídas controle de concorrência na rede multi-sequencing transações independentes serializabilidade estrita switches programáveis
[27] / DOI 10.1145/3064176.306421023 de abril de 2017
Saturn: um serviço distribuído de metadados para consistência causal
Título original: Saturn: a Distributed Metadata Service for Causal Consistency
Manuel Bravo; Luís Rodrigues; Peter Van Roy
[DOI, Página]
PublicadoArtigo de conferênciaProceedings of the Twelfth European Conference on Computer SystemsSistemas distribuídos consistência causal replicação geográfica replicação parcial serviço de metadados falsas dependências latência de visibilidade
[28]março de 2017
vCorfu: um object store em escala de nuvem sobre um shared log
Título original: vCorfu: A Cloud-Scale Object Store on a Shared Log
Michael Wei; Amy Tai; Christopher J. Rossbach; Ittai Abraham +8 a mais
[Página]
PublicadoArtigo de conferência14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)Sistemas distribuídos shared log replicação de máquina de estados streams materializados object store transações otimistas sequenciador opacidade
[29]novembro de 2016
Diga não ao custo do Paxos: substituindo consenso por ordenação na rede
Título original: Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering
Jialin Li; Ellis Michael; Naveen Kr. Sharma; Adriana Szekeres +1 a mais
[Página]
PublicadoArtigo de conferência12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)Sistemas distribuídos nopaxos replicação de máquina de estados ordered unreliable multicast sequenciamento na rede redes definidas por software consenso data centers
[30] / DOI 10.14778/2824032.2824076agosto de 2015
O modelo Dataflow: uma abordagem prática para equilibrar correção, latência e custo no processamento de dados ilimitados e fora de ordem em escala massiva
Título original: The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing
Tyler Akidau; Robert Bradshaw; Craig Chambers; Slava Chernyak +7 a mais
[DOI, Página]
PublicadoArtigo de periódicoProceedings of the VLDB EndowmentSistemas distribuídos processamento de fluxo tempo de evento janelas gatilhos watermarks dataflow
[31]junho de 2014
Em busca de um algoritmo de consenso compreensível
Título original: In Search of an Understandable Consensus Algorithm
Diego Ongaro; John Ousterhout
[Página]
PublicadoArtigo de conferência2014 USENIX Annual Technical Conference (USENIX ATC 14)Sistemas distribuídos consenso raft paxos log replicado eleição de líder replicação de máquina de estados
[32] / DOI 10.1145/2568225.256827131 de maio de 2014
Cobertura não tem forte correlação com a efetividade de uma suíte de testes
Título original: Coverage Is Not Strongly Correlated with Test Suite Effectiveness
Laura Inozemtseva; Reid Holmes
[DOI, Página]
PublicadoArtigo de conferênciaProceedings of the 36th International Conference on Software EngineeringEngenharia de software cobertura de código efetividade de suítes de teste teste de mutação engenharia de software empírica testes unitários java
[33] / DOI 10.1145/2517349.25227323 de novembro de 2013
Tango: estruturas de dados distribuídas sobre um log compartilhado
Título original: Tango: Distributed Data Structures over a Shared Log
Mahesh Balakrishnan; Dahlia Malkhi; Ted Wobber; Ming Wu +6 a mais
[DOI, Página]
PublicadoArtigo de conferênciaProceedings of the Twenty-Fourth ACM Symposium on Operating Systems PrinciplesSistemas distribuídos log compartilhado serviços de metadados replicação de máquina de estados controle de concorrência otimista transações distribuídas streams corfu
[34] / DOI 10.1109/icse.2013.6606617maio de 2013
Expectativas, resultados e desafios da revisão de código moderna
Título original: Expectations, Outcomes, and Challenges of Modern Code Review
Alberto Bacchelli; Christian Bird
[DOI, Página]
PublicadoArtigo de conferência2013 35th International Conference on Software Engineering (ICSE)Engenharia de software revisão de código engenharia de software empírica compreensão de programas transferência de conhecimento experiência do desenvolvedor pesquisa qualitativa
[35]outubro de 2012
Spanner: o banco de dados globalmente distribuído do Google
Título original: Spanner: Google's Globally-Distributed Database
James C. Corbett; Jeffrey Dean; Michael Epstein; Andrew Fikes +22 a mais
[Página]
PublicadoArtigo de conferência10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)Sistemas distribuídos spanner truetime consistência externa transações distribuídas paxos replicação geográfica
[36] / DOI 10.1145/2213836.221383820 de maio de 2012
Calvin: transações distribuídas rápidas para sistemas de banco de dados particionados
Título original: Calvin: Fast Distributed Transactions for Partitioned Database Systems
Alexander Thomson; Thaddeus Diamond; Shu-Chun Weng; Kun Ren +2 a mais
[DOI, Página]
PublicadoArtigo de conferênciaProceedings of the 2012 ACM SIGMOD International Conference on Management of DataSistemas distribuídos bancos de dados determinísticos transações distribuídas two-phase commit locking determinístico replicação paxos tpc-c
[37]abril de 2012
CORFU: um projeto de log compartilhado para clusters de flash
Título original: CORFU: A Shared Log Design for Flash Clusters
Mahesh Balakrishnan; Dahlia Malkhi; Vijayan Prabhakaran; Ted Wobber +2 a mais
[Página]
PublicadoArtigo de conferência9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12)Sistemas distribuídos log compartilhado armazenamento flash replicação de máquina de estados chain replication sequencer reconfiguração consistência forte
[38] / DOI 10.1145/1993498.19935324 de junho de 2011
Encontrando e entendendo bugs em compiladores de C
Título original: Finding and Understanding Bugs in C Compilers
Xuejun Yang; Yang Chen; Eric Eide; John Regehr
[DOI, Página]
PublicadoArtigo de conferênciaProceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and ImplementationLinguagens de programação teste de compiladores teste diferencial fuzzing comportamento indefinido miscompilação compcert
[39] / DOI 10.1145/1498765.1498785abril de 2009
Roofline: um modelo visual e esclarecedor de desempenho para arquiteturas multicore
Título original: Roofline: An Insightful Visual Performance Model for Multicore Architectures
Samuel Williams; Andrew Waterman; David Patterson
[DOI, Página]
PublicadoArtigo de periódicoCommunications of the ACMComputação de alto desempenho roofline modelagem de desempenho intensidade operacional largura de banda de memória multicore otimização
[40] / DOI 10.1145/1375581.13755867 de junho de 2008
Immix: um coletor de lixo mark-region com eficiência de espaço, coleta rápida e bom desempenho do mutador
Título original: Immix: A Mark-Region Garbage Collector with Space Efficiency, Fast Collection, and Mutator Performance
Stephen M. Blackburn; Kathryn S. McKinley
[DOI, Página]
PublicadoArtigo de conferênciaProceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and ImplementationLinguagens de programação coleta de lixo mark-region immix gerenciamento de memória jvm fragmentação