Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.

它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。

youdao

While this page does advocate you trying to fix a bug, it's worth noting that Xerces-J is by nature a pretty low-level code project.

虽然这个页面提倡您自己修复bug，但是值得注意的是Xerces - J本身就是一个很低层的代码项目。

youdao

[Performance] Significant performance improvements by reimplementing xSocket's low-level code

重新实现了xSocket的底层代码，以此获得显著的性能提升。

youdao

While extremely flexible, its programming language, BD-Java, requires lots of low-level code for even the simplest of instructions.

ECONOMIST: Can Toshiba��s David topple Sony��s Goliath?

The Broadcasting Code states that broadcasters must take precautions to maintain a low-level risk to viewers who have photosensitive epilepsy and should give warning if they do go ahead with such lighting.

BBC: X Factor rapped by Ofcom over CD promotion

But Bush said that because of the federal tax code, the benefits for higher level officers clearly outweigh the tax benefits for low-ranking troops, because much of their pay would already be at a very low tax rate.

MSN: Pentagon recommends better pay for front-line troops - US news | NBC News