BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
sequenc (3)
generat (2)
test (2)
base (2)
state (2)

Stem synchroniz$ (all stems)

6 papers:

LATALATA-2012-IbarraT #automaton #multi #turing machine
Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines (OHI, NQT), pp. 337–350.
VMCAIVMCAI-2012-BasuBO #communication #verification
Synchronizability for Verification of Asynchronously Communicating Systems (SB, TB, MO), pp. 56–71.
LATALATA-2007-Martugin #automaton
A series of slowly synchronizable automata with a zero state over a small alphabet (PVM), pp. 391–402.
SACSAC-2006-ChenJH #detection #fault #generative #multi #sequence #testing
A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences (KC, FJ, CdH), pp. 1791–1797.
ICTSSIWPTS-1993-LuoDBVG #distributed #finite #generative #sequence #state machine #testing
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports (GL, RD, GvB, PV, AG), pp. 139–153.
PLDIPLDI-1987-Waters #performance
Efficient interpretation of synchronizable series expressions (RCW), pp. 74–85.

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.