We describe two systematic procedures for synthesizing mutlipleinput translinear element (MITE) networks that produce an output current that is equal to product of a number of inp...
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abu...
—The paper describes synthesis of a reactance network shaping a delayed quasi-rectangular pulse when the input step voltage is applied. The derivative of the step response is app...
We present a new scheduling algorithm, which is a synthesis of all the remarkable features of pretransmission coordination-based protocols for broadcast and select star networks. ...
Panagiotis G. Sarigiannidis, Georgios I. Papadimit...
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...