Stem ladder$ (all stems)

7 papers:

SIGMOD-2015-ZhangCPSX #graph #statistics #using

Private Release of Graph Statistics using Ladder Functions (JZ, GC, CMP, DS, XX), pp. 731–745.

ICML-2015-BlumH #contest #machine learning #reliability

The Ladder: A Reliable Leaderboard for Machine Learning Competitions (AB, MH), pp. 1006–1014.

ESEC-FSE-2013-JiangZLSHGS #analysis #reliability #runtime

System reliability calculation based on the run-time analysis of ladder program (YJ, HZ, HL, XS, WNNH, MG, JS), pp. 695–698.

DATE-2011-KaraklajicFSV #detection #fault #low cost #using

Low-cost fault detection method for ECC using Montgomery powering ladder (DK, JF, JMS, IV), pp. 1016–1021.

EDOC-2009-DayKLL

Climbing the Ladder: CMMI Level 3 (BD, SCKZ, LL, CL), pp. 97–106.

ECMDA-FA-2008-BenderCCFBV #metamodelling #petri net #validation

Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.

TACAS-1998-AikenFS #detection #logic programming #source code

Detecting Races in Relay Ladder Logic Programs (AA, MF, ZS), pp. 184–200.