🦞🌯 Lobster Roll

Thread

The case for shared nothing (pdf.aminer.org)

Stories related to "The case for shared nothing" across the full archive.

The case for shared nothing (pdf.aminer.org)
Type-Safe Redis Queries: Case Study of Type-Level Programming in Haskell (2017) (arxiv.org)
Reliable real-time processing at Spotify (jfokus.se)
Programmers’ Build Errors: A Case Study (at Google) (static.googleusercontent.com)
Coding a Lisp Interpreter in Shen: a Case Study (shenlanguage.org)
Why I love databases (medium.com)
Recommended reading for building time series databases?
I'm interested in building a simple in-memory time series database, but I'm not really sure what the state of the art is here. I'm looking at having some basic aggregates over my series - sum's, min/max, mean, etc. I'm also interested in having different retention periods and granularity. Does anyon...
The Influence of Organizational Structure On Software Quality: An Empirical Case Study (research.microsoft.com)
Feeding Graph databases - a third use-case for modern log management platforms. (medium.com)
Algebraic Data Types for Language-Integrated Queries (2013) (db.inf.uni-tuebingen.de)
Three layer cake for shared-memory programming [2010] (dl.acm.org)
Using State Machines to run Databases (citusdata.com)
What are your favorite server/backend architecture case studies?
Spending so much time of my career on the UI and API layers, I'm hoping to learn more about backend and server architectures in terms of case studies that took place over time. What do you have fellow Crustaceans?
ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications (bailis.org)
An Orchestrated Survey on Automated, Software, Test-Case Generation (2013) (cs.stanford.edu)
Go Meta! - A Case for Generative Programming and DSL's in Performance-Critical Systems (drops.dagstuhl.de)
The Case for Writing a Kernel in Rust (cs.virginia.edu)
Much Ado About Nothing: Putting Java's Null in its Place (2008) (www2.ccs.neu.edu)
The COGENT Case for Property-Based Testing (2017) (ssrg.nicta.com.au)
MongoDB vs MySQL: A Comparative Study on Databases (simform.com)
It is my first article on lobste.rs, I hope you will enjoy my contribution. Do not hesitate to comment and help to improve it.
FAST: Fast Architecture Sensitive Tree Search on Modern CPUs and GPUs (2010) (webislands.net)
Abstract: "In-memory tree structured index search is a fundamental database operation. Modern processors provide tremendous computing power by integrating multiple cores, each with wide vector units. There has been much work to exploit modern processor architectures for database primitives like sca...
Adaptive Range Filters for Cold Data: Avoiding Trips to Siberia (2013) (vldb.org)
Abstract: "Bloom filters are a great technique to test whether a key is not in a set of keys. This paper presents a novel data structure called ARF. In a nutshell, ARFs are for range queries what Bloom filters are for point queries. That is, an ARF can determine whether a set of keys does not contai...
Cleanroom Software Engineering Case Study at NASA: Early Analysis (1990) (ntrs.nasa.gov)
Trimmed abstract: "This case study analyzes the application of the [Cleanroom methdology](http://infohost.nmt.edu/~al/cseet-paper.html) to the development of production software at the NASA Goddard Space Flight Center. The Cleanroom methodology emphasizes human discipline in program verification to ...
The Case for Teaching Functional Programming in Discrete Math (2011) (cs.wheaton.edu)
Abstract: "Functional programming is losing its place in undergraduate computer science curricula, in part because of the attention given to many new ideas in the field. Nevertheless, undergraduates benefit from an early experience in a second programming paradigm, especially functional programming....
To BLOB or Not To BLOB (microsoft.com)
GPU LSM: Dynamic Dictionary Data Structure for the GPU [pdf] (arxiv.org)
The Case for Network-Accelerated Query Processing (exascale.info)
Using programmable network switches to accelerate OLAP queries in MPP databases! Results show 2x faster responses using a 25Gbps network.
Software Faults in Evolving a Large, Real-Time System: a Case Study (1992) (users.ece.utexas.edu)
SMT for state-based formal methods: the ASM case study (2017) (fm.csl.sri.com)
Abstract: "State-based transition systems can take advantage of a symbolic representation of the concepts of state and transition in order to automatically solve verification questions that could not be otherwise tackled in terms of explicit representation of the transition system. We report here...
Haskell on a Shared-Memory Multiprocessor (2005) (simonmar.github.io)