1528 search results - page 188 / 306 » Performance Assertion Checking |
129
click to vote
ENTCS
2008
15 years 2 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
109
Voted
CL
2006
Springer
15 years 2 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
134
click to vote
ENTCS
2006
15 years 2 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
90
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
—Detectability of failures of linear programming (LP) decoding and the potential for improvement by adding new constraints motivate the use of an adaptive approach in selecting t...
CPHYSICS
2007
15 years 2 months ago
2007
We describe the implementation of the shearingbox approach into the Godunovtype central-upwind/constraint-transport magnetohydrodynamics code NIRVANA. This will allow for applicat...