Abstract: An 80-Gb/s 2 15-1 pseudorandom binary sequence (PRBS) generator suitable for testing ... which is the best-in-class output eye diagram for a PRBS generator, to the best of our knowledge.

A Living Sequence Diagram generator from data gathered by the lsd-distributed-interceptors library and stored in a database.

Endogenous intracellular allosteric modulators of GPCRs remain largely unexplored, with limited binding and phenotype data available. This gap arises from the lack of robust computational methods for ...

RR is a generator of syntax diagrams, also known as railroad diagrams. It is a self-contained tool with both a browser-based GUI and a batch mode. Besides generating diagrams from EBNF rules, RR also ...

Abstract: This paper shows a method for translating UML sequence diagrams to Petri nets and verifying deadlockfreeness, reachability, safety and liveness properties by using a model checker. In this ...

School of Computer Science, Wuhan University, Wuhan 430072, P. R. China ...