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和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
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本身就是一个很低层的代码项目。
[Performance] Significant performance improvements by reimplementing xSocket's low-level code
重新实现了xSocket的底层代码，以此获得显著的性能提升。
In some sense, the use-case model lets us make the link between the high-level business function and the low-level code that implement these functions.
在某种意义上，用例模型让我们链接了高层业务功能和实现这些功能的低层代码。
The user doesn't see all the low-level code executions to handle single or multiple commands but rather a very simplistic input, output, and error.
用户不会看到处理单个或多个命令的所有底层代码的执行情况，而是看到非常简单化的输入、输出和错误。
The user doesn't see all the low-level code executions to handle single or multiple commands but rather a very simplistic input, output, and error.
用户不会看到处理单个或多个命令的所有底层代码的执行情况，而是看到非常简单化的输入、输出和错误。
应用推荐