Stem stl$ (all stems)

7 papers:

CAV-2013-DonzeFM #monitoring #performance #robust

Efficient Robust Monitoring for STL (AD, TF, OM), pp. 264–279.

ICPR-2008-MaruyamaKYT #3d #locality #using

3D object localization based on occluding contour using STL CAD model (KM, YK, TY, FT), pp. 1–4.

ASE-2007-BlancGK #abstraction #c++ #verification

Verifying C++ with STL containers via predicate abstraction (NB, AG, DK), pp. 521–524.

ICSE-2005-BasitRJ #case study

Beyond templates: a study of clones in the STL and some general implications (HAB, DCR, SJ), pp. 451–459.

ICEIS-v1-2004-ZhouNB #c++ #implementation #performance #using

An Efficient B+-Tree Implementation in C++ Using the STL Style (JZ, BN, GB), pp. 163–168.

ICEIS-1999-SchumacherCHK #automation #coordination #simulation

The STL++ Coordination Language: Application to Simulating the Automation of a Trading System (MS, FC, SS, BH, OK), pp. 292–299.

DAC-1986-IvieL #named #simulation

STL — a high level language for simulation and test (JI, KWLL), pp. 517–523.