|
Showing 1 - 5 of
5 matches in All Departments
This book constitutes the refereed proceedings of the 11th
International Symposium on Automated Technology for Verification
and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013.
The 27 regular papers, 3 short papers and 12 tool papers presented
together with 3 invited talks were carefully selected from73
submissions. The papers are organized in topical, sections on
analysis and verification of hardware circuits, systems-on-chip and
embedded systems, analysis of real-time, hybrid, priced/weighted
and probabilistic systems, deductive, algorithmic, compositional,
and abstraction/refinement techniques for analysis and
verification, analytical techniques for safety, security, and
dependability, testing and runtime analysis based on verification
technology, analysis and verification of parallel and concurrent
hardware/software systems, verification in industrial practice, and
applications and case studies.
This volume contains the proceedings of ICTAC 2005, the second
ICTAC, International Colloquium on Theoretical Aspects of
Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21,
2005. ICTAC was founded by the International Institute for Software
Technology of the United Nations University (UNU-IIST) to serve as
a forum for practiti- ers, lecturers and researchers from academia,
industry and government who are interested in theoretical aspects
of computing and rigorous approaches to so- ware engineering. The
colloquium is aimed particularly, but not exclusively, at
participants from developing countries. We believe that this will
help developing countries to strengthen their research, teaching
and development in computer science and engineering, improve the
links between developing countries and developed countries, and
establish collaboration in research and education. By
providingavenueforthediscussionofcommonproblemsandtheirsolutions,
and for the exchangeof experiencesand ideas, this
colloquiumsupportsresearchand development in computer science and
software technology. ICTAC is attracting more and more attention
from more and more countrie
This book constitutes the refereed proceedings of the 18th
International Symposium on Automated Technology for Verification
and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020.
The 27 regular papers presented together with 5 tool papers and 2
invited papers were carefully reviewed and selected from 75
submissions. The symposium is dedicated to promoting research in
theoretical and practical aspects of automated analysis,
verification and synthesis by providing an international venue for
the researchers to present new results. The papers focus on neural
networks and machine learning; automata; logics; techniques for
verification, analysis and testing; model checking and decision
procedures; synthesis; and randomization and probabilistic systems.
This book constitutes the proceedings of the 16th International
Conference on Distributed Computing and Internet Technology, ICDCIT
2020, held in Bhubaneswar, India, in January 2020. The 20 full and
3 short papers presented in this volume were carefully reviewed and
selected from 110 submissions. In addition, the book included 6
invited papers. The contributions were organized in topical
sections named: invited talks; concurrent and distributed systems
modelling and verification; cloud and grid computing; social
networks, machine learning and mobile networks; data processing and
blockchain technology; and short papers.
This book constitutes the refereed proceedings of the 14th
International Colloquium on Theoretical Aspects of Computing, ICTAC
2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full
papers presented together with three invited talks were carefully
reviewed and selected from 40 submissions. The papers are organized
in topical sections on logics; software components and concurrency;
automata; SMT solvers and algorithms; and security.
|
You may like...
Tenet
John David Washington, Robert Pattinson
Blu-ray disc
(1)
R54
Discovery Miles 540
|