From finance to flip flops: A study of fast quasi-Monte Carlo methods from computational finance applied to statistical circuit analysis
A Singhee, RA Rutenbar - 8th International Symposium on …, 2007 - ieeexplore.ieee.org
Problems in computational finance share many of the characteristics that challenge us in
statistical circuit analysis: high dimensionality, profound nonlinearity, stringent accuracy …
statistical circuit analysis: high dimensionality, profound nonlinearity, stringent accuracy …
PAR: a practicable formal method and its supporting platform
J Xue, Y Zheng, Q Hu, Z You, W Xie… - … Conference on Formal …, 2018 - Springer
The use of formal methods can significantly improve the reliability, correctness and efficiency
of software development. Although formal methods has been invented for more than 40 …
of software development. Although formal methods has been invented for more than 40 …
Reconstructing street-scenes in real-time from a driving car
Most current approaches to street-scene 3D reconstruction from a driving car to date rely on
3D laser scanning or tedious offline computation from visual images. In this paper, we …
3D laser scanning or tedious offline computation from visual images. In this paper, we …
A process model for component-based model-driven software development
Developing high quality, reliable and on time software systems is challenging due to the
increasing size and complexity of these systems. Traditional software development …
increasing size and complexity of these systems. Traditional software development …
Robustness testing for software components
Component-based development allows one to build software from existing components and
promises to improve software reuse and reduce costs. For critical applications, the user of a …
promises to improve software reuse and reduce costs. For critical applications, the user of a …
Research of agile software development based on formal methods
A Zuo, J Yang, X Chen - 2010 International Conference on …, 2010 - ieeexplore.ieee.org
Agile software development is a kind of lightweight development method, which can satisfy
to the changes of requirements. This paper applies formal methods into agile software …
to the changes of requirements. This paper applies formal methods into agile software …
Interactive transformations from object-oriented models to component-based models
Consider an object-oriented model with a class diagram, and a set of object sequence
diagrams, each representing the design of object interactions for a use case. This article …
diagrams, each representing the design of object interactions for a use case. This article …
Model-driven design of object and component systems
Z Liu, X Chen - … Software Systems: First International School, SETSS …, 2016 - Springer
The notion of software engineering implies that software design and production should be
based on the types of theoretical foundations and practical disciplines that are established in …
based on the types of theoretical foundations and practical disciplines that are established in …
A refinement checking based strategy for component-based systems evolution
We propose inheritance and refinement relations for a CSP-based component model
(BRIC), which supports a constructive design based on composition rules that preserve …
(BRIC), which supports a constructive design based on composition rules that preserve …
Component-based modeling in mediator
Y Li, M Sun - Formal Aspects of Component Software: 14th …, 2017 - Springer
In this paper we propose a new language Mediator to formalize component-based system
models. Mediator supports a two-step modeling approach. Automata, encapsulated with an …
models. Mediator supports a two-step modeling approach. Automata, encapsulated with an …