Result 1201 to 1220 of 1225 total
The higher radix hypercube as an interconnection and virtual network (English)
ACM Conference on Computer Science, 260-268 (1989).
1201
Security algebras and formal models: using Petri net theory (English)
DBSec, 75-96 (1989).
1202
Modeling and Measurement of Error Propagation in a Multimodule Computing System. (English)
IEEE Transactions on Computers 37, No.09, 1053-1066 (1988).
1203
Designing Circuits with Partial Scan. (English)
IEEE Design and Test of Computers 05, No.02, 8-15 (1988).
1204
A neural network approach to transform image coding. (English)
Int. J. Circuit Theory Appl. 16, No.3, 317-324 (1988).
1205
Modeling and measurement of error propagation in a multimodule computing system (English)
IEEE Trans. Computers 37, No. 9, 1053-1066 (1988).
1206
An optimal lot-sizing model for multi-stage series/assembly systems (English)
Computers & OR 15, No. 5, 403-415 (1988).
1207
Neighborhood systems and relational databases (English)
ACM Conference on Computer Science, 725 (1988).
1208
A generalized information flow model and the role of system security officer (English)
DBSec, 85-103 (1988).
1209
A new scheme of adaptive modelling and forecasting for ARMAX processes. (Chinese)
Acta Autom. Sin. 13, 120-128 (1987).
1210
Optimal checkpointing of real-time tasks (English)
IEEE Trans. Computers 36, No. 11, 1328-1341 (1987).
1211
A hierarchical timing simulation model. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 5, No. 1, 188-197 (1986).
1212
M^2-mesh: an augmented mesh architecture (English)
ICPP, 308-315 (1986).
1213
The s-algorithm: A promising solution for systematic functional test generation. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 4, No. 3, 250-263 (1985).
1214
VLSI functional test pattern generation: A design and implementation (English)
ITC, 922-929 (1985).
1215
Tradeoffs in mapping algorithms to array processors (English)
ICPP, 719-726 (1985).
1216
Signal delay in general RC networks. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 3, No. 4, 331-349 (1984).
1217
Functional test generation of digital LSI/VLSI systems using machine symbolic execution technique (English)
ITC, 660-668 (1984).
1218
Petri net models for computer security. (English)
Bull. Inst. Math., Acad. Sin. 11, 439-457 (1983).
1219
Complexity and performance of a graph theory algorithm for cluster analysis. (English)
Int. J. Comput. Math. 13, 41-50 (1983).
1220
Result 1201 to 1220 of 1225 total
Start
Contact
Print
General Help
