Stem tim$ (all stems)

5 papers:

TestCom-2004-MaggiorePKPG #experience #testing

Soip Over Satellite Testing — TIM Experience (GM, LP, GDK, FP, BRG), pp. 112–127.

ICPR-v4-2002-ZucchelliSC02a #estimation

Maximum Likelihood Structure and Motion Estimation Integrated over Tim (MZ, JSV, HIC), pp. 260–263.

DAC-1993-PapaefthymiouR #named

TIM: A Timing Package for Two-Phase, Level-Clocked Circuitry (MCP, KHR), pp. 497–502.

NACLP-1989-JamsekGCH #named #reduction

WINTER: WAMS in Tim Expression Reduction (DJ, KJG, SKC, PRH), pp. 1013–1029.

FPCA-1987-FairbairnW #automaton #combinator #lazy evaluation #named

TIM: A simple, lazy abstract machine to execute supercombinatorics (JF, SW), pp. 34–45.