-
1
-
-
0027262011
-
Transactional memory: Architectural support for lock-free data structures
-
New York, NY, USA: ACM Press
-
M. Herlihy and J. E. B. Moss, "Transactional memory: architectural support for lock-free data structures," in ISCA '93: Proceedings of the 20th annual international symposium on Computer architecture. New York, NY, USA: ACM Press, 1993, pp. 289-300.
-
(1993)
ISCA '93: Proceedings of the 20th annual international symposium on Computer architecture
, pp. 289-300
-
-
Herlihy, M.1
Moss, J.E.B.2
-
4
-
-
84874695049
-
Network invariants in action
-
13th International Conference on Concurrency Theory CONCUR02, Springer-Verlag
-
Y. Kesten, A. Pnueli, E. Shahar, and L. D. Zuck, "Network invariants in action," in 13th International Conference on Concurrency Theory (CONCUR02), ser. Lect. Notes in Comp. Sci., vol. 2421. Springer-Verlag, 2002, pp. 101-115.
-
(2002)
ser. Lect. Notes in Comp. Sci
, vol.2421
, pp. 101-115
-
-
Kesten, Y.1
Pnueli, A.2
Shahar, E.3
Zuck, L.D.4
-
5
-
-
0026154452
-
The existence of refinement mappings
-
May
-
M. Abadi and L. Lamport, "The existence of refinement mappings," Theoretical Computer Science, vol. 82, no. 2, pp. 253-284, May 1991.
-
(1991)
Theoretical Computer Science
, vol.82
, Issue.2
, pp. 253-284
-
-
Abadi, M.1
Lamport, L.2
-
6
-
-
4644359934
-
Transactional memory coherence and consistency
-
Jun
-
st annu. Int. Symp. on COmputer Architecture, Jun. 2004.
-
(2004)
st annu. Int. Symp. on COmputer Architecture
-
-
Hammond, L.1
Wong, W.2
Chen, M.3
Carlstrom, B.D.4
Davis, J.D.5
Herzberg, B.6
Prabhu, M.K.7
Wijaya, H.8
Kozyrakis, C.9
Olukotun, K.10
-
7
-
-
28444494370
-
Unbounded transactional memory
-
Feb
-
C. S. Ananian, K. Asanovic, B. C. Kuszmaul, C. E. Leiserson, and S. Lie, "Unbounded transactional memory," in Proceedings of the Eleventh International Symposium on High-Performance Computer Architecture, Feb 2005, pp. 316-327.
-
(2005)
Proceedings of the Eleventh International Symposium on High-Performance Computer Architecture
, pp. 316-327
-
-
Ananian, C.S.1
Asanovic, K.2
Kuszmaul, B.C.3
Leiserson, C.E.4
Lie, S.5
-
9
-
-
33748873605
-
Logtm: Log-based transactional memory
-
Feb
-
K. E. Moore, J. Bobba, M. J. Moravan, M. D. Hill, and D. A. Wood, "Logtm: Log-based transactional memory," in Proceedings of the 12th International Symposium on High-Performance Computer Architecture, Feb 2006, pp. 254-265.
-
(2006)
Proceedings of the 12th International Symposium on High-Performance Computer Architecture
, pp. 254-265
-
-
Moore, K.E.1
Bobba, J.2
Moravan, M.J.3
Hill, M.D.4
Wood, D.A.5
-
11
-
-
35448967002
-
-
Department of Computer Science, University of Rochester, Tech. Rep. 915, Feb
-
M. F. Spear, V. J. Marathe, L. Dalessandro, and M. L. Scott, "Privatization techniques for software transactional memory," Department of Computer Science, University of Rochester, Tech. Rep. 915, Feb. 2007.
-
(2007)
Privatization techniques for software transactional memory
-
-
Spear, M.F.1
Marathe, V.J.2
Dalessandro, L.3
Scott, M.L.4
-
12
-
-
35448946823
-
Enforcing isolation and ordering in STM
-
Jun
-
T. Shpeisman, V. Menon, A.-R. Adl-Tabatabai, S. Balensiefer, D. Grossman, R. Hudson, K. F. Moore, and B. Saha, "Enforcing isolation and ordering in STM," in ACM Conference on Programming Language Design and Implementation, Jun. 2007.
-
(2007)
ACM Conference on Programming Language Design and Implementation
-
-
Shpeisman, T.1
Menon, V.2
Adl-Tabatabai, A.-R.3
Balensiefer, S.4
Grossman, D.5
Hudson, R.6
Moore, K.F.7
Saha, B.8
-
13
-
-
31844442209
-
Composable memory transactions
-
Jun
-
T. Harris, S. Marlow, S. P. Jones, and M. Herlihy, "Composable memory transactions," in PPoPP, Jun. 2005.
-
(2005)
PPoPP
-
-
Harris, T.1
Marlow, S.2
Jones, S.P.3
Herlihy, M.4
-
14
-
-
84896694022
-
Control and data abstractions: The corner-stones of practical formal verification
-
Y. Kesten and A. Pnueli, "Control and data abstractions: The corner-stones of practical formal verification," Software Tools for Technology Transfer, vol. 4, no. 2, pp. 328-342, 2000.
-
(2000)
Software Tools for Technology Transfer
, vol.4
, Issue.2
, pp. 328-342
-
-
Kesten, Y.1
Pnueli, A.2
|