Search results

Create the page "Testing and reliability" on this wiki! See also the search results found.

• TACAS 2009
  |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems ...t to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.
  4 KB (543 words) - 15:39, 16 July 2020
• CCBS 09
  ...in automotive, avionics, railway, naval, chemical, nuclear, manufacturing, and medical industries. ...ing paradigms. Papers reporting industrial experiences using methodologies and tools to manage the complexity of theses systems are especially welcome.
  5 KB (660 words) - 15:46, 27 December 2015
• SEKE 2008
  |Title=The 20th International Conference on Software Engineering and Knowledge Engineering The Twentieth International Conference on Software Engineering and Knowledge Engineering (SEKE'08) will be held at Hotel Sofitel, Redwood City
  6 KB (733 words) - 11:48, 27 October 2016
• IWSSE 2008
  | Field = Computer security and reliability ...t software systems poses major challenges to both industrial practitioners and researchers.
  5 KB (615 words) - 08:55, 29 May 2016
• HASE 2008
  | Field = Computer security and reliability ...odels for high assurance systems development, verification and validation, and assessment are welcome.
  6 KB (748 words) - 13:43, 27 December 2015
• PODC 2008
  - distributed algorithms: design and analysis - multiprocessor and multi-core architectures and algorithms
  6 KB (766 words) - 12:19, 28 November 2016
• DISC 2009
  or application of distributed systems and networks are solicited. * distributed algorithms and their complexity
  7 KB (890 words) - 14:05, 27 December 2015
• DATE 2010
  Conference and Exhibition: March 8-12, 2010 ...systems. It puts strong emphasis on both ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software.
  5 KB (605 words) - 14:11, 27 December 2015
• TACAS 2019
  ...25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ...(TACAS 2019)'''. Held as part of the European Joint Conferences on Theory and Practice of Software, [[ETAPS 2019]]
  3 KB (369 words) - 05:23, 4 August 2020
• DISC 2020
  * Biological and nature-inspired distributed algorithms * Communication networks: protocols, architectures and applications
  3 KB (344 words) - 10:30, 21 April 2020
• ESEC/FSE 2020
  |Title=ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering '''27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)''' (ESEC 20
  6 KB (738 words) - 10:21, 6 July 2020
• ICTSS 2016
  |Title=International Conference on Testing Software and Systems |Series=International Conference on Testing Software and Systems
  3 KB (405 words) - 09:56, 24 April 2016
• MSAT-9 2016
  |Title=MSAT-9 2016 : 9th International Conference on Materials Science and Technology |Field=materials science, enabling technology, testing and reliability, applications
  468 bytes (58 words) - 19:31, 1 June 2016
• SEKE 2017
  The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering (SEKE 2017) will be held at the Wyndham Pittsburgh Un ...ata and software engineering & knowledge engineering. Submission of papers and demos are both welcome.
  18 KB (2,288 words) - 11:48, 27 October 2016
• VLSICS 2017 : International Journal of VLSI design & Communication Systems
  this journal is to bring together researchers and practitioners from academia and industry to focus on advanced VLSI Design & communication concepts and
  4 KB (527 words) - 12:28, 28 July 2017
• AITIJ 2017 : Advances in Interconnect Technologies: An International Journal
  original and significant contributions relating to the theory, design, performance and reliability of interconnect, including materials, analysis,
  4 KB (472 words) - 13:34, 10 December 2020
• IEEE ICET 2017 : 13th IEEE International Conference on Emerging Technologies
  technology, power and in the relevant areas of interest including, but not (2) Profiling and Optimization
  1 KB (157 words) - 12:19, 28 July 2017
• ICPE 2018
  Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG Research and industrial/experience abstracts: Oct 16, 2017
  11 KB (1,364 words) - 12:23, 3 September 2017
• IoTBDS 2018
  ...oTBDS 2018 : 3rd International Conference on Internet of Things, Big Data and Security 3rd International Conference on Internet of Things, Big Data and Security IoTBDS
  8 KB (1,170 words) - 12:40, 3 September 2017
• ASPLOS 2020
  ...nternational Conference on Architectural Support for Programming Languages and Operating Systems ...n the shores of Lake Geneva, conveniently located in the center of Europe, and at EPFL.''
  4 KB (547 words) - 11:27, 30 September 2019

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)