MMV: a Metamodeling Based Microprocessor Validation Environment
Mathaikutty, D.; Kodakara, S.; Dingankar, A.; Shukla, S.; Lilja, D.
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 16(4): 339-352
2008
ISSN/ISBN: 1063-8210 DOI: 10.1109/tvlsi.2008.917419
Accession: 085367255
Full-Text Article emailed within 0-6 h
Payments are secure & encrypted
References
Mathaikutty, D.A.; Kodakara, S.V.; Dingankar, A.; Shukla, S.K.; Lilja, D.J. 2008: MMV : A Metamodeling Based Microprocessor Validation Environment : Design verification and validation IEEE Transactions on very Large Scale Integration Systems 16(4): 339-352Dingankar, A.T.; Mathaikutty, D.A.; Kodakara, S.V.; Shukla, S.K.; Lilja, D.J. 2006: MMV: Metamodeling based microprocessor validation environment Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT: 143-148
Varró, D.; Pataricza, A. 2003: VPM: a visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics) Software-Systems Modeling 2(3): 187-210
Lacatusu, M.; Ionita, A.D. 2020: Metamodeling environment in cloud UPB Scientific Bulletin, Series C: Electrical Engineering and Computer Science 82(3): 27-34
Bender, D.F.; Combemale, B.; Cregut, X.; Farines, J.M.A.; Berthomieu, B.; Vernadat, F. 2008: Ladder metamodeling and plc program validation through time petri nets Lecture Notes in Computer Science 5095 LNCS: 121-136
Kyprioti, A.P.; Zhang, J.; Taflanidis, A.A. 2020: Adaptive design of experiments for global Kriging metamodeling through cross-validation information Structural and Multidisciplinary Optimization 62(3): 1135-1157
Aute, V.; Saleh, K.; Abdelaziz, O.; Azarm, S.; Radermacher, R. 2013: Cross-validation based single response adaptive design of experiments for Kriging metamodeling of deterministic computer simulations Structural and Multidisciplinary Optimization 48(3): 581-605
Rodriguez, J.G.; Lazenby, K.; Scharlott, L.J.; Hunter, K.H.; Becker, N.M. 2020: Supporting Engagement in Metamodeling Ideas in General Chemistry: Development and Validation of Activities Designed Using Process Oriented Guided Inquiry Learning Criteria Journal of Chemical Education 97(12): 4276-4286
Fox, R. 1979: 16 bit microprocessor for the hard environment Microelectronics Reliability 19(5-6): 599-610
Corno, F.; Sanchez, E.E.; Squillero, G. 2005: Evolving assembly programs: How games help microprocessor validation IEEE Transactions on Evolutionary Computation 9(6): 695-706
Beeby, S.P.; Grabham, N.J.; White, N.M. 2001: Microprocessor implemented self-validation of thick-film PZT/silicon accelerometer Eurosensors 92(1-3): 168-174
Campos, J.; Al-Asaad, H. 2004: Mutation-based validation of high-level microprocessor implementations Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT: 81-86
Korst, R.J.; Orlando, R.; Yeston, N.S.; Molin, M.; de Graff, A.C.; Gluck, E. 1992: Validation of respiratory mechanics software in microprocessor-controlled ventilators Critical Care Medicine 20(8): 1152-1156
Deutsch, C.; Christiansen, N.; Ossysek, I.; Draeger, J.; Rumberger, E.; Kohlhaas, M. 1996: Clinical calibration and in vitro validation of two microprocessor-controlled tonometers Ophthalmologe 93(5): 544-548
Lifschitz, O.D.; Rodriguez, J.A.; Julian; Agamennoni, O.E. 2011: Post-silicon validation procedure for a PWL ASIC microprocessor architecture IEEE Latin America Transactions 9(4): 492-497
Worley, J.W.; Allison, J.M. 1984: Microprocessor control of poultry house environment Paper, American Society of Agricultural Engineers (84-3025): 24 pp
Skordas, T.; de Paoli, S.; Grossmann, P.; Horaud, R.P.; Deriche, R.; Courtney, P.; Chehikian, A. 1993: Microprocessor open Vision environment (MOVE) Proceedings of SPIE - The International Society for Optical Engineering 1989: 396-401
Gates, R.S.; Timmons, M.B. 1987: Microprocessor controlled broiler environment for optimal production Latest developments in livestock housing Proceedings of the Seminar of the 2nd Technical Section of the CIGR Commission Internationale du Genie Rural, University of Illinois, Urbana Champaign, Illinois, USA, 22-26 June 1987: 220-235
Fisher T W, I.I.I. 1983: Protection of microprocessor and minicomputer systems in the industrial environment Elastomerics 115(8): 36-40
Wang, L.; Abadir, M.S.; Zeng, J. 1998: On measuring the effectiveness of various design validation approaches for Power PC microprocessor embedded arrays ACM Transactions on Design Automation of Electronic Systems 3(4): 524-532