Otsing - TalTech teadusportaal

kuva

reasta

151

artikkel kogumikus

Structurally synthesized multiple input BDDs for simulation of digital circuitsUbar, Raimund-Johannes; Mironov, Dmitri; Raik, Jaan; Jutman, Artur16th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2009 : Yasmine Hammamet, Tunesia, 13-19 December, 20092009 / p. 451-454 : ill http://dx.doi.org/10.1109/ICECS.2009.5410895

artikkel kogumikus

152

dissertatsioon

Symbolic test generation for hierarchically modeled digital systemsZaugarov, Viktor1993 https://www.ester.ee/record=b2090336*est

dissertatsioon

153

artikkel kogumikus

Synthesis of high-level decision diagrams for functional test pattern generationUbar, Raimund-Johannes; Raik, Jaan; Karputkin, Anton; Tombak, MatiProceedings of the 16th International Conference Mixed Design of Integrated Circuits and Systems MIXDES 2009 : Lodz, Poland, 25-27 June, 20092009 / p. 519-524 : ill

artikkel kogumikus

154

artikkel kogumikus

Synthesis of testable FSM through decompositionDevadze, Sergei; Sudnitsõn, AleksanderInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 101-104 : ill

artikkel kogumikus

155

artikkel kogumikus

Teaching advanced test issues in digital electronicsUbar, Raimund-Johannes; Orasson, Elmet; Raik, Jaan; Wuttke, Heinz-DietrichProceedings of the 6th IEEE International Conference on Information Technology Based Higher Education and Training : ITHET : July 7-9, 2005, Juan Dolio, Dominican Republic2005 / p. S2B-1 - S2B-6 : ill http://dx.doi.org/10.1109/ITHET.2005.1560318

artikkel kogumikus

156

artikkel kogumikus

Teaching diagnostic modeling of digital systems with decision diagrams [Electronic resource]Ubar, Raimund-Johannes; Raik, Jaan; Mironov, Dmitri; Evartson, Teet; Orasson, Elmet; Aarna, Margit; Wuttke, Heinz-DietrichProceedings of 12th IASTED International Conference on Computers and Advanced Technology in Education - CATE 2009 : St.Thomas, US, November 22-24, 20092009 / p. 1-6. [CD-ROM]

artikkel kogumikus

157

artikkel kogumikus

Teaching research in the laboratory using diagnosis environment for digital systemsKostin, Sergei; Ubar, Raimund-Johannes; Raik, Jaan; Aarna, Margit; Brik, Marina; Wuttke, Heinz-Dietrich2009 EAEEIE annual conference : 20th Annual Conference of the European Association for Education in Electrical and Information Engineering : Valencia, Spain, June 22-24, 20092009 / p. 280-283 https://ieeexplore.ieee.org/document/5335462

artikkel kogumikus

158

artikkel ajakirjas

Tehissüsteemide veakindlusest : [TTÜ arvutitehnika instituudi teadustöödest]Ubar, Raimund-JohannesHorisont2006 / 2, lk. 64-69 : ill https://artiklid.elnet.ee/record=b2039558*est

artikkel ajakirjas

159

raamat

Tehted digitaalseadmeis : õppeabimaterjalAriste, Andri1976 https://www.ester.ee/record=b1292367*est

raamat

160

artikkel kogumikus

Test generation for control faults in digital systemsDušina, Julia; Brik, MarinaBEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 11994 / p. 325-330: ill

artikkel kogumikus

161

artikkel kogumikus

Test generation for digital systemsUbar, Raimund-JohannesDigest of papers - FTCS 13th Annual International Symposium on Fault-Tolerant Computing, June 28 - 30, 1983, Milano, Italy1983 / p. 374-377

artikkel kogumikus

162

artikkel kogumikus

Test generation for digital systems at functional levelUbar, Raimund-Johannes; Kuchcinski, Ktzysztof; Peng, Z.Research report LiTH-IDA-R-90-06, Linköping University, Sweden1990 / p. 1-21

artikkel kogumikus

163

artikkel kogumikus

Test generation for digital systems based on alternative graphsUbar, Raimund-JohannesDependable Computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 1994 : proceedings1994 / p. 151-164: ill

artikkel kogumikus

164

artikkel kogumikus

Testability analysis of digital design verificationHahanov, V.; Kaminska, M.; Fomina, JelenaBEC 2006 : 2006 International Baltic Electronics Conference : Tallinn University of Technology, October 2-4, 2006, Tallinn, Estonia : proceedings of the 10th Biennial Baltic Electronics Conference2006 / p. 171-174 : ill

artikkel kogumikus

165

artikkel kogumikus

The current state of voice over Internet protocol in wireless mesh networksMeeran, Mohammad Tariq; Annus, Paul; Le Moullec, Yannick2016 International Conference on Advances in Computing, Communications and Informatics (ICACCI) : September 21-24, 2016, The LNM Institute of Information Technology (LNMIT), Jaipur, India2016 / p. 2567-2575 : ill https://doi.org/10.1109/ICACCI.2016.7732444

artikkel kogumikus

166

artikkel kogumikus

The dildis-project-using applets for more demonstrative lectures in digital systems design and testUbar, Raimund-Johannes; Wuttke, Heinz-DietrichProceedings of the 31st ASEE/IEEE Frontiers in Educations Conference : FIE'2001 : Reno, Nevada2001 / p. SIE-2-7 https://ieeexplore.ieee.org/document/963996

artikkel kogumikus

167

artikkel kogumikus

The dildis-project-using applets for more demonstrative lectures in digital systems design and testUbar, Raimund-Johannes; Wuttke, Heinz-DietrichFIE 2001 : 31st Annual Frontiers in Educations Conference : Impact on Engineering and Science Education : Reno, Nevada, October 10-13, 2001 : conference program2001 / p. 83 https://ieeexplore.ieee.org/document/963996

artikkel kogumikus

168

raamat

The increasing role of digital technologies in co-production [Online resource]Lember, Veiko2017 http://technologygovernance.eu/files/main//2017090403424444.pdf

raamat

169

artikkel kogumikus

A tool for random test generation targeting high diagnostic resolutionOsimiry, Emmanuel Ovie; Kostin, Sergei; Raik, Jaan; Ubar, Raimund-JohannesBEC 2016 : 2016 15th Biennial Baltic Electronics Conference : proceedings of the 15th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 3-5, 2016, Tallinn, Estonia2016 / p. 79-82 : ill http://www.ester.ee/record=b2150914*est

artikkel kogumikus

170

artikkel kogumikus

True path tracing in structurally synthesized BDDs for testability analysis of digital circuitsUbar, Raimund-Johannes; Jürimägi, Lembit; Oyeniran, Adeboye Stephen; Jenihhin, MaksimEuromicro Conference on Digital System Design : DSD 2019 : 28 - 30 August 2019 Kallithea, Chalkidiki, Greece : proceedings2019 / p. 492-499 : ill https://doi.org/10.1109/DSD.2019.00077

artikkel kogumikus

171

artikkel kogumikus

TTBist: a DfT tool for enhancing functional test for SoCHermann, K.; Raik, Jaan; Jenihhin, MaksimBEC 2006 : 2006 International Baltic Electronics Conference : Tallinn University of Technology, October 2-4, 2006, Tallinn, Estonia : proceedings of the 10th Biennial Baltic Electronics Conference2006 / p. 191-194 : ill

artikkel kogumikus

172

artikkel kogumikus

Using simulation statistics for bug localization in RTL designsTihhomirov, Valentin; Jenihhin, Maksim; Raik, JaanInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu2013 / p. 107-110 : ill

artikkel kogumikus

173

artikkel kogumikus

Using test pattern generation tool decider in hardware verificationViilukas, Taavi; Raik, JaanInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 166-169 : ill

artikkel kogumikus

174

artikkel kogumikus

Uued meetodid digitaalsüsteemide disaini ja diagnostika valdkonnas : kommentaar Eesti Vabariigi teaduse aastapreemia pälvinud tööleUbar, Raimund-JohannesTallinna Tehnikaülikooli aastaraamat 19981999 / lk. 142-145

artikkel kogumikus

175

artikkel kogumikus

Web-based software implementation of finite state machine decomposition for design and educationDevadze, Sergei; Kruus, Margus; Sudnitsõn, AleksanderCompSysTech' 2001 : proceedings of the International Conference on Computer Systems and Technologies, Sofia, 21-22 June 20012001 / [6] p. : ill https://pld.ttu.ee/decomposition/publications/Sudnitson_CST_Estonia.pdf

artikkel kogumikus

digitaaltehnika (märksõna)

teaviku laadid

märksõna 1