Stem synchroniz$ (all stems)

6 papers:

LATA-2012-IbarraT #automaton #multi #turing machine

Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines (OHI, NQT), pp. 337–350.

VMCAI-2012-BasuBO #communication #verification

Synchronizability for Verification of Asynchronously Communicating Systems (SB, TB, MO), pp. 56–71.

LATA-2007-Martugin #automaton

A series of slowly synchronizable automata with a zero state over a small alphabet (PVM), pp. 391–402.

SAC-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.

IWPTS-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.

PLDI-1987-Waters #performance

Efficient interpretation of synchronizable series expressions (RCW), pp. 74–85.