The phrase "are allocated for use" is correct and usable in written English.
It can be used when discussing the distribution or assignment of resources, time, or materials for a specific purpose.
Example: "The funds are allocated for use in community development projects to improve local infrastructure."
Alternatives: "are designated for use" or "are assigned for use".
The page-locked memory is also used by the computer operating system, so if large amounts are allocated for use with CUDA, then overall system performance may be affected, as it may force critical memory to be written to the paging file.
A total of 90 B61 nuclear bombs are hosted at the Incirlik Air Base, 40 of which are allocated for use by the Turkish Air Force in case of a nuclear conflict, but their use requires the approval of NATO.
That is how much power the World Trade Center was allocated for use at peak times, like midsummer.
The bylaws of the settlement effectively bar membership by Arabs, and the land in Katzir, developed by the quasi-governmental Jewish Agency -- founded before Israel was established to promote Jewish immigration and settlement in British-ruled Palestine -- was allocated for use by Jews only.
However, the Land Act also includes 'unused community lands' within its definition of 'general lands' which are under the control of the Ministry of Lands and may be allocated for use to applicants.
Those funds were allocated for use on jail items and inmate services.
Additional operating theatres were allocated for use in the management of victims of the Bali bomb blast.
The council confirmed it owned the land and that it was allocated for employment uses.
The scheduling of the 16 butterflies is shown in Figure 8 and how the butterfly resources are allocated for the computation using the minor butterfly cycles is shown in Figure 9, for N = 64. Figure 7 Compute FSM. Figure 8 Scheduling of the 16 butterflies.
Credits are allocated for CME activities using an hours-related credit system [ 14].
In February 2002, the Federal Communications Commission (FCC) created a great opportunity when 7,500 MHz of spectrum were allocated for unlicensed use with commercial UWB devices.
