Results 241 to 250 of about 334,215 (267)
Some of the next articles are maybe not open access.
A meta-language for functional verification
2011This dissertation perceives a similarity between two activities: that of coordinating the search for simulation traces toward reaching verification closure, and that of coordinating the search for a proof within a theorem prover. The programmatic coordination of simulation is difficult with existing tools for digital circuit verification because ...
openaire +1 more source
A meta-language for systems architecting
2005(cont.) To demonstrate its practical value in large-scale engineering systems, the research applied OPN to two space exploration programs and one aircraft design problem. In our experiments, OPN was able to significantly change the modeling and architectural reasoning process by automating a number of manual model construction, manipulation, and ...
openaire +1 more source
Direction and impact of language bias in meta-analyses of controlled trials: empirical study
International Journal of Epidemiology, 2002Matthias Egger +2 more
exaly