Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computing and processing 26 Treffer
- programming profession 11 Treffer
- testing 10 Treffer
- communication, networking and broadcast technologies 9 Treffer
- computer science 6 Treffer
-
45 weitere Werte:
- software testing 5 Treffer
- automated guided vehicle systems 4 Treffer
- bug localization 4 Treffer
- cyber physical systems 4 Treffer
- cyber-physical systems 4 Treffer
- falsification 4 Treffer
- hardware 4 Treffer
- integrated circuit modeling 4 Treffer
- matrix decomposition 4 Treffer
- requirements engineering 4 Treffer
- software development tools 4 Treffer
- software packages 4 Treffer
- software systems 4 Treffer
- tools 4 Treffer
- components, circuits, devices and systems 3 Treffer
- concurrent computing 3 Treffer
- model repair 3 Treffer
- operating systems 3 Treffer
- signal temporal logic (stl) 3 Treffer
- automated debugging 2 Treffer
- availability 2 Treffer
- computer crashes 2 Treffer
- costs 2 Treffer
- counting circuits 2 Treffer
- data analysis 2 Treffer
- fault diagnosis 2 Treffer
- fault tolerance 2 Treffer
- history 2 Treffer
- informatics 2 Treffer
- java 2 Treffer
- joining processes 2 Treffer
- laboratories 2 Treffer
- large-scale systems 2 Treffer
- logic 2 Treffer
- message passing 2 Treffer
- monitoring 2 Treffer
- performance analysis 2 Treffer
- program debugging 2 Treffer
- program processors 2 Treffer
- programming environments 2 Treffer
- protocols 2 Treffer
- signal processing and analysis 2 Treffer
- simulink models 2 Treffer
- switches 2 Treffer
- system testing 2 Treffer
Verlag
Publikation
- ieee transactions on computer-aided design of integrated circuits & systems 4 Treffer
- ieee software, software, ieee, ieee softw. 2 Treffer
- [1988] proceedings of the twenty-first annual hawaii international conference on system sciences. volume ii: software track, system sciences, 1988. vol.ii. software track, proceedings of the twenty-first annual hawaii international conference on 1 Treffer
- 11th asia-pacific software engineering conference, software engineering conference, 2004. 11th asia-pacific, software engineering conference 1 Treffer
- 12th asia-pacific software engineering conference (apsec'05), software engineering conference, 2005. apsec '05. 12th asia-pacific, asia-pacific software engineering conference 1 Treffer
-
21 weitere Werte:
- 2006 international conference on software engineering advances (icsea'06), software engineering advances, international conference on 1 Treffer
- 2007 ieee international parallel and distributed processing symposium, parallel and distributed processing symposium, 2007. ipdps 2007. ieee international 1 Treffer
- 2008 design, automation and test in europe, design, automation and test in europe, 2008. date '08 1 Treffer
- 2008 ieee international symposium on parallel and distributed processing with applications, parallel and distributed processing with applications, 2008. ispa '08. international symposium on 1 Treffer
- 2009 30th ieee real-time systems symposium, real-time systems symposium, 2009, rtss 2009. 30th ieee 1 Treffer
- 2009 fourth international conference on frontier of computer science and technology, frontier of computer science and technology, 2009. fcst '09. fourth international conference on 1 Treffer
- 2010 ieee 30th international conference on distributed computing systems, distributed computing systems (icdcs), 2010 ieee 30th international conference on 1 Treffer
- 32nd international symposium on computer architecture (isca'05), computer architecture, 2005. isca '05. proceedings. 32nd international symposium on, computer architecture 1 Treffer
- computer 1 Treffer
- ieee micro, micro, ieee 1 Treffer
- ieee tencon'90: 1990 ieee region 10 conference on computer and communication systems. conference proceedings, computer and communication systems, 1990. ieee tencon'90., 1990 ieee region 10 conference on 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 parallel and distributed systems, parallel and distributed systems, ieee transactions on, ieee trans. parallel distrib. syst. 1 Treffer
- proceedings 10th international software process workshop, software process workshop, 1996. process support of software product lines., proceedings of the 10th international, software process workshop 1 Treffer
- proceedings 25th euromicro conference. informatics: theory and practice for the new millennium, euromicro conference, 1999. proceedings. 25th, euromicro conference 1 Treffer
- proceedings frontiers '95. the fifth symposium on the frontiers of massively parallel computation, frontiers of massively parallel computation, 1995. proceedings. frontiers '95., fifth symposium on the, massively parallel computation 1 Treffer
- proceedings ninth euromicro workshop on parallel and distributed processing, parallel and distributed processing, 2001. proceedings. ninth euromicro workshop on, parallel and distributed processing 1 Treffer
- proceedings of the thirtieth hawaii international conference on system sciences, system sciences, 1997, proceedings of the thirtieth hawaii international conference on, system sciences 1 Treffer
- proceedings. conference on software maintenance 1991, software maintenance, 1991., proceedings. conference on 1 Treffer
- second international symposium on leveraging applications of formal methods, verification and validation (isola 2006), leveraging applications of formal methods, verification and validation, 2006. isola 2006. second international symposium on 1 Treffer
- twenty-fifth international symposium on fault-tolerant computing. digest of papers, fault-tolerant computing, 1995. ftcs-25. digest of papers., twenty-fifth international symposium on, fault-tolerant computing 1 Treffer
Sprache
30 Treffer
-
In: 2010 IEEE 30th International Conference on Distributed Computing Systems, 2010-06-01, S. 784-794KonferenzZugriff:
-
In: Proceedings of the Thirtieth Hawaii International Conference on System Sciences, Jg. 1 (1997), S. 423-432KonferenzZugriff:
-
In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006-11-01, S. 458KonferenzZugriff:
-
In: 2007 IEEE International Parallel and Distributed Processing Symposium, 2007-03-01, S. 1KonferenzZugriff:
-
In: Computer, Jg. 40 (2007-02-01), Heft 2, S. 107Online academicJournalZugriff:
-
In: 32nd International Symposium on Computer Architecture (ISCA'05), 2005, S. 284-295Online KonferenzZugriff:
-
In: 2009 Fourth International Conference on Frontier of Computer Science and Technology, 2009-12-01, S. 308KonferenzZugriff:
-
In: IEEE Micro, Jg. 26 (2006), Heft 1, S. 100-109Online academicJournalZugriff:
-
In: Proceedings Frontiers '95. The Fifth Symposium on the Frontiers of Massively Parallel Computation, 1995, S. 406-413KonferenzZugriff:
-
In: 11th Asia-Pacific Software Engineering Conference, 2004, S. 366-373KonferenzZugriff:
-
In: IEEE Software, Jg. 20 (2003-11-01), Heft 6, S. 84-89Online academicJournalZugriff:
-
In: 2009 30th IEEE Real-Time Systems Symposium, 2009-12-01, S. 313KonferenzZugriff:
-
In: Proceedings Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001, S. 396-401KonferenzZugriff:
-
In: IEEE TENCON'90: 1990 IEEE Region 10 Conference on Computer and Communication Systems. Conference Proceedings, 1990, S. 264-268KonferenzZugriff:
-
In: Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium, Jg. 2 (1999), S. 350-357KonferenzZugriff:
-
In: Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers, 1995, S. 381-390KonferenzZugriff:
-
In: Proceedings. Conference on Software Maintenance 1991, 1991, S. 265-268KonferenzZugriff:
-
In: 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005, S. 1KonferenzZugriff:
-
In: 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008-12-01, S. 227KonferenzZugriff:
-
In: 2008 Design, Automation and Test in Europe, 2008-03-01, S. 414Online KonferenzZugriff: