PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024

PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024
Author: Nina Narodytska
Publisher: TU Wien Academic Press
Total Pages: 316
Release: 2024-10-01
Genre: Computers
ISBN: 3854480652

Die Proceedings zur Konferenz „Formal Methods in Computer-Aided Design 2024“ geben aktuelle Einblicke in ein spannendes Forschungsfeld. Zum fünften Mal erscheinen die Beiträge der Konferenzreihe „Formal Methods in Computer-Aided Design“ (FMCAD) als Konferenzband bei TU Wien Academic Press. Der aktuelle Band der seit 2006 jährlich veranstalteten Konferenzreihe präsentiert in 35 Beiträgen neueste wissenschaftliche Erkenntnisse aus dem Bereich des computergestützten Entwerfens. Die Beiträge behandeln formale Aspekte des computergestützten Systemdesigns einschließlich Verifikation, Spezifikation, Synthese und Test. Die FMCAD-Konferenz findet im Oktober 2024 in Prag, Tschechische Republik, statt. Sie gilt als führendes Forum im Bereich des computer-aided design und bietet seit ihrer Gründung Forschenden sowohl aus dem akademischen als auch dem industriellen Umfeld die Möglichkeit, sich auszutauschen und zu vernetzen.

Modeling for Casting and Solidification Processing

Modeling for Casting and Solidification Processing
Author: Kuang-Oscar Yu
Publisher: CRC Press
Total Pages: 724
Release: 2001-10-16
Genre: Science
ISBN: 9780824788810

This text seeks to provide a comprehensive technical foundation and practical examples for casting process modelling technology. It highlights fundamental theory for solidification and useful applications for industrial production. It also details shape and ingot castings, semi-solid metalworking, and spray forming.

Handbook of Algorithms for Physical Design Automation

Handbook of Algorithms for Physical Design Automation
Author: Charles J. Alpert
Publisher: CRC Press
Total Pages: 1044
Release: 2008-11-12
Genre: Computers
ISBN: 1000654192

The physical design flow of any project depends upon the size of the design, the technology, the number of designers, the clock frequency, and the time to do the design. As technology advances and design-styles change, physical design flows are constantly reinvented as traditional phases are removed and new ones are added to accommodate changes in

Multimedia Database Systems

Multimedia Database Systems
Author: Kingsley C. Nwosu
Publisher: Springer Science & Business Media
Total Pages: 393
Release: 2012-12-06
Genre: Computers
ISBN: 1461304636

Multimedia Database Systems: Design and Implementation Strategies is a compendium of the state-of-the-art research and development work pertaining to the problems and issues in the design and development of multimedia database systems. The chapters in the book are developed from presentations given at previous meetings of the International Workshop on Multi-Media Data Base Management Systems (IW-MMDBMS), and address the following issues: development of adequate multimedia database models, design of multimedia database query and retrieval languages, design of indexing and organization techniques, development of efficient and reliable storage models, development of efficient and dependable retrieval and delivery strategies, and development of flexible, adaptive, and reliable presentation techniques.

Searchable Encryption

Searchable Encryption
Author: Kui Ren
Publisher: Springer Nature
Total Pages: 178
Release: 2023-01-04
Genre: Computers
ISBN: 3031213777

This book comprehensively reviews searchable encryption, which represents a series of research developments that directly enable search functionality over encrypted data. The book majorly covers: 1) the design and implementation of encrypted search algorithms, data structures, and systems that facilitate various forms of search over always-encrypted databases; 2) different threat models, assumptions, and the related security guarantees, when using searchable encryption in the real-world settings; and 3) latest efforts in building full-fledged encrypted database systems that draw insights from searchable encryption constructions. The book fits in the timely context, where the necessity of safeguarding important and sensitive data has been globally recognized. Traditional security measures, such as storing data behind network firewalls and layers of access control mechanisms to keep attackers out, are no longer sufficient to cope with the expanding landscape of surging cyber threats. There is an urgent call to keep sensitive data always encrypted to protect the data at rest, in transit, and in use. Doing so guarantees data confidentiality for owners, even if the data is out of their hands, e.g., hosted at in-the-cloud databases. The daunting challenge is how to perform computation over encrypted data. As we unfold in this book, searchable encryption, as a specific line of research in this broadly defined area, has received tremendous advancements over the past decades. This book is majorly oriented toward senior undergraduates, graduate students, and researchers, who want to work in the field and need extensive coverage of encrypted database research. It also targets security practitioners who want to make well-informed deployment choices of the latest advancements in searchable encryption for their targeted applications. Hopefully, this book will be beneficial in both regards.