17 papers:
SAC-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.
DAC-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.
TACAS-2012-ShvedMM #analysis #contest- Predicate Analysis with BLAST 2.7 — (Competition Contribution) (PS, MUM, VSM), pp. 525–527.
HPDC-2010-LuJB #case study #named- AzureBlast: a case study of developing science applications on the cloud (WL, JJ, RSB), pp. 413–420.
DATE-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.
FASE-2009-Sery #specification #verification- Enhanced Property Specification and Verification in BLAST (OS), pp. 456–469.
- SAC-2008-BastosPFF #named #ontology
- BOLOS: BLAST & Ontology Linked-hOmologue Stars (HPB, CP, DF, AOF), pp. 1278–1281.
- SAC-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.
- FASE-2005-BeyerHJM #memory management #safety
- Checking Memory Safety with Blast (DB, TAH, RJ, RM), pp. 2–18.
CGO-2005-DasLCKYHC #optimisation #performance #runtime- Performance of Runtime Optimization on BLAST (AD, JL, HC, JK, PCY, WCH, DyC), pp. 86–96.
PEPM-2004-BeyerCHJM #query #verification- Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 201–202.
SAS-2004-BeyerCHJM #query #verification- The Blast Query Language for Software Verification. (DB, AC, TAH, RJ, RM), pp. 2–18.
PPDP-2004-BeyerCHJM #query #verification- Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 1–2.
ICEIS-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.
- ICEIS-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.
- ICEIS-2000-TuyaDHBNAO #architecture #online
- An Architecture for On-Line Intelligent Control of Blast Furnaces (JT, ED, MH, JALB, ÁN, AA, FO), pp. 222–226.
STOC-1990-FredmanW- BLASTING through the Information Theoretic Barrier with FUSION TREES (MLF, DEW), pp. 1–7.
