|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Synthesizing Code for Resource Controllers
August 1985 (vol. 11 no. 8)
pp. 774-783
| ASCII Text | x | ||
| K. Ramamritham, "Synthesizing Code for Resource Controllers," IEEE Transactions on Software Engineering, vol. 11, no. 8, pp. 774-783, August, 1985. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1985.232526, author = {K. Ramamritham}, title = {Synthesizing Code for Resource Controllers}, journal ={IEEE Transactions on Software Engineering}, volume = {11}, number = {8}, issn = {0098-5589}, year = {1985}, pages = {774-783}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232526}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Synthesizing Code for Resource Controllers IS - 8 SN - 0098-5589 SP774 EP783 EPD - 774-783 A1 - K. Ramamritham, PY - 1985 KW - temporal logic KW - Shared resources KW - specification KW - synchronization KW - synthesis VL - 11 JA - IEEE Transactions on Software Engineering ER - | |||
A distributed system is viewed as a set of objects and processes utilizing the objects. If a shared object, known as a resource, is accessed concurrently, some mechanism is necessary to control use of the resource in order to satisfy the consistency and fairness requirements associated with the resource. These mechanisms are termed resource controllers.
Index Terms:
temporal logic, Shared resources, specification, synchronization, synthesis
Citation:
K. Ramamritham, "Synthesizing Code for Resource Controllers," IEEE Transactions on Software Engineering, vol. 11, no. 8, pp. 774-783, Aug. 1985, doi:10.1109/TSE.1985.232526
Usage of this product signifies your acceptance of the Terms of Use.