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: Proceedings of the 49th Annual Design Automation Conference, 2012-06-03Online unknownZugriff:
-
In: Software Testing, Verification and Reliability, Jg. 25 (2014-12-19), S. 191-217Online unknownZugriff:
-
In: 2011 12th International Symposium on Quality Electronic Design, 2011-03-01Online unknownZugriff:
-
In: International Performance Computing and Communications Conference, 2010-12-01Online unknownZugriff:
-
In: 2010 International Conference on Field-Programmable Technology, 2010-12-01Online unknownZugriff:
-
In: 2010 IEEE 30th International Conference on Distributed Computing Systems, 2010Online unknownZugriff:
-
In: 2008 41st IEEE/ACM International Symposium on Microarchitecture, 2008-11-01Online unknownZugriff:
-
In: 2008 13th European Test Symposium, 2008-05-01Online unknownZugriff:
-
In: Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017-05-07Online unknownZugriff:
-
In: Proceedings of the 4th workshop on Programming languages and operating systems, 2007-10-18Online unknownZugriff:
-
In: 2006 International Conference on Computer Design, 2006-10-01Online unknownZugriff:
-
In: 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008Online unknownZugriff:
-
In: 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016-10-01Online unknownZugriff:
-
In: 2016 29th International Conference on VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID), 2016Online unknownZugriff:
-
In: Eighth IEEE International High-Level Design Validation and Test Workshop, 2004-03-30Online unknownZugriff: