BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
softwar (4)
verif (4)
furnac (3)
languag (3)
queri (3)

Stem blast$ (all stems)

17 papers:

SACSAC-2013-BhattacharjeeJ #algorithm #named #repository #scalability #similarity
CodeBlast: a two-stage algorithm for improved program similarity matching in large software repositories (AB, HMJ), pp. 846–852.
DACDAC-2012-MeirR #analysis #biology #named #network #performance #using
BLAST: efficient computation of nonlinear delay sensitivities in electronic and biological networks using barycentric Lagrange enabled transient adjoint analysis (AM, JSR), pp. 301–310.
TACASTACAS-2012-ShvedMM #analysis #contest
Predicate Analysis with BLAST 2.7 — (Competition Contribution) (PS, MUM, VSM), pp. 525–527.
HPDCHPDC-2010-LuJB #case study #named
AzureBlast: a case study of developing science applications on the cloud (WL, JJ, RSB), pp. 413–420.
DATEDATE-2009-AfratisGSMCPP #database #design #implementation
Design and implementation of a database filter for BLAST acceleration (PA, CG, ES, GGM, GC, IP, DNP), pp. 166–171.
FASEFASE-2009-Sery #specification #verification
Enhanced Property Specification and Verification in BLAST (OS), pp. 456–469.
SACSAC-2008-BastosPFF #named #ontology
BOLOS: BLAST & Ontology Linked-hOmologue Stars (HPB, CP, DF, AOF), pp. 1278–1281.
SACSAC-2006-SousaM #adaptation #biology #comparison #grid #multi #named #sequence
PackageBLAST: an adaptive multi-policy grid service for biological sequence comparison (MSS, ACMAdM), pp. 156–160.
FASEFASE-2005-BeyerHJM #memory management #safety
Checking Memory Safety with Blast (DB, TAH, RJ, RM), pp. 2–18.
CGOCGO-2005-DasLCKYHC #optimisation #performance #runtime
Performance of Runtime Optimization on BLAST (AD, JL, HC, JK, PCY, WCH, DyC), pp. 86–96.
PEPMPEPM-2004-BeyerCHJM #query #verification
Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 201–202.
SASSAS-2004-BeyerCHJM #query #verification
The Blast Query Language for Software Verification. (DB, AC, TAH, RJ, RM), pp. 2–18.
PPDPPPDP-2004-BeyerCHJM #query #verification
Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 1–2.
ICEISICEIS-v2-2003-MontesTDBO
A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace (DM, JT, ED, RB, FO), pp. 197–201.
ICEISICEIS-v1-2001-DiazTO #machine learning #using
A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques (ED, JT, FO), pp. 336–339.
ICEISICEIS-2000-TuyaDHBNAO #architecture #online
An Architecture for On-Line Intelligent Control of Blast Furnaces (JT, ED, MH, JALB, ÁN, AA, FO), pp. 222–226.
STOCSTOC-1990-FredmanW
BLASTING through the Information Theoretic Barrier with FUSION TREES (MLF, DEW), pp. 1–7.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.