BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
lazi (1)
structur (1)
machin (1)
two (1)
execut (1)

Stem tim$ (all stems)

5 papers:

ICTSSTestCom-2004-MaggiorePKPG #experience #testing
Soip Over Satellite Testing — TIM Experience (GM, LP, GDK, FP, BRG), pp. 112–127.
ICPRICPR-v4-2002-ZucchelliSC02a #estimation
Maximum Likelihood Structure and Motion Estimation Integrated over Tim (MZ, JSV, HIC), pp. 260–263.
DACDAC-1993-PapaefthymiouR #named
TIM: A Timing Package for Two-Phase, Level-Clocked Circuitry (MCP, KHR), pp. 497–502.
ICLPNACLP-1989-JamsekGCH #named #reduction
WINTER: WAMS in Tim Expression Reduction (DJ, KJG, SKC, PRH), pp. 1013–1029.
FPCAFPCA-1987-FairbairnW #automaton #combinator #lazy evaluation #named
TIM: A simple, lazy abstract machine to execute supercombinatorics (JF, SW), pp. 34–45.

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.