Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer bugs 36 Treffer
- communication, networking and broadcast technologies 19 Treffer
- components, circuits, devices and systems 12 Treffer
- testing 12 Treffer
- debugging 11 Treffer
-
45 weitere Werte:
- signal processing and analysis 11 Treffer
- software 10 Treffer
- hardware 9 Treffer
- instruments 9 Treffer
- runtime verification 9 Treffer
- java 6 Treffer
- programming profession 6 Treffer
- robotics and control systems 6 Treffer
- tools 6 Treffer
- automata 5 Treffer
- benchmark testing 5 Treffer
- data structures 5 Treffer
- security 5 Treffer
- web services 4 Treffer
- concurrency bugs 3 Treffer
- leak detection 3 Treffer
- measurement 3 Treffer
- protocols 3 Treffer
- semantics 3 Treffer
- software debugging 3 Treffer
- software tools 3 Treffer
- task analysis 3 Treffer
- transportation 3 Treffer
- vulnerability detection 3 Treffer
- acceleration 2 Treffer
- animation 2 Treffer
- anomaly detection 2 Treffer
- clocks 2 Treffer
- cloud computing 2 Treffer
- codes 2 Treffer
- computer architecture 2 Treffer
- computer languages 2 Treffer
- concurrent computing 2 Treffer
- counting circuits 2 Treffer
- data visualization 2 Treffer
- detectors 2 Treffer
- distributed computing 2 Treffer
- distributed system 2 Treffer
- distributed systems 2 Treffer
- engines 2 Treffer
- games 2 Treffer
- general topics for engineers 2 Treffer
- genetic mutations 2 Treffer
- heuristic algorithms 2 Treffer
- information analysis 2 Treffer
Verlag
Publikation
- 2009 third ieee international conference on secure software integration and reliability improvement, secure software integration and reliability improvement, 2009. ssiri 2009. third ieee international conference on 2 Treffer
- ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. 2 Treffer
- ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. 2 Treffer
- 11th ieee international conference on embedded and real-time computing systems and applications (rtcsa'05), embedded and real-time computing systems and applications, 2005. proceedings. 11th ieee international conference on, embedded and real-time computing systems and applications 1 Treffer
- 11th international symposium on high-performance computer architecture, high-performance computer architecture, 2005. hpca-11. 11th international symposium on, high-performance computer architecture 1 Treffer
-
45 weitere Werte:
- 17th international ieee conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2014 ieee 17th international conference on 1 Treffer
- 2006 international conference on computer design, computer design, 2006. iccd 2006. international conference on 1 Treffer
- 2007 ieee design and diagnostics of electronic circuits and systems, design and diagnostics of electronic circuits and systems, 2007. ddecs '07. ieee 1 Treffer
- 2007 ieee international parallel and distributed processing symposium, parallel and distributed processing symposium, 2007. ipdps 2007. ieee international 1 Treffer
- 2008 11th ieee high assurance systems engineering symposium, high assurance systems engineering symposium, 2008. hase 2008. 11th ieee 1 Treffer
- 2009 ieee/acm international conference on automated software engineering, automated software engineering, 2009. ase '09. 24th ieee/acm international conference on 1 Treffer
- 2009 international conference on computational intelligence and software engineering, computational intelligence and software engineering, 2009. cise 2009. international conference on 1 Treffer
- 2010 18th ieee/ifip international conference on vlsi and system-on-chip, vlsi system on chip conference (vlsi-soc), 2010 18th ieee/ifip 1 Treffer
- 2010 ieee asia-pacific services computing conference, services computing conference (apscc), 2010 ieee asia-pacific 1 Treffer
- 2011 ieee international conference on services computing, services computing (scc), 2011 ieee international conference on 1 Treffer
- 2011 international symposium on electronic system design, electronic system design (ised), 2011 international symposium on 1 Treffer
- 2012 ieee 23rd international symposium on software reliability engineering workshops, software reliability engineering workshops (issrew), 2012 ieee 23rd international symposium on 1 Treffer
- 2013 21st euromicro international conference on parallel, distributed, and network-based processing, parallel, distributed and network-based processing (pdp), 2013 21st euromicro international conference on 1 Treffer
- 2013 ieee international conference on services computing, services computing (scc), 2013 ieee international conference on 1 Treffer
- 2014 ieee 20th international symposium on high performance computer architecture (hpca), high performance computer architecture (hpca), 2014 ieee 20th international symposium on 1 Treffer
- 2014 ieee seventh international conference on software testing, verification and validation, software testing, verification and validation (icst), 2014 ieee seventh international conference on 1 Treffer
- 2015 4th iranian joint congress on fuzzy and intelligent systems (cfis), fuzzy and intelligent systems (cfis), 2015 4th iranian joint congress on 1 Treffer
- 2015 ieee 12th international conference on mobile ad hoc and sensor systems, mobile ad hoc and sensor systems (mass), 2015 ieee 12th international conference on 1 Treffer
- 2015 ieee 39th annual computer software and applications conference, computer software and applications conference (compsac), 2015 ieee 39th annual 1 Treffer
- 2015 ieee 6th international workshop on program comprehension through dynamic analysis (pcoda), program comprehension through dynamic analysis (pcoda), 2015 ieee 6th international workshop on 1 Treffer
- 2015 ieee international conference on information and automation, information and automation, 2015 ieee international conference on 1 Treffer
- 2016 17th ieee/acis international conference on software engineering, artificial intelligence, networking and parallel/distributed computing (snpd), software engineering, artificial intelligence, networking and parallel/distributed computing (snpd), 2016 17th ieee/acis international conference on 1 Treffer
- 2016 31st ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2016 31st ieee/acm international conference on 1 Treffer
- 2016 ieee real-time and embedded technology and applications symposium (rtas), real-time and embedded technology and applications symposium (rtas), 2016 ieee 1 Treffer
- 2017 ieee 28th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2017 ieee 28th international symposium on, issre 1 Treffer
- 2017 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2017 ieee international conference on, icstw 1 Treffer
- 2017 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2017 ieee international symposium on, issrew 1 Treffer
- 2018 17th international symposium on parallel and distributed computing (ispdc), parallel and distributed computing (ispdc), 2018 17th international symposium on, ispdc 1 Treffer
- 2018 ieee/acm 6th international fme workshop on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2018 ieee/acm 6th international fme workshop on, formalise 1 Treffer
- 2019 12th ieee conference on software testing, validation and verification (icst), software testing, validation and verification (icst), 2019 12th ieee conference on 1 Treffer
- 2019 34th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2019 34th ieee/acm international conference on 1 Treffer
- 2019 ieee 39th international conference on distributed computing systems (icdcs), distributed computing systems (icdcs), 2019 ieee 39th international conference on, icdcs 1 Treffer
- 2019 ieee/acm 14th international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2019 ieee/acm 14th international symposium on 1 Treffer
- 2019 ieee/acm 41st international conference on software engineering (icse), software engineering (icse), 2019 ieee/acm 41st international conference on, icse 1 Treffer
- 2019 ieee/acm 41st international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2019 ieee/acm 41st international conference on 1 Treffer
- iccad-2005. ieee/acm international conference on computer-aided design, 2005., computer-aided design, 2005. iccad-2005. ieee/acm international conference on, computer aided design 1 Treffer
- ieee micro, micro, ieee 1 Treffer
- ieee systems journal, systems journal, ieee 1 Treffer
- ieee transactions on dependable and secure computing, dependable and secure computing, ieee transactions on, ieee trans. dependable and secure comput. 1 Treffer
- ieee transactions on services computing, services computing, ieee transactions on, ieee trans. serv. comput. 1 Treffer
- ieee/acm transactions on networking, networking, ieee/acm transactions on, ieee/acm trans. networking 1 Treffer
- proceedings 1997 international conference on parallel and distributed systems, parallel and distributed systems, 1997. proceedings., 1997 international conference on, parallel and distributed systems 1 Treffer
- proceedings sixth international conference on information visualisation, information visualisation, 2002. proceedings. sixth international conference on, information visualisation 1 Treffer
- proceedings. 19th international conference on automated software engineering, 2004., automated software engineering, 2004. proceedings. 19th international conference on, automated software engineering 1 Treffer
- proceedings. eighth international conference on information visualisation, 2004. iv 2004., information visualisation, 2004. iv 2004. proceedings. eighth international conference on, information visualisation 1 Treffer
54 Treffer
-
In: IEEE Transactions on Computers, Jg. 71 (2022-09-01), Heft 9, S. 2191-2204Online academicJournalZugriff:
-
In: 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS), 2019-07-01, S. 612-623KonferenzZugriff:
-
In: 2018 17th International Symposium on Parallel and Distributed Computing (ISPDC), 2018-06-01, S. 172-179KonferenzZugriff:
-
In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017-10-01, S. 124-127KonferenzZugriff:
-
In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017-03-01, S. 77-80KonferenzZugriff:
-
How good are the specs? A study of the bug-finding effectiveness of existing Java API specificationsIn: 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016-09-01, S. 602-613Online KonferenzZugriff:
-
In: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, 2014-03-01, S. 143-152KonferenzZugriff:
-
In: 2008 11th IEEE High Assurance Systems Engineering Symposium, 2008-12-01, S. 229KonferenzZugriff:
-
In: 2006 International Conference on Computer Design, 2006-10-01, S. 514KonferenzZugriff:
-
In: IEEE Transactions on Dependable and Secure Computing, Jg. 21 (2024-05-01), Heft 3, S. 1017-1031Online academicJournalZugriff:
-
In: IEEE Transactions on Computers, Jg. 45 (1996-04-01), Heft 4, S. 385-393Online academicJournalZugriff:
-
In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019-11-01, S. 352-363Online KonferenzZugriff:
-
In: IEEE/ACM Transactions on Networking, Jg. 29 (2021-08-01), Heft 4, S. 1540-1552Online academicJournalZugriff:
-
In: 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), 2019-04-01, S. 300-311KonferenzZugriff:
-
In: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), 2017-10-01, S. 182-193KonferenzZugriff:
-
In: 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2018-05-01, S. 30-39Online KonferenzZugriff:
-
In: IEEE Transactions on Services Computing, Jg. 12 (2019-03-01), Heft 2, S. 214-230Online academicJournalZugriff:
-
In: 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019-05-01, S. 169-180Online KonferenzZugriff:
-
In: 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2016-05-01, S. 293-300KonferenzZugriff:
-
In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2019-05-01, S. 324-325KonferenzZugriff: