Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleNovember 1994
A Parallel Virtual Machine for Programs Composed of Abstract Data Types
IEEE Transactions on Computers (ITCO), Volume 43, Issue 11November 1994, Pages 1249–1261https://doi.org/10.1109/12.324558An abstract data type mechanism is provided by many modern programming languages, and is often employed during system development to promote modularity and reuse. This paper describes ARC, a parallel virtual machine designed for executing programs that ...
- research-articleDecember 1988
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers (ITCO), Volume 37, Issue 12December 1988, Pages 1488–1505https://doi.org/10.1109/12.9728Two novel concurrency algorithms for abstract data types are presented that ensure serializability of transactions. It is proved that both algorithms ensure a local atomicity property called dynamic atomicity. The algorithms are quite general, ...
- surveyApril 1987
Extending Multiversion Time-Stamping Protocols to Exploit Type Information
IEEE Transactions on Computers (ITCO), Volume 36, Issue 4April 1987, Pages 443–448https://doi.org/10.1109/TC.1987.1676926Atomic transactions are a widely accepted approach to implementing and reasoning about fault-tolerant distributed programs. This paper shows how multiversion time-stamping protocols for atomicity can be extended to induce fewer delays and restarts by ...
- research-articleNovember 1985
Arithmetic Specification for Scientific Computation in ADA
IEEE Transactions on Computers (ITCO), Volume 34, Issue 11November 1985, Pages 996–1005https://doi.org/10.1109/TC.1985.1676532Usually, higher programming languages provide a floating point arithmetic without specifying the accuracy of the operations. In contrast, ADA defines the operations by means of model numbers and rounding (see [2], [11]). Nevertheless, this definition is ...
- research-articleAugust 1985
Retrofitting the VAX-11/780 Microarchitecture for IEEE Floating Point Arithmetic Implementation Issues, Measurements, and Analysis
IEEE Transactions on Computers (ITCO), Volume 34, Issue 8August 1985, Pages 692–708https://doi.org/10.1109/TC.1985.1676615The VAX-11/7801 was designed specifically to implement the VAX architecture. As such, it does not support the IEEE standard for floating point arithmetic. A project was undertaken to provide this support by modifying the 11/780 microarchitecture. Our ...