Stem bolt$ (all stems)

6 papers:

SIGMOD-2013-BailisGHS #consistency

Bolt-on causal consistency (PB, AG, JMH, IS), pp. 761–772.

OOPSLA-2012-KlingMCR #infinity #named #on-demand

Bolt: on-demand infinite loop escape in unmodified binaries (MK, SM, MC, MCR), pp. 431–450.

HPCA-2010-HiltonR #energy #execution #named

BOLT: Energy-efficient Out-of-Order Latency-Tolerant execution (ADH, AR), pp. 1–12.

DAC-2001-Albin #verification

Nuts and Bolts of Core and SoC Verification (KA), pp. 249–252.

TOOLS-USA-1998-Karaorman #distributed #object-oriented

Nuts and Bolts of Object-Oriented Distributed Computing (MK), pp. 414–427.

DAC-1981-HoltS #design #specification

BOLT-a block oriented design specification language (DH, SS), pp. 276–279.