Sentence examples for properties of computer from inspiring English sources

Static analysis by abstract interpretation aims at automatically proving properties of computer programs, by computing invariants that over-approximate the program behaviors.

They combine the properties of computer embedded system with newly designed complex controllers where flexible, safe and reconfigurable operations are required.

Limited information is available concerning the properties of computer-aided designed/computer-aided manufactured (CAD/CAM) interim materials.

Despite these concerns, few studies have investigated the effects of computer delivery mode on speaking tests; moreover, little is known about how the psychometric properties of computer-delivered speaking tests compare to face-to-face tests.

The automation of the design process is an important property of computer aided design systems.

Antitrust fans and chaos theorists have discovered a peculiar property of computer economics: the tendency of an early leader in a new market to overwhelm its competitors.

An approach to ensure security property of computer software consists of the use of type systems in order to control information flow in software [46].

Nor is unsurveyability solely a property of computer-based proofs.

Open the properties of "My Computer" by either right-clicking the icon on the desktop or right-clicking Start > My Computer.

The gap is not unlike that between the abstract theory of computers and the basic properties of actual computers.

They certainly seem to be determinate, albeit context-relative, properties of the computer.