3799 search results - page 65 / 760 » An Engineering Approach to Formal Methods |
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic diļ¬erentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
BIOCOMP
2006
13 years 9 months ago
2006
- We developed a method of reverse engineering to compare the behaviour the enzyme proteins with the existing standard concepts. Our work is based on the strong assumption from the...
SAFECOMP
1999
Springer
14 years 1 days ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
WSCG
2003
2003
Multifaceted Interaction with a Virtual Engineering Environment using a Scenegraph-oriented Approach
13 years 9 months ago
To provide an adequate user interface to the large amount of geometrical and alphanumerical date coupled to the geometries, the 3D interaction in the virtual environment is combin...
SIMUTOOLS
2008
13 years 9 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...