T. Niculiu, C. Aktouf, and S. Cotofana
[1] J. van Leeuwen (ed.), Handbook of theoretical computer science(Cambridge, MA: Elsevier, 1990). [2] L. Blum, F. Cucker, M. Shub, & S. Smale, Complexity andreal computation (New York: Springer, 1998). [3] T. Niculiu & S. Cotofana, Hierarchical intelligent simulation,Proc. 15th SCS European Simulation Multiconference, Prague,2001, 243–246. [4] P. Ageron, Limites inductives dans les categories accessibles,Theory & Applications of Categories, 8(11), 2001, 313–323. [5] K. Keutzer, S. Malik, A.R. Newton, J. Rabaey, & A.Sangiovanni-Vincentelli, System-level design: Orthogonalization of concerns and platform-based design, IEEE Trans.Computer-Aided Design of Integrated Circuits & Systems,19 (12), 2000, 1523–1543. doi:10.1109/43.898830 [6] R. Amoroso, R. Antunes, C. Coelho, M. Farias, A. Leite, & P.Soares (eds.), Science and primacy of consciousness (Orinda,CA: Noetic Press, 2000). [7] R.Turner, Constructive foundations for functional anguages(New York: McGraw-Hill, 1991). [8] W. Rudin, Functional analysis (New York: McGraw-Hill,1973). [9] E. Larsson & Z Peng, A behavioral-level testability enhancement technique, Proc. 9th IEEE European Test Workshop, Konstanz, 1999, 163–164. [10] C. Aktouf, H. Fleury, & C. Robach, Inserting scan at behavioural level, IEEE Design & Test of COmputers, 17(3), 2000, 34-42. doi:10.1109/54.867892
Important Links:
Go Back