Result 61 to 80 of 84 total
Reducing device yield fallout at wafer level test with electrohydrodynamic (EHD) cleaning (English)
ITC, 477-484 (2000).
61
Analyzing clickstreams using subsessions (English)
DOLAP, 25-32 (2000).
62
Scholarly book reviewing in the social sciences and humanities. The flow of ideas within and among disciplines, by ylva lindholm-romantschuk (English)
JASIS 50, No. 13, 1259-1261 (1999).
63
Critical lengths of error events in convolutional codes. (English)
IEEE Trans. Inf. Theory 44, No.4, 1608-1611 (1998).
64
Liveness in timed and untimed systems. (English)
Inf. Comput. 141, No.2, 119-171 (1998).
65
Critical lengths of error events in convolutional codes (English)
IEEE Transactions on Information Theory 44, No. 4, 1608-1611 (1998).
66
Understanding the hough transform: Hough cell support and its utilization. (English)
Image Vis. Comput. 15, No. 3, 205-218 (1997).
67
Understanding the Hough transform: Hough cell support and its utilization. (English)
Image Vis. Comput. 15, No. 3, 205-218 (1997).
68
Digital image processing: A 1996 review (English)
PARA, 14-23 (1996).
69
Automatic synthesis of real time systems (English)
ICALP, 535-546 (1995).
70
Liveness in timed and untimed systems (English)
ICALP, 166-177 (1994).
71
A systolic ON-LINE non-restoring division scheme (English)
HICSS (1), 339-348 (1994).
72
Operations on sets in an OODB (English)
OOPS Messenger 4, No. 1, 12-25 (1993).
73
Correctness of at-most-once message delivery protocols (English)
FORTE, 385-400 (1993).
74
Computer mediated documentation. Can multi media be used for technical documentation in the future? (English)
Computer Mediated Education of Information Technology Professionals and Advanced End-Users, 57-62 (1993).
75
Computer-assisted simulation proofs (English)
CAV, 305-319 (1993).
76
The interior point method for LP on parallel computers. (English)
Kall, Peter (ed.), System modelling and optimization. Proceedings of the 15th IFIP conference, Zurich, Switzerland, September 2-6, 1991. Berlin: Springer-Verlag. Lect. Notes Control Inf. Sci. 180, 241-250 (1992).
77
The scheduling of sparse matrix-vector multiplication on a massively parallel DAP computer. (English)
Parallel Comput. 18, No.6, 675-697 (1992).
78
At-most-once message delivery. A case study in algorithm verification (English)
CONCUR, 317-324 (1992).
79
Operations on sets in an OODB (English)
OOPS Messenger 2, No. 4, 26-39 (1991).
80
Result 61 to 80 of 84 total