Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computing and processing 21 Treffer
- components, circuits, devices and systems 14 Treffer
- hardware design languages 10 Treffer
- security 9 Treffer
- communication, networking and broadcast technologies 8 Treffer
-
45 weitere Werte:
- semantics 8 Treffer
- trojan horses 8 Treffer
- signal processing and analysis 7 Treffer
- formal verification 6 Treffer
- coq 4 Treffer
- hardware security 4 Treffer
- sensitivity 4 Treffer
- field programmable gate arrays 3 Treffer
- integrated circuit modeling 3 Treffer
- ip networks 3 Treffer
- kernel 3 Treffer
- program processors 3 Treffer
- bioengineering 2 Treffer
- computers 2 Treffer
- digital arithmetic 2 Treffer
- embedded systems 2 Treffer
- encryption 2 Treffer
- formal method 2 Treffer
- formal proof 2 Treffer
- hardware trust 2 Treffer
- libraries 2 Treffer
- linux 2 Treffer
- proof-carrying code 2 Treffer
- resource management 2 Treffer
- runtime 2 Treffer
- software 2 Treffer
- syntactics 2 Treffer
- wires 2 Treffer
- accuracy 1 Treffer
- adders 1 Treffer
- algorithm design and analysis 1 Treffer
- android 1 Treffer
- approximation methods 1 Treffer
- arithmetic 1 Treffer
- authorization 1 Treffer
- automatic control 1 Treffer
- automation 1 Treffer
- behavioral sciences 1 Treffer
- benchmark testing 1 Treffer
- books 1 Treffer
- communication system security 1 Treffer
- complexity theory 1 Treffer
- compounds 1 Treffer
- computational efficiency 1 Treffer
- computational modeling 1 Treffer
Publikation
- ieee transactions on information forensics and security, information forensics and security, ieee transactions on, ieee trans.inform.forensic secur. 3 Treffer
- 2009 fifth international conference on wireless and mobile communications, wireless and mobile communications, 2009. icwmc '09. fifth international conference on 1 Treffer
- 2009 third ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering, 2009. tase 2009. third ieee international symposium on 1 Treffer
- 2011ieee 10th international conference on trust, security and privacy in computing and communications, trust, security and privacy in computing and communications (trustcom), 2011 ieee 10th international conference on 1 Treffer
- 2012 ieee 30th vlsi test symposium (vts), vlsi test symposium (vts), 2012 ieee 30th 1 Treffer
-
17 weitere Werte:
- 2013 23rd international conference on field programmable logic and applications, field programmable logic and applications (fpl), 2013 23rd international conference on 1 Treffer
- 2013 ieee international symposium on hardware-oriented security and trust (host), hardware-oriented security and trust (host), 2013 ieee international symposium on 1 Treffer
- 2015 ieee international symposium on circuits and systems (iscas), circuits and systems (iscas), 2015 ieee international symposium on 1 Treffer
- 2015 ieee international symposium on hardware oriented security and trust (host), hardware oriented security and trust (host), 2015 ieee international symposium on 1 Treffer
- 2016 10th international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase), 2016 10th international symposium on 1 Treffer
- 2016 17th international workshop on microprocessor and soc test and verification (mtv), microprocessor and soc test and verification (mtv), 2016 17th international workshop on, mtv 1 Treffer
- 2018 ieee 25th symposium on computer arithmetic (arith), computer arithmetic (arith), 2018 ieee 25th symposium on 1 Treffer
- 2018 ieee 3rd international verification and security workshop (ivsw), verification and security workshop (ivsw), 2018 ieee 3rd 1 Treffer
- 2019 ieee 27th annual international symposium on field-programmable custom computing machines (fccm), field-programmable custom computing machines (fccm), 2019 ieee 27th annual international symposium on, fccm 1 Treffer
- 2021 ieee symposium on security and privacy (sp), security and privacy (sp), 2021 ieee symposium on, sp 1 Treffer
- 2022 ieee 30th annual international symposium on field-programmable custom computing machines (fccm), field-programmable custom computing machines (fccm), 2022 ieee 30th annual international symposium on 1 Treffer
- 2023 24th international symposium on quality electronic design (isqed), quality electronic design (isqed), 2023 24th international symposium on 1 Treffer
- 2024 29th asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2024 29th asia and south pacific 1 Treffer
- conference record of thirty-fifth asilomar conference on signals, systems and computers (cat.no.01ch37256), signals, systems and computers, 2001. conference record of the thirty-fifth asilomar conference on, signals, systems and computers 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems, computer-aided design of integrated circuits and systems, ieee transactions on, ieee trans. comput.-aided des. integr. circuits syst. 1 Treffer
- ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. 1 Treffer
- ieee transactions on very large scale integration (vlsi) systems, very large scale integration (vlsi) systems, ieee transactions on, ieee trans. vlsi syst. 1 Treffer
24 Treffer
-
In: 2015 IEEE International Symposium on Circuits and Systems (ISCAS), 2015-05-01, S. 29-32KonferenzZugriff:
-
In: 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 2009-07-01, S. 201KonferenzZugriff:
-
In: 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2019-04-01, S. 315-315KonferenzZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 29 (2010), Heft 1, S. 149-153Online academicJournalZugriff:
-
In: 2018 IEEE 3rd International Verification and Security Workshop (IVSW), 2018-07-01, S. 62-67KonferenzZugriff:
-
In: 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2016-07-01, S. 73-80KonferenzZugriff:
-
In: 2009 Fifth International Conference on Wireless and Mobile Communications, 2009-08-01, S. 87KonferenzZugriff:
-
In: IEEE Transactions on Information Forensics and Security, Jg. 12 (2017-02-01), Heft 2, S. 405-405Online academicJournalZugriff:
-
In: IEEE Transactions on Computers, Jg. 58 (2009-08-01), Heft 8, S. 1139-1139Online academicJournalZugriff:
-
In: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024-01-22, S. 939-944KonferenzZugriff:
-
In: 2023 24th International Symposium on Quality Electronic Design (ISQED), 2023-04-05, S. 1-7KonferenzZugriff:
-
In: 2016 17th International Workshop on Microprocessor and SOC Test and Verification (MTV), 2016-12-01, S. 35-38KonferenzZugriff:
-
In: 2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2015-05-01, S. 163-168KonferenzZugriff:
-
In: 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2022-05-15, S. 1-6KonferenzZugriff:
-
In: 2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), 2013-06-01, S. 99-106KonferenzZugriff:
-
In: 2012 IEEE 30th VLSI Test Symposium (VTS), 2012-04-01, S. 252-257KonferenzZugriff:
-
In: IEEE Transactions on Information Forensics and Security, Jg. 12 (2017-10-01), Heft 10, S. 2430-2430Online academicJournalZugriff:
-
In: 2021 IEEE Symposium on Security and Privacy (SP), 2021-05-01, S. 1782-1799KonferenzZugriff:
-
In: 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH), 2018-06-01, S. 69-75KonferenzZugriff:
-
In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Jg. 25 (2017-12-01), Heft 12, S. 3390-3400Online academicJournalZugriff: