𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 12th Latin American Test Workshop - LATW - Beach of Porto de Galinhas, Brazil (2011.03.27-2011.03.30)] 2011 12th Latin American Test Workshop (LATW) - Hybrid verificatio of temporal properties in hardware dependent software

✍ Scribed by Lettnin, Djones; Rosenstiel, Wolfgang

Book ID: 126600615
Publisher: IEEE
Year: 2011
Weight: 188 KB
Category: Article
ISBN: 1457714892
DOI: 10.1109/LATW.2011.5985923

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 12th Latin American Test Work

[IEEE 2011 12th Latin American Test Workshop - LATW - Beach of Porto de Galinhas, Brazil (2011.03.27-2011.03.30)] 2011 12th Latin American Test Workshop (LATW) - Investigating the effects of transient faults in Programmable Capacitor Arrays

✍ Balen, Tiago R.; Cardoso, Guilherme S.; Goncalez, Odair L.; Lubaszewski, Marcelo 📂 Article 📅 2011 🏛 IEEE ⚖ 278 KB

[IEEE 2011 12th Latin American Test Work

[IEEE 2011 12th Latin American Test Workshop - LATW - Beach of Porto de Galinhas, Brazil (2011.03.27-2011.03.30)] 2011 12th Latin American Test Workshop (LATW) - Prediction of long-term immunity of a phase-locked loop

✍ Boyer, A.; Ben Dhia, S.; Li, B.; Lemoine, C.; Vrignon, B. 📂 Article 📅 2011 🏛 IEEE ⚖ 340 KB

[IEEE 2011 12th Latin American Test Work

[IEEE 2011 12th Latin American Test Workshop - LATW - Beach of Porto de Galinhas, Brazil (2011.03.27-2011.03.30)] 2011 12th Latin American Test Workshop (LATW) - Configurable Thru-Silicon-Via interconnect Built-In Self-Test and diagnosis

✍ Pasca, Vladimir; Anghel, Lorena; Benabdenbi, Mounir 📂 Article 📅 2011 🏛 IEEE ⚖ 740 KB

[IEEE 2011 12th Latin American Test Work

[IEEE 2011 12th Latin American Test Workshop - LATW - Beach of Porto de Galinhas, Brazil (2011.03.27-2011.03.30)] 2011 12th Latin American Test Workshop (LATW) - Testing in an agile product development environment: An industry experience report

✍ dos Santos, Andreia M.; Karlsson, Borje F.; Cavalcante, Andre M.; Correia, Igor 📂 Article 📅 2011 🏛 IEEE ⚖ 317 KB

[IEEE 2011 12th Latin American Test Work

[IEEE 2011 12th Latin American Test Workshop - LATW - Beach of Porto de Galinhas, Brazil (2011.03.27-2011.03.30)] 2011 12th Latin American Test Workshop (LATW) - Functional test generation for the pLRU replacement mechanism of embedded cache memories

✍ Perez, W. J. H.; Sanchez, E.; Reorda, M. Sonza; Tonda, A.; Medina, J. Velasco 📂 Article 📅 2011 🏛 IEEE ⚖ 190 KB

[IEEE 2011 12th Latin American Test Work

[IEEE 2011 12th Latin American Test Workshop - LATW - Beach of Porto de Galinhas, Brazil (2011.03.27-2011.03.30)] 2011 12th Latin American Test Workshop (LATW) - Error-resilient design of branch predictors for effective yield improvement

✍ Almukhaizim, Sobeeh; Sinanoglu, Ozgur 📂 Article 📅 2011 🏛 IEEE ⚖ 153 KB