Selected Publications (1995-2002)
Books and Book
D. Avresky and D. Kaeli, eds. Fault-Tolerant Parallel and Distributed Systems, Kluwer Academic Press, 1997.
D. Avresky and D. Kaeli. On-line fault recovery for wormhole routed two- dimensional meshes. Fault-Tolerant Parallel and Distributed Systems, Kluwer Academic Press, 1997.
D. Avresky and D. K. Pradhan. Fault-Tolerant Parallel and Distributed Systems, Computer Society Press, 1995.
L. Levitin. Optimal quantum measurements for pure and mixed states. Quantum Communication and Measurements, 1995.
M.G. Karpovsky, M.Mustafa, R.Mathur,"Fault-Tolerant Unicast Wormhole Routing in Irregular Computer Networks",Proc. of the Conference on Parallel and
Distributed Computing and Systems, PDSC 2002.
L.B. Levitin, M.G. Karpovsky, "Deadlock Prevention in Networks Modeled as
Weighted Graphs", Proc. ICINSAT-2002 Conf, 2002.
R. Stancovic, M.G. Karpovsky, "Remarks on the Number of Logical Networks
with the same Complexity Derived from Spectral Decision Diagrams".
Proc. Int. TICS Workshop on Spectral Methods and Multirate Signal Processing,
SMMSP'02, Toulouse, France, September 7-8, 2002, pp163-170.
I. Levin, V. Ostrovsky, S. Ostanin, M.G. Karpovsky, "Self-Checking Sequential
Circuits with Self-Healing", Proc of VLSI Symposium GLSVLSI-2002, 2002.
M.G.Karpovsky, R.Stancovic, J. Aastola, "Reduction of Sizes of Decision
Diagrams by Autocorrelation Fuctions", IEEE Trans on Computers, 2002.
I. Levin, M. G. Karpovsky, S. Ostanin, "Sequential Circuits applicable for
Detection of Faults", Proc. of 8th Int.Workshop on On-Line Testing, 2002.
I.Honkala, M.G.Karpovsky, S.Litsyn "Cycles Identifying Vertices and Edges
in Binary Hypercubes and Two-Dimensional Tori", Discrete Applied Mathematics,2002.
D.Starobinski, M.G.Karpovsky, L.Zakrevsky "Applications of Network Calculus
to General Topologies" IEEE/ACM Transactions on Networking, 2002.
M. Karpovsky, R. Stankovic, C.Moraga, "Spectral Techniques in Binary and
Multiple-Valued Switching Theory", International Journal on Multiple-Valued
Logic, to appear in 2002.
D. Starobinski, M.G.Karpovsky, L. Zakrevski, "Application of Network Calculus
to General Topologies Using Turn Prohibitions", Proc. INFOCOM 2002.
A. Trachtenberg, Designing Lexicographic Codes with a Given Trellis Complexity,
T. Etzion, A. Trachtenberg, and A. Vardy, Which Codes have Cycle-Free Tanner Graphs?
Y. Minsky, A. Trachtenberg, and R. Zippel, Set Reconciliation with Nearly Optimal
Communication Complexity, submitted.
M.G.Karpovsky, R.Stankovic, C.Moraga, "Recent Results in Applications of
Proc of Int. Conf on Computer Intelligence and Information Technologies, 2001.
I.Honkala, M.G.Karpovsky, S.Litsyn, "On Identification of Vertices and Edges
Using Cycles", Proc. AAECC-14, 2001, pp308-314.
M. Karpovsky, L. Levitin, A. Trachtenberg, "Data Verification and Reconciliation
with Generalized Error Control Codes", Proc. of 39th Annual Allerton Conference on
Communication, Control, and Computing, 2001.
A. Trachtenberg, M. Karpovsky, "Space-Time Turn Prohibitions for Low Density
Parity-Check Codes", Proc. of 39th Annual Allerton Conference on Communication,
Control, and Computing, 2001.
M. Karpovsky, L. Zakrevski, M. Mustafa, A. Agarwal, "The Generalized Turn Prohibition
Model for Multicast Routing in Irregular Networks," Proc. of Thirteenth IASTED International
Conference on Parallel and Distributed Computing and Systems (PDCS 2001).
M. Karpovsky, R. Stankovic, J. Astola, "Construction of Linearly Transformed Binary Decision
Diagrams by Autocorrelation Functions", Proceedings of International TICSP Workshop on
Spectral Methods and Multirate Signal Processing, SMMSP'2001, Pula, Croatia, 2001.
I. Levin, V. Sinelnikov, M. Karpovsky, "Synthesis of ASM-based Self-Checking Controllers",
Proceedings of International Conference on Digital Systems Design, DSD'2001.
P.K.Lala, M.G.Karpovsky, "An Approach for Designing On-line Testable State Machines",
Proc. International Workshop on On-line Testing, 2001.
U.Blass, I.Honkala, M.G.Karpovsky, S. Litsyn, "Short Dominating Paths and Cycles in
Hypercubes", Annals of Combinatorics 5, 2001.
David Starobinski and David Tse, "Probabilistic Methods for Web Caching" ,
Performance Evaluation , Vol 46, Nos. 2-3, pp. 125-137, October 2001. pdf.
I. Levin, M. Karpovsky, V. Sinelnikov, "Architecture of FPGA-based Concurrent Checking FSM",
Proceedings of the Third International Electronic Circuits and Systems Conference,
Bratislava, Slovakia, September 5-7, 2000.
M.G.Karpovsky, R.S.Stankovic, J.T.Astola, "Spectral Techniques for Design and Testing of
Computer Hardware", Keynote Paper, Proc. First Int. Workshop on Spectral Techniques and
Logical Design for Future Digital Systems, Tampere, Finland, June, 2000.
David Starobinski and Moshe Sidi, "Modeling and Analysis of Power-Tail
Distributions via Classical Teletraffic Methods" ,Queueing Systems (QUESTA),
Vol. 36, Nos. 1-3, pp. 243-267, November 2000. Gzipped PostScript
M.G. Karpovsky, K. Chakrabarty, L.B. Levitin, D. Avresky, "On the Covering of Vertices for Fault-Diagnosis in Hypercubes", Information Processing Letters, 69, 1999, pp.99-103.
V. Iyenger and K. Chakrabarty. An efficient finite-state machine implementation of Huffman decoders. Inf. Processing Lett. , pp. 271-275, 1998.
M. G. Karpovsky, K. Chakrabarty and L. B. Levitin. A new class of codes for identification of vertices IEEE Trans. On Inf. Theory, March 1998.
Lev. B. Levitin. Energy requirements in quantum communication. Int. J. of Theoretical Physics, 1998.
D. Avresky. Reconfiguration of faulty hypercubes. Int. J. of Computer Systems Sc. and Engineering, CRL Publishing Ltd., United Kingdom, 1997.
D. Avresky, S. Geoghegan and P. K. Tapadiya. A software-based fault injection tool SOFIT. Int. J. of Computer Systems Sc. and Engineering, CRL Publishing Ltd., United Kingdom, 1997.
D. Avresky and C. Cunningham. Single source fault-tolerant broadcasting Microprocessors and Microsystems, Elsevier Science, 1997.
D. Avresky. Formal verification of behavioral and timing properties protocols. Computer Communications J., 1997.
K. Chakrabarty and J. P. Hayes. Zero-aliasing space compaction. IEEE Trans. On VLSI Systems, 1997.
K. Chakrabarty and J. P. Hayes. On the quality of accumulator-based compaction of test responses. IEEE Trans. on CAD, 1997.
D. Das and M. G. Karpovsky. Exhaustive and near exhaustive memory testing. J. of Electronic Testing: Theory and Applications, pp. 215-229, 1997.
V. N. Yarmolik, A.I. Yanushkevich and M. G. Karpovsky. IDDQ testing of systolic CMOS networks. Micro-electronics Bulletin Russian Acad. of Sc., pp. 25-29, 1997.
A.Zakrevskij and L. Zakrevski. Synthesis of the shortest Reed-Muller realization. Doklady of the Acad. of Sc. Of Belarus, pp. 5-9, 1997.
A.Zakrevskij and L. Zakrevski. Diagnosis of stuck-at faults in EXOR- circuits. Automatic and Computer Technik, pp. 23-31, 1997.
Moshe Sidi and David Starobinski, "New Call Blocking versus Handoff
Blocking in Cellular Networks", ACM Journal of Wireless Networks,
Vol. 3, No. 1, pp. 15-27, March 1997. Gzipped PostScript
Lev B. Levitin, R. Gunther, B. Shapiro and P. Wagner. Zipfs law and the effect of ranking Int. J. of Theoretical Physics, pp. 395-417, 1996.
M. G. Karpovsky, T. D. Roziner and C. Moraga. Fault detection in multiprocessor systems IEEE Trans. on Computers, pp. 383-393, 1995.
S. Jaiswal, L. Zakrevski, M.G. Karpovsky, "Wormhole Message Routing in Networks of Workstations", submitted to PDCS-2000.
L. Zakrevski, M.G. Karpovsky, "Fault-Tolerant Routing in Computer Networks", Proc. Int. Conf. On Parallel and Distributed Processing Techniques and Applications, vol. 4, 1999, pp.2279-2287.
L. Zakrevski, S. Jaiswal, L.B. Levitin, M.G. Karpovsky, "A New Method for Deadlock Elimination in Computer Networks with Irregular Topologies", Proc. Int. Conf. On Parallel and Distributed Computer Systems, 1999.
L. Zakrevski, S. Jaiswal, M.G. Karpovsky, "Unicast Message Routing in Communication Networks with Irregular Topologies", Proc. of CAD-99, 1999.
V. Iyengar, K. Chakrabarty and B. T. Murray. Built-in self-testing of sequential circuits VLSI Test Symp., 1998.
V. Shurbanov, D. Avresky, R. Horst and (et al). A scalability study of ServerNet topologies. Int. Conf. On Parallel and Distributed systems, 1997.
D. Avresky et al. Formal verification of protocols. Int. Workshop on Embedded Fault-Tolerant Systems, 1996.
R. Wilkinson and D. Avresky. Implementation of a scalable reconfiguration algorithm. Int. Conf. On Massively Parallel Computing Systems, 1996.
K. Chakrabarty, B. T. Murray and J. P. Hayes. Optimal space compaction of test responses. Int. test Conf., pp. 834-843, 1995.
V. N. Yarmolik, Y. V. Bykov and M. G. Karpovsky. Test sets for internal access testing. Int. Conf. On CAD, pp. 131-141, 1995.
M. G. Karpovsky and V. N. Yarmolik. Testability measures and test complexities. Int. Workshop on IDDQ Testing, pp. 9-14, 1995.
L. Levitin. Single-error-correcting codes for magnetic recording. Int. Symp. On Inf. Theory, 1995.
L. Levitin and F. S. Vainstein. Bit-shift error correction in (d,k) codes. AAECC, 1995.
L. Zakrevski. Control flow error detection with signature analyzers. Int. Conf. On CAD of Discrete Devices, pp. 165-168, 1995.