Selected Publications (1995-2002)

 
Books and Book Chapters
 
K. Chakrabarty, M. Karpovsky and L. Levitin. Fault isolation and diagnosis 
in multiprocessor systems with point-to-point communication links. Fault-
Tolerant Parallel and Distributed Systems, Kluwer Academic Press, 1998.
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.

Journal Articles  
 
2002

 

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 
 
A. Trachtenberg, Designing Lexicographic Codes with a Given Trellis Complexity,
IEEE Trans. Inf. Theory, January 2002. Available in ps (1.1M), pdf (505k), or html.
 
T. Etzion, A. Trachtenberg, and A. Vardy, Which Codes have Cycle-Free Tanner Graphs?
IEEE Trans. Inf. Theory, 45:6.Available in ps (496K) or pdf (378k).
 
Y. Minsky, A. Trachtenberg, and R. Zippel, Set Reconciliation with Nearly Optimal 
Communication Complexity, submitted.
 
 
 
 
2001
 
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.
 
 
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.
 
 

 

 
2000

 

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
 
 
1999
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.
 
1998
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.

Lev. B. Levitin. Energy cost of information transmission (along the path of 
understanding). Physica D., 1998.

N. Margolus and Lev B. Levitin. The maximum speed of dynamic evolution. Physica D., 
1998.

M. G. Karpovsky. Integrated on-line and off-line error detection mechanism.
VLSI J., 1998.
 
1997

D. Avresky, V. Shurbanov and R. Horst. The effect of router arbitration policy 
Microprocessors and Microsystems, Elsevier Science, 1997.
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

1996

D. Avresky and J. Arlat. Functional programming for fault-tolerance.  ISCA J. 
of Computers and their Applications, 1996.

D. Avresky, J. Arlat, J. C. Laprie and Y. Crouzet. Fault injection for the 
formal testing of fault-tolerance. IEEE Trans. on Reliability, September 1996.

K. Chakrabarty and J. P. Hayes. Test response compaction using multiplexed 
parity trees. IEEE Trans. on CAD, pp. 1399-1408, 1996.

K. Chakrabarty and J. P. Hayes. Balance testing and balance-testable design.
J. of electronic Testing: Theory and Applications, pp. 71-86, 1996.

M.G. Karpovsky and V. N. Yarmolik. Transparent random access memory testing.
JETTA, pp. 251-266, 1996.

Lev B. Levitin. On the quantum measure of information. Annales de la Fondation 
Louis de Broglie, pp. 345-348, 1996.
Lev B. Levitin, R. Gunther, B. Shapiro and P. Wagner. Zipf’s law and the 
effect of ranking … Int. J. of Theoretical Physics, pp. 395-417, 1996.

A Zakrevsky and L. Zakrevski. Test generation and diagnosis for EXOR-
circuits. Doklady of the Academy of Sc. of Belarus, pp. 7-11, 1996.

L. Zakrevski. Superfast algorithm for canonical Reed-Muller form minimization 
for weakly defined systems of Boolean functions. Logic Design, pp. 76-85, 
1996.

L. Zakrevski and V. N. Yarmolik. Synthesis of optimal signature analyzer for 
error detection in logic devices. Technical Cybernetics, pp. 126-130, 1996.

1995

K. Chakrabarty and J. P. Hayes. Cumulative balance testing … IEEE Trans. on 
VLSI Systems, pp. 72-83, 1995.

M. G. Karpovsky. Applications of spectral techniques for off-line testing.
Berichte zur Angewandten Informatik, 1995.
M. G. Karpovsky, T. D. Roziner and C. Moraga. Fault detection in 
multiprocessor systems … IEEE Trans. on Computers, pp. 383-393, 1995.

Conference Papers
2000 
S. Jaiswal, L. Zakrevski, M.G. Karpovsky, "Wormhole Message Routing in 
Networks of Workstations", submitted to PDCS-2000.
1999
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.
 
1998 
V. Iyengar, K. Chakrabarty and B. T. Murray. Built-in self-testing of 
sequential circuits … VLSI Test Symp., 1998.

1997 

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 and S. Vassilaras. Automated formal verification … Int. Conf. 
On Computers and Communications, 1997. 

C. Cunningham and D. Avresky. Dynamic fault recovery … Int. Workshop on 
Fault-Tolerant, Parallel and Distributed Systems, 1997.

K. Chakrabarty, B. T. Murray, J. Liu and M. Zhu. Test width compression.
Int. Test Conf., pp. 328-337, 1997.

V. Iyengar, K. Chakrabarty and B. T. Murray. Test set encoding for efficient 
sequential circuit testing. Instr. And Meas. Tech. Conf., pp. 1442-1447, 
1997.

V. Iyengar, K. Chakrabarty and B. T. Murray. Built-in self-testing with 
complete fault coverage … IEEE North Atlantic Test Workshop, pp. 15-18, 1997.

L. Levitin. Remarks on conditional density matrix, entropy and information. 
Int. Workshop on Quantum Computation, 1997.

L. Levitin. Minimum energy in information transmission. Int. Conf. On CAD 
of Discrete Devices, pp. 98-102, 1997.

A.Zakrevskij and L. Zakrevski. Efficient algorithms for minimization of 
polynomial representation … Int. Workshop on VLSI Systems, pp. 49-50, 1997.

A. Zakrevskij and L. Zakrevski. Fast algorithm for minimizing Reed-Muller 
expansions … Int. Symposium on Multiple-Valued Logic, pp. 61-65, 1997.
 
 
1996

D. Avresky et al. Formal verification of protocols. Int. Workshop on Embedded 
Fault-Tolerant Systems, 1996. 

S.J. Geoghegan and D. Avresky. Method for designing and placing check sets.
Int. Symp. On Software reliability Engineering, 1996.
R. Wilkinson and D. Avresky. Implementation of a scalable reconfiguration 
algorithm.  Int. Conf. On Massively Parallel Computing Systems, 1996.

S.J. Geoghegan ad D. Avresky. Design, verification and validation of self-
checking software components. Int. Conf. On computers and Communications, 
1996.

S. Gerber ad D. Avresky. Evaluation of software diversity for detecting 
hardware faults. Int. On-line Test Workshop, 1996.

K. Chakrabarty, M. G. Karpovsky and L. Levitin. Fault-tolerant multiprocessor 
systems. Workshop on Fault-Tolerant and Distributed Systems, 1996.

M. G. Karpovsky, D. Das and H. Vardhan. BIST for detection of coupling-faults.
Int. Workshop on Memory Tech., Design and Test, 1996.

L. Levitin. Energy cost of information transmission. Int. Workshop on Physics 
and computation, 1996.

L. Levitin. Energy requirements in quantum communication. Quantum Structures, 
1996.

N. Margolus and L. Levitin. Quantum computational dynamics. Int. Workshop on 
Quantum Computation, 1996.

L. Zakrevki. Detection of stuck-at faults in AND/EXOR combinational circuits. 
Int. Conf. On Mathematics and Informatics, Kishinev, pp. 123, 1996.

1995

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.

L. Zakrevski. Combining concurrent error detection with off-line test. On-line 
Testing Workshop, pp. 201-205, 1995.

L. Kazarjan and Zakrevski L. Using random test generation for the diagnostics. 
Int. Mixed Signal Testing Workshop, pp. 92-94, 1995.

L. Zakrevski. Calculation of multiple sets of weights for scan- based random 
testing.  Int. Conf. “Gronics-95”, pp. 43-46, 1995.