Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Dynamic programming.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Reachable Sets of Dynamic Systems: Uncertainty, Sensitivity, and Complex Dynamics introduces differential inclusions, providing an overview as well as multiple examples of its interdisciplinary applications. The design of dynamic systems of any type is an important issue as is the influence of uncertainty in model parameters and model sensitivity. The possibility of calculating the reachable sets may be a powerful additional tool in such tasks. This book can help graduate students, researchers, and engineers working in the field of computer simulation and model building, in the calculation of reachable sets of dynamic models.

Computer simulation. --- Dynamic programming.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Decision making --- Decision theory --- Dynamic programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This dissertation by Ulf Kargén focuses on scalable dynamic analysis of binary code, a critical area in computer science and information security. The work addresses the scalability challenges associated with dynamic slicing and instruction trace alignment, methods that are crucial for debugging, security auditing, and malware analysis. Dynamic slicing provides detailed information about instruction dependencies, while instruction trace alignment compares executions of similar programs. The research introduces innovative techniques to enhance scalability, reducing memory requirements without compromising speed. Additionally, the thesis applies these methods to improve fuzzing, a testing technique used to identify security vulnerabilities, achieving significant improvements in code coverage and bug detection. This work is intended for researchers and professionals in computer science, particularly those focused on program analysis and security.

Debugging in computer science. --- Dynamic programming.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Systems engineering. --- District heating --- Dynamic programming