Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 938 Treffer
- computer 468 Treffer
- software 389 Treffer
- computer.software_genre 365 Treffer
- media_common 323 Treffer
-
45 weitere Werte:
- media_common.quotation_subject 323 Treffer
- software bug 282 Treffer
- 02 engineering and technology 265 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 261 Treffer
- debugging 261 Treffer
- operating system 198 Treffer
- computer.programming_language 133 Treffer
- engineering 123 Treffer
- 020202 computer hardware & architecture 118 Treffer
- 020207 software engineering 105 Treffer
- law 91 Treffer
- law.invention 88 Treffer
- formal verification 84 Treffer
- electrical and electronic engineering 77 Treffer
- field-programmable gate array 71 Treffer
- correctness 70 Treffer
- system on a chip 68 Treffer
- 01 natural sciences 66 Treffer
- functional verification 64 Treffer
- hardware and architecture 63 Treffer
- 020204 information systems 59 Treffer
- overhead (computing) 57 Treffer
- 0103 physical sciences 56 Treffer
- 020206 networking & telecommunications 56 Treffer
- 010302 applied physics 54 Treffer
- computer hardware 51 Treffer
- concurrency 50 Treffer
- instrumentation (computer programming) 50 Treffer
- process (computing) 50 Treffer
- source code 50 Treffer
- 020201 artificial intelligence & image processing 49 Treffer
- computer graphics and computer-aided design 49 Treffer
- firmware 49 Treffer
- code (cryptography) 48 Treffer
- distributed computing 47 Treffer
- microprocessor 47 Treffer
- real-time computing 45 Treffer
- intelligent verification 44 Treffer
- multi-core processor 44 Treffer
- software engineering 44 Treffer
- software system 44 Treffer
- test case 44 Treffer
- wireless sensor network 43 Treffer
- emulation 41 Treffer
- embedded software 40 Treffer
Verlag
- ieee 423 Treffer
- acm 158 Treffer
- institute of electrical and electronics engineers (ieee) 76 Treffer
- association for computing machinery (acm) 53 Treffer
- springer berlin heidelberg 35 Treffer
-
45 weitere Werte:
- elsevier bv 28 Treffer
- springer international publishing 26 Treffer
- acm press 24 Treffer
- ieee comput. soc 16 Treffer
- elsevier 11 Treffer
- hal ccsd 11 Treffer
- springer science and business media llc 11 Treffer
- springer us 10 Treffer
- arxiv 9 Treffer
- ieee comput. soc. press 8 Treffer
- institution of engineering and technology (iet) 7 Treffer
- wiley 7 Treffer
- spie 5 Treffer
- springer singapore 5 Treffer
- trans tech publications, ltd. 5 Treffer
- zenodo 4 Treffer
- apress 3 Treffer
- carnegie mellon university 3 Treffer
- institute for system programming of the russian academy of sciences 3 Treffer
- mdpi ag 3 Treffer
- research publishing services 3 Treffer
- springer 3 Treffer
- academy and industry research collaboration center (aircc) 2 Treffer
- emerald 2 Treffer
- escholarship, university of california 2 Treffer
- ibm 2 Treffer
- inderscience publishers 2 Treffer
- ivannikov institute for system programming of the russian academy of sciences 2 Treffer
- multidisciplinary digital publishing institute 2 Treffer
- the electrochemical society 2 Treffer
- aarhus university 1 Treffer
- add technologies 1 Treffer
- american association for the advancement of science (aaas) 1 Treffer
- american society of mechanical engineers 1 Treffer
- american vacuum society 1 Treffer
- asme press 1 Treffer
- association for computing machinery 1 Treffer
- author(s) 1 Treffer
- canadian center of science and education 1 Treffer
- centro latino americano de estudios en informatica 1 Treffer
- computer systems laboratory 1 Treffer
- crc press 1 Treffer
- defence scientific information and documentation centre 1 Treffer
- defense technical information center 1 Treffer
- diva enterprises private limited 1 Treffer
Publikation
- ieee transactions on computer-aided design of integrated circuits and systems 14 Treffer
- acm sigplan notices 11 Treffer
- acm sigarch computer architecture news 8 Treffer
- acm sigops operating systems review 8 Treffer
- acm transactions on embedded computing systems 8 Treffer
-
45 weitere Werte:
- ieee transactions on computers 8 Treffer
- ieee transactions on very large scale integration (vlsi) systems 7 Treffer
- ieee design & test of computers 5 Treffer
- ieee micro 5 Treffer
- spie proceedings 5 Treffer
- 17th asia and south pacific design automation conference 4 Treffer
- electronics systems and software 4 Treffer
- ieee transactions on consumer electronics 4 Treffer
- acm transactions on design automation of electronic systems 3 Treffer
- communications of the acm 3 Treffer
- ifac proceedings volumes 3 Treffer
- journal of systems and software 3 Treffer
- proceedings of the 2016 design, automation & test in europe conference & exhibition (date) 3 Treffer
- proceedings of the 31st ieee/acm international conference on automated software engineering 3 Treffer
- proceedings of the 38th conference on design automation - dac '01 3 Treffer
- proceedings of the 42nd annual conference on design automation - dac '05 3 Treffer
- proceedings of the 53rd annual design automation conference 3 Treffer
- proceedings of the ieee 3 Treffer
- proceedings of the institute for system programming of the ras 3 Treffer
- 2008 ieee international conference on computer design 2 Treffer
- 2009 ieee 8th international conference on asic 2 Treffer
- 2009 international soc design conference (isocc) 2 Treffer
- 2011 12th international symposium on quality electronic design 2 Treffer
- 2011 design, automation & test in europe 2 Treffer
- 2011 ieee/ifip 41st international conference on dependable systems & networks (dsn) 2 Treffer
- 2012 ieee fifth international conference on software testing, verification and validation 2 Treffer
- 2013 ieee international symposium on parallel & distributed processing, workshops and phd forum 2 Treffer
- 2014 ieee international symposium on circuits and systems (iscas) 2 Treffer
- 2015 33rd ieee international conference on computer design (iccd) 2 Treffer
- 2015 ieee international test conference (itc) 2 Treffer
- 2015 ieee/acm international symposium on low power electronics and design (islped) 2 Treffer
- 2016 26th international conference on field programmable logic and applications (fpl) 2 Treffer
- 2016 29th international conference on vlsi design and 2016 15th international conference on embedded systems (vlsid) 2 Treffer
- 2016 ieee 34th international conference on computer design (iccd) 2 Treffer
- 2016 international computer symposium (ics) 2 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 2 Treffer
- 2017 ieee 37th international conference on distributed computing systems (icdcs) 2 Treffer
- 2017 ieee 41st annual computer software and applications conference (compsac) 2 Treffer
- 2017 ieee international conference on software testing, verification and validation workshops (icstw) 2 Treffer
- 2018 28th international conference on field programmable logic and applications (fpl) 2 Treffer
- 2021 22nd international symposium on quality electronic design (isqed) 2 Treffer
- 2021 58th acm/ieee design automation conference (dac) 2 Treffer
- 9th international symposium on quality electronic design (isqed 2008) 2 Treffer
- acm transactions on architecture and code optimization 2 Treffer
- advanced materials research 2 Treffer
Sprache
1.062 Treffer
-
In: 2021 IEEE Symposium on Security and Privacy (SP), 2021-05-01Online unknownZugriff:
-
2021Online unknownZugriff:
-
In: 2021 IEEE International Symposium on Circuits and Systems (ISCAS), 2021-05-01Online unknownZugriff:
-
In: International Research Journal on Advanced Science Hub, Jg. 3 (2021-04-18), S. 26-33Online unknownZugriff:
-
In: IEEE Transactions on Computers, Jg. 65 (2016-10-01), S. 3083-3095Online unknownZugriff:
-
In: International Journal of Parallel Programming, Jg. 48 (2020-05-25), S. 1032-1060Online unknownSiehe Detailanzeige für VolltextZugriff:
-
In: Journal of Electronic Testing, Jg. 36 (2020-04-01), S. 219-237Online unknownZugriff:
-
In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018-05-27Online unknownZugriff:
-
In: 2017 IEEE 26th Asian Test Symposium (ATS), 2017-11-01Online unknownZugriff:
-
In: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2017-07-01Online unknownZugriff:
-
In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017-03-01Online unknownZugriff:
-
In: Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies, 2020-11-23Online unknownZugriff:
-
In: 2016 26th International Conference on Field Programmable Logic and Applications (FPL), 2016-08-01Online unknownZugriff:
-
In: 2017 International Conference on Computing, Networking and Communications (ICNC), 2017Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 33 (2014-03-01), S. 451-463Online unknownZugriff:
-
In: 2016 IEEE 35th International Performance Computing and Communications Conference (IPCCC), 2016-12-01Online unknownZugriff:
-
Unveiling difficult bugs in address translation caching arrays for effective post-silicon validationIn: 2016 IEEE 34th International Conference on Computer Design (ICCD), 2016-10-01Online unknownZugriff: