|
Showing 1 - 11 of
11 matches in All Departments
This book uses automotive embedded systems as an example to
introduce functional safety assurance and safety-aware cost
optimization. The book explores functional safety assurance from
the perspectives of verification, enhancement, and validation. The
functional safety assurance methods implement a safe and efficient
assurance system that integrates safety verification, enhancement,
and validation. The assurance methods offered in this book could
provide a reasonable and scientific theoretical basis for the
subsequent formulation of automotive functional safety standards.
The safety-aware cost optimization methods divide cost types
according to the essential differences of various costs in system
design and establish reasonable models based on different costs.
The cost optimization methods provided in this book could give
appropriate cost optimization solutions for the cost-sensitive
automotive industry, thereby achieving effective cost management
and control. Functional safety assurance methods and safety-aware
cost optimization support each other and jointly build the
architecture of functional safety design methodologies for
automotive embedded systems. The work aspires to provide a relevant
reference for students, researchers, engineers, and professionals
working in this area or those interested in hardware cost
optimization and development cost optimization design methods based
on ensuring functional safety in general.
This book will serve as a guide in understanding workflow
scheduling techniques on computing systems such as Cluster,
Supercomputers, Grid computing, Cloud computing, Edge computing,
Fog computing, and the practical realization of such methods. It
offers a whole new perspective and holistic approach in
understanding computing systems' workflow scheduling. Expressing
and exposing approaches for various process-centric cloud-based
applications give a full coverage of most systems' energy
consumption, reliability, resource utilization, cost, and
application stochastic computation. By combining theory with
application and connecting mathematical concepts and models with
their resource management targets, this book will be equally
accessible to readers with both Computer Science and Engineering
backgrounds. It will be of great interest to students and
professionals alike in the field of computing system design,
management, and application. This book will also be beneficial to
the general audience and technology enthusiasts who want to expand
their knowledge on computer structure.
|
Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II (Paperback, 1st ed. 2015)
Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li
|
R1,714
Discovery Miles 17 140
|
Ships in 10 - 15 working days
|
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the
refereed proceedings of the 15th International Conference on
Algorithms and Architectures for Parallel Processing, ICA3PP 2015,
held in Zhangjiajie, China, in November 2015. The 219 revised full
papers presented together with 77 workshop papers in these four
volumes were carefully reviewed and selected from 807 submissions
(602 full papers and 205 workshop papers). The first volume
comprises the following topics: parallel and distributed
architectures; distributed and network-based computing and internet
of things and cyber-physical-social computing. The second volume
comprises topics such as big data and its applications and parallel
and distributed algorithms. The topics of the third volume are:
applications of parallel and distributed computing and service
dependability and security in distributed and parallel systems. The
covered topics of the fourth volume are: software systems and
programming models and performance modeling and evaluation.
|
Parallel Computational Fluid Dynamics - 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers (Paperback, 2014 ed.)
Kenli Li, Zheng Xiao, Yan Wang, Jiayi Du, Keqin Li
|
R4,846
Discovery Miles 48 460
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 25th
International Conference on Parallel Computational Fluid Dynamics,
ParCFD 2013, held in Changsha, China, in May 2013. The 35 revised
full papers presented were carefully reviewed and selected from
more than 240 submissions. The papers address issues such as
parallel algorithms, developments in software tools and
environments, unstructured adaptive mesh applications, industrial
applications, atmospheric and oceanic global simulation,
interdisciplinary applications and evaluation of computer
architectures and software environments.
This book constitutes the refereed proceedings of the National
Annual Conference on High Performance Computing, HPC 2012, held in
Zhangjiajie, China, in October 2012. The 14 revised full papers
presented were carefully reviewed and selected from 260
submissions. The papers address issues such as parallel
architecture, GPU computing, resource scheduling, parallel
algorithm, and performance evaluation.
|
Algorithms and Architectures for Parallel Processing - ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings (Paperback, 1st ed. 2015)
Guojin Wang, Albert Zomaya, Gregorio Martinez, Kenli Li
|
R3,150
Discovery Miles 31 500
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the Workshops and
Symposiums of the 15th International Conference on Algorithms and
Architectures for Parallel Processing, ICA3PP 2015, held in
Zhangjiajie, China, in November 2015. The program of this year
consists of 6 symposiums/workshops that cover a wide range of
research topics on parallel processing technology: the Sixth
International Workshop on Trust, Security and Privacy for Big Data,
TrustData 2015; the Fifth International Symposium on Trust,
Security and Privacy for Emerging Applications, TSP 2015; the Third
International Workshop on Network Optimization and Performance
Evaluation, NOPE 2015; the Second International Symposium on
Sensor-Cloud Systems, SCS 2015; the Second International Workshop
on Security and Privacy Protection in Computer and Network Systems,
SPPCN 2015; and the First International Symposium on Dependability
in Sensor, Cloud, and Big Data Systems and Applications, DependSys
2015. The aim of these symposiums/workshops is to provide a forum
to bring together practitioners and researchers from academia and
industry for discussion and presentations on the current research
and future directions related to parallel processing technology.
The themes and topics of these symposiums/workshops are a valuable
complement to the overall scope of ICA3PP 2015 and give additional
values and interests.
|
Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III (Paperback, 1st ed. 2015)
Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li
|
R1,735
Discovery Miles 17 350
|
Ships in 10 - 15 working days
|
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the
refereed proceedings of the 15th International Conference on
Algorithms and Architectures for Parallel Processing, ICA3PP 2015,
held in Zhangjiajie, China, in November 2015. The 219 revised full
papers presented together with 77 workshop papers in these four
volumes were carefully reviewed and selected from 807 submissions
(602 full papers and 205 workshop papers). The first volume
comprises the following topics: parallel and distributed
architectures; distributed and network-based computing and internet
of things and cyber-physical-social computing. The second volume
comprises topics such as big data and its applications and parallel
and distributed algorithms. The topics of the third volume are:
applications of parallel and distributed computing and service
dependability and security in distributed and parallel systems. The
covered topics of the fourth volume are: software systems and
programming models and performance modeling and evaluation.
|
Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV (Paperback, 1st ed. 2015)
Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li
|
R1,748
Discovery Miles 17 480
|
Ships in 10 - 15 working days
|
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the
refereed proceedings of the 15th International Conference on
Algorithms and Architectures for Parallel Processing, ICA3PP 2015,
held in Zhangjiajie, China, in November 2015. The 219 revised full
papers presented together with 77 workshop papers in these four
volumes were carefully reviewed and selected from 807 submissions
(602 full papers and 205 workshop papers). The first volume
comprises the following topics: parallel and distributed
architectures; distributed and network-based computing and internet
of things and cyber-physical-social computing. The second volume
comprises topics such as big data and its applications and parallel
and distributed algorithms. The topics of the third volume are:
applications of parallel and distributed computing and service
dependability and security in distributed and parallel systems. The
covered topics of the fourth volume are: software systems and
programming models and performance modeling and evaluation.
|
Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I (Paperback, 1st ed. 2015)
Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li
|
R3,132
Discovery Miles 31 320
|
Ships in 10 - 15 working days
|
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the
refereed proceedings of the 15th International Conference on
Algorithms and Architectures for Parallel Processing, ICA3PP 2015,
held in Zhangjiajie, China, in November 2015. The 219 revised full
papers presented together with 77 workshop papers in these four
volumes were carefully reviewed and selected from 807 submissions
(602 full papers and 205 workshop papers). The first volume
comprises the following topics: parallel and distributed
architectures; distributed and network-based computing and internet
of things and cyber-physical-social computing. The second volume
comprises topics such as big data and its applications and parallel
and distributed algorithms. The topics of the third volume are:
applications of parallel and distributed computing and service
dependability and security in distributed and parallel systems. The
covered topics of the fourth volume are: software systems and
programming models and performance modeling and evaluation.
This book consists of papers on the recent progresses in the state
of the art in natural computation, fuzzy systems and knowledge
discovery. The book can be useful for researchers, including
professors, graduate students, as well as R & D staff in the
industry, with a general interest in natural computation, fuzzy
systems and knowledge discovery. The work printed in this book was
presented at the 2021 17th International Conference on Natural
Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2021,
24-26 July 2021, Guiyang, China). All papers were rigorously
peer-reviewed by experts in the areas.
This book consists of papers on the recent progresses in the state
of the art in natural computation, fuzzy systems, and knowledge
discovery. The book is useful for researchers, including
professors, graduate students, as well as R & D staff in the
industry, with a general interest in natural computation, fuzzy
systems, and knowledge discovery. The work printed in this book was
presented at the 2022 18th International Conference on Natural
Computation, Fuzzy Systems, and Knowledge Discovery (ICNC-FSKD
2022), held from 30 July to 1 August 2022, in Fuzhou, China. All
papers were rigorously peer-reviewed by experts in the areas.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|