Search results

Jump to: navigation, search
  • |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) - 16:39, 16 July 2020
  • ...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) - 16:46, 27 December 2015
  • |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) - 12:48, 27 October 2016
  • | Field = Computer security and reliability ...t software systems poses major challenges to both industrial practitioners and researchers.
    5 KB (615 words) - 09:55, 29 May 2016
  • | Field = Computer security and reliability ...odels for high assurance systems development, verification and validation, and assessment are welcome.
    6 KB (748 words) - 14:43, 27 December 2015
  • - distributed algorithms: design and analysis - multiprocessor and multi-core architectures and algorithms
    6 KB (766 words) - 13:19, 28 November 2016
  • or application of distributed systems and networks are solicited. * distributed algorithms and their complexity
    7 KB (890 words) - 15:05, 27 December 2015
  • 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) - 15:11, 27 December 2015
  • ...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) - 06:23, 4 August 2020
  • * Biological and nature-inspired distributed algorithms * Communication networks: protocols, architectures and applications
    3 KB (344 words) - 11:30, 21 April 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) - 11:21, 6 July 2020
  • |Title=International Conference on Testing Software and Systems |Series=International Conference on Testing Software and Systems
    3 KB (405 words) - 10:56, 24 April 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) - 20:31, 1 June 2016
  • 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) - 12:48, 27 October 2016
  • 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) - 13:28, 28 July 2017
  • original and significant contributions relating to the theory, design, performance and reliability of interconnect, including materials, analysis,
    4 KB (472 words) - 14:34, 10 December 2020
  • technology, power and in the relevant areas of interest including, but not (2) Profiling and Optimization
    1 KB (157 words) - 13:19, 28 July 2017
  • Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG Research and industrial/experience abstracts: Oct 16, 2017
    11 KB (1,364 words) - 13:23, 3 September 2017
  • ...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) - 13:40, 3 September 2017
  • ...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) - 12:27, 30 September 2019
  • |Title=39th International Conference on Computer Safety, Reliability and Security The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp)
    5 KB (617 words) - 11:54, 19 June 2020
  • |City=Saints Constantine and Elena ...tion Methods and Techniques; Augmented and Virtual Reality; Bioinformatics and Health Informatics.
    3 KB (314 words) - 11:52, 27 March 2020
  • |Title=30th International Conference on Software Engineering and Knowledge Engineering ...ART COMPLETELY - You can just paste in the call for papers and remove this and the last line
    5 KB (608 words) - 13:03, 15 April 2020
  • |Title=The Sixteenth International Conference on Autonomic and Autonomous Systems ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    16 KB (1,897 words) - 12:31, 18 May 2020
  • |Title=38th International Conference on Computer Safety, Reliability, and Security The 38th International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
    3 KB (419 words) - 10:51, 19 June 2020
  • |Title=28th International Conference on Software Engineering and Knowledge Engineering * Embedded and ubiquitous software engineering
    4 KB (490 words) - 09:38, 23 April 2020
  • |Title=2020 Design, Automation and Test in Europe Conference ...gy and systems, covering ICs/SoCs, emerging technologies, embedded systems and embedded software.
    4 KB (508 words) - 17:54, 6 January 2021
  • |Title=37th International Conference on Computer Safety, Reliability, and Security The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
    4 KB (475 words) - 10:23, 19 June 2020
  • |Title=25th Asia and South Pacific Design Automation Conference * 1. System-Level Modeling and Design Methodology:
    6 KB (739 words) - 15:08, 13 May 2020
  • |Title=8th Conference and Labs of the Evaluation Forum ...n Forum Information Access Evaluation meets Multilinguality, Multimodality and Interaction
    5 KB (723 words) - 08:29, 27 May 2020
  • |Title=2020 IEEE International Reliability Physics Symposium * Circuit Reliability and Aging – RAS, self-healing, aging aware designs, design tools
    1 KB (175 words) - 13:56, 15 June 2020
  • |Title=36th International Conference on Computer Safety, Reliability, and Security ...state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
    4 KB (457 words) - 11:48, 17 June 2020
  • |Title=The Fifteenth International Conference on Systems and Networks Communications 1. The submission deadlines (and other dates such as notification and camera ready) are rather flexible in order to account for possibly limited
    13 KB (1,636 words) - 11:51, 10 July 2020
  • ...,"Security in network, systems, and applications","IPv6 Today - Technology and deployment" With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
    18 KB (2,036 words) - 02:36, 10 July 2020
  • |Title=The Fourteenth International Conference on Sensor Technologies and Applications With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
    15 KB (1,880 words) - 14:45, 27 August 2020
  • ...27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ...27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems'''
    2 KB (293 words) - 14:54, 3 August 2020
  • ...Fifth International Conference on Advances in Sensors, Actuators, Metering and Sensing With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
    11 KB (1,402 words) - 16:31, 7 January 2021
  • Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original
    10 KB (1,210 words) - 20:17, 22 November 2020
  • |Title=Seventh International Conference on Big Data, Small Data, Linked Data and Open Data Please consider to contribute to and/or forward to the appropriate
    9 KB (1,239 words) - 14:37, 29 December 2020
  • |Title=The Seventh International Conference on Advances and Trends in Software Engineering Please consider to contribute to and/or forward to the appropriate
    12 KB (1,505 words) - 20:38, 22 November 2020
  • |Title=ICAS 2021, The Seventeenth International Conference on Autonomic and Autonomous Systems |Field=Autonomic and Autonomous Systems
    16 KB (1,874 words) - 12:15, 24 November 2020
  • ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to: ..., research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished
    10 KB (1,221 words) - 18:57, 8 December 2020
  • ...Fourteenth International Conference on Communication Theory, Reliability, and Quality of Service Please consider to contribute to and/or forward to the appropriate
    8 KB (1,012 words) - 10:45, 9 December 2020
  • ...=Sixth International Conference on Advances in Computation, Communications and Services ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    5 KB (640 words) - 21:39, 17 December 2020
  • ...le=The Sixteenth International Conference on Internet and Web Applications and Services ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    15 KB (1,921 words) - 01:00, 12 December 2020
  • ...e=The Eighth International Conference on Big Data, Small Data, Linked Data and Open Data ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    9 KB (1,229 words) - 03:37, 3 December 2021
  • |Title=The Seventeenth International Conference on Autonomic and Autonomous Systems |Field=Autonomic and Autonomous Systems
    16 KB (1,874 words) - 14:47, 10 February 2021
  • |Title=The Seventeenth International Conference on Autonomic and Autonomous Systems ...context-aware systems, Knowledge-based user interface, Adaptive management and mobility
    16 KB (1,956 words) - 11:50, 3 March 2021
  • ...ll take place online as last year's CONCUR: the talks will be pre-recorded and then streamed on Zoom. Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not l
    2 KB (262 words) - 16:45, 8 April 2021
  • ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to: ..., research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished
    10 KB (1,228 words) - 02:46, 26 November 2021
  • |Title=SOFTENG 2022, The Eighth International Conference on Advances and Trends in Software Engineering ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    13 KB (1,522 words) - 03:32, 3 December 2021
  • ...e Fifteenth International Conference on Communication Theory, Reliability, and Quality of Service ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    8 KB (1,021 words) - 03:36, 3 December 2021
  • |Title=2024 International Conference on Communication, Information and Digital Technologies 2024 International Conference on Communication, Information and Digital Technologies will be held in Wuhan, China during March 8-10, 2023.
    4 KB (550 words) - 05:55, 1 November 2023