Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 44 matches
- 2016
- Serhiy Avramenko, Matteo Sonza Reorda, Massimo Violante, Görschwin Fey:
Analysis of the effects of soft errors on compression algorithms through fault injection inside program variables. LATS 2016: 14-19 - Suvadeep Banerjee, Abhijit Chatterjee, Jacob A. Abraham:
Checksum based error detection in linearized representations of non linear control systems. LATS 2016: 182 - J. Barboza, J. Basualdo, Julio Pérez Acle:
Auxiliary IP blocks for early dependability analysis of small processor based systems. LATS 2016: 21-26 - Mauricio de Oliveira Barros, Andrea Weber:
System-level diagnosis for WSN: A heuristic. LATS 2016: 171-176 - Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz:
A HW-dependent software model for cross-layer fault analysis in embedded systems. LATS 2016: 153-158 - Bernd Becker:
Known unknowns - Knowledge in the presence of unknowns. LATS 2016: 1 - Harini Bhamidipati, Daniel G. Saab, Jacob A. Abraham:
Single Trojan injection model generation and detection. LATS 2016: 181 - Guilherme Schwanke Cardoso, Tiago R. Balen:
Performance evaluation of radiation hardened analog circuits based on Enclosed Layout geometry. LATS 2016: 123-128 - M. De Carvalho, Maurício Altieri, L. Puricelli, Renato P. Butzen, Renato P. Ribas, Eric E. Fabris:
On-silicon validation of a benchmark generation methodology for effectively evaluating combinational cell library design. LATS 2016: 135-140 - Luiz Gustavo Casagrande, Fernanda Lima Kastensmidt:
Soft error analysis in embedded software developed with & without operating system. LATS 2016: 147-152 - Krishnendu Chakrabarty:
The hype, myths, and realities of testing 2.5D/3D integrated circuits. LATS 2016: 1 - Eduardo Chielle, Boyang Du, Fernanda Lima Kastensmidt, Sergio Cuenca-Asensi, Luca Sterpone, Matteo Sonza Reorda:
Hybrid soft error mitigation techniques for COTS processor-based systems. LATS 2016: 99-104 - Daniele Coati, Rosario Distefano, Nicola Bombieri, Franco Fummi, Michela Mirenda, Carlo Laudanna, Rosalba Giugno:
A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. LATS 2016: 159-164 - Thiago Copetti, Guilherme Medeiros Machado, Leticia Bolzani Poehls, Fabian Vargas, Sergei Kostin, Maksim Jenihhin, Jaan Raik, Raimund Ubar:
Gate-level modelling of NBTI-induced delays under process variations. LATS 2016: 75-80 - Alessandro Danese, Jacopo Mocci, Graziano Pravadelli:
Fault model qualification by assertion mining. LATS 2016: 45-50 - Walter Soto Encinas, Francisco Romulo da Silva Araujo, Harney Abrahim:
Infrastructure for formal and dynamic verification of peripheral programming model. LATS 2016: 165-170 - Stefano Esposito, Serhiy Avramenko, Massimo Violante:
On the consolidation of mixed criticalities applications on multicore architectures. LATS 2016: 57-62 - Bruna F. Flesch, Bianca Brand, Rodrigo Marques de Figueiredo, Lucio Rene Prade, Marcio Rosa da Silva:
Proposal of a functional safety methodology applied to fault tolerance in FPGA applications. LATS 2016: 8-13 - Freddy Forero, Andres F. Gomez, Víctor H. Champac:
A methodology for NBTI circuit reliability at reduced power consumption using dual supply voltage. LATS 2016: 81-86 - Daniel Fusco, Tiago R. Balen:
Radiation effects in low power and ultra low power voltage references. LATS 2016: 111-116 - Pierre-Emmanuel Gaillardon, Romain Magni, Luca Gaetano Amarù, Mehdi Hasan, Ross Walker, Berardi Sensale Rodriguez, Jean-Frédéric Christmann, Edith Beigné:
Three-Independent-Gate Transistors: Opportunities in digital, analog and RF applications. LATS 2016: 195-200 - Kelson Gent, Michael S. Hsiao:
A control path aware metric for grading functional test vectors. LATS 2016: 51-56 - Jose Isaza-Gonzalez, Alejandro Serrano-Cases, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez:
Dependability evaluation of COTS microprocessors via on-chip debugging facilities. LATS 2016: 27-32 - Akhilesh Jaiswal, Kaushik Roy:
Spin transfer torque memories for on-chip caches: Prospects and perspectives. LATS 2016: 7 - Artjom Jasnetski, Raimund Ubar, Anton Tsertov:
On automatic software-based self-test program generation based on high-level decision diagrams. LATS 2016: 177 - Amit Karel, Mariane Comte, Jean-Marc Gallière, Florence Azaïs, Michel Renovell:
Comparative study of Bulk, FDSOI and FinFET technologies in presence of a resistive short defect. LATS 2016: 129-134 - Afef Kchaou, W. El Hadj Youssef, Rached Tourki, Fraidy Bouesse, Pablo Ramos, Raoul Velazco:
A deep analysis of SEU consequences in the internal memory of LEON3 processor. LATS 2016: 178 - Michael A. Kochte, Hans-Joachim Wunderlich:
Dependable on-chip infrastructure for dependable MPSOCs. LATS 2016: 183-188 - Anelise Kologeski, Henrique Colao Zanuz, Fernanda Lima Kastensmidt:
Using traffic monitoring to tolerate multiple faults in 3D NoCs. LATS 2016: 63-68 - Charalambos Konstantinou, Marios Sazos, Michail Maniatakos:
Attacking the smart grid using public information. LATS 2016: 105-110
skipping 14 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-24 05:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint