| In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based technique for the specification, development and verification of software and hardware systems. | В информатике и инженерии программного обеспечения формальными методами (англ. formal methods) называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения. |
| There are two approaches to instruction level parallelism: Hardware Software Hardware level works upon dynamic parallelism, whereas the software level works on static parallelism. | Уровень аппаратного обеспечения работает на динамическом параллелизме, тогда как уровень программного обеспечения работает на статическом параллелизме. |
| Highly customizable and user friendly, it tracks each asset from purchase to retirement and provides handy reports on all management aspects of hardware and software imaginable. Hardware Inspector is unique to track the history of each asset. | Она значительно облегчит вашу жизнь, избавив от головной боли, связанной с учетом и планированием компьютерного (и иного) аппаратного обеспечения. |
| For the topic of research, we have set up a special Hardware Lab for our company system engineers where all conceivable developments and environments are tested on virtual machines with regard to tracking down and eliminating weak spots within the productive operations. | Для исследований наших системных техников мы специально оборудовали лабораторию аппаратного обеспечения, где мы тестируем все мыслимые разработки и оборудование на виртуальных машинах, чтобы выявить и устранить их слабые места при эффективной эксплуатации. |