-
7
-
-
0029214558
-
Designing programs that check their work
-
M. Blum and S. Kannan. Designing Programs that Check Their Work. JACM, 42(1), 1995.
-
(1995)
JACM
, vol.42
, Issue.1
-
-
Blum, M.1
Kannan, S.2
-
8
-
-
0003459808
-
-
PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Sept.
-
R. D. Blumofe. Executing Multithreaded Programs Efficiently. PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Sept. 1995.
-
(1995)
Executing Multithreaded Programs Efficiently
-
-
Blumofe, R.D.1
-
11
-
-
0029746945
-
A world-wide distributed system using Java and the internet
-
Syracuse, NY, Aug
-
K. M. Chandy, B. Dimitrov, H. Le, J. Mandleson, M. Richardson, A. Rifkin, P. A. G. Sivilotti, W. Tanaka, and L. Weisman. A World-Wide Distributed System Using Java and the Internet. In Proceedings of the Fifth IEEE International Symposium on High Performance Distributed Computing, Syracuse, NY, Aug. 1996.
-
(1996)
Proceedings of the Fifth IEEE International Symposium on High Performance Distributed Computing
-
-
Chandy, K.M.1
Dimitrov, B.2
Le, H.3
Mandleson, J.4
Richardson, M.5
Rifkin, A.6
Sivilotti, P.A.G.7
Tanaka, W.8
Weisman, L.9
-
12
-
-
0031269491
-
Javelin: Internet-based computing using Java
-
Nov
-
B. Christiansen, P. Cappello, M. F. Ionescu, M. O. Neary, K. E. Schauser, and D. Wu. Javelin: Internet-Based Computing Using Java. Concurrency: Practice and Experience, 9(11), Nov. 1997.
-
(1997)
Concurrency: Practice and Experience
, vol.9
, Issue.11
-
-
Christiansen, B.1
Cappello, P.2
Ionescu, M.F.3
Neary, M.O.4
Schauser, K.E.5
Wu, D.6
-
17
-
-
0003305868
-
Incentive engineering for computational resource management
-
B. Huberman, editor, Elsevier Science Publishers B. V., North-Holland
-
E. Drexler and M. Miller. Incentive Engineering for Computational Resource Management. In B. Huberman, editor, The Ecology of Computation. Elsevier Science Publishers B. V., North-Holland, 1988.
-
(1988)
The Ecology of Computation
-
-
Drexler, E.1
Miller, M.2
-
18
-
-
85060687898
-
-
Electric Communities
-
Electric Communities. The EProgramming Language, 1996. http://www.communities.eom/e/epl.html.
-
(1996)
The EProgramming Language
-
-
-
19
-
-
23744513441
-
Encrypting problem instances - Or,can you take advantage of someone without having to trust him?
-
J. Feigenbaum. Encrypting Problem Instances - Or,Can You Take Advantage of Someone Without Having to Trust Him? In Proceedings of the CRYPTO'85 Conference, 1985.
-
(1985)
Proceedings of the CRYPTO'85 Conference
-
-
Feigenbaum, J.1
-
20
-
-
0037580752
-
An economy for managing replicated data in autonomous decentralized systems
-
Kawasaki, Japan, Mar
-
D. Ferguson, C. Nikolaou, and Y. Yemini. An Economy for Managing Replicated Data in Autonomous Decentralized Systems. In Proceedings of the International Symposium on Autonomous Decentralized Systems, Kawasaki, Japan, Mar. 1993.
-
(1993)
Proceedings of the International Symposium on Autonomous Decentralized Systems
-
-
Ferguson, D.1
Nikolaou, C.2
Yemini, Y.3
-
27
-
-
85060687451
-
-
Great Internet Mersenne Prime Search Press Release, Jan
-
Great Internet Mersenne Prime Search. GIMPS Discovers 37th Known Mersenne Prime. Press Release, Jan. 1998. http://www.mersenne.org/3021377.htm.
-
(1998)
GIMPS Discovers 37th Known Mersenne Prime
-
-
-
28
-
-
0030834939
-
The legion vision of a worldwide virtual computer
-
Jan.
-
A. S. Grimshaw, W. A. Wulf, and the Legion team. The Legion Vision of a Worldwide Virtual Computer. Communications of the ACM, 40(1), Jan. 1997.
-
(1997)
Communications of the ACM
, vol.40
, Issue.1
-
-
Grimshaw, A.S.1
Wulf, W.A.2
-
31
-
-
11344284273
-
A microeco-nomic approach to decentralized optimization of channel access policies in multiaccess networks
-
Denver, CO, May
-
J. F. Kurose, M. Schwartz, and Y. Yechiam. A Microeco-nomic Approach to Decentralized Optimization of Channel Access Policies in Multiaccess Networks. In Proceedings of the 5th IEEE International Conference on Distributed Computing Systems, Denver, CO, May 1985.
-
(1985)
Proceedings of the 5th IEEE International Conference on Distributed Computing Systems
-
-
Kurose, J.F.1
Schwartz, M.2
Yechiam, Y.3
-
33
-
-
85060731810
-
-
Lucent Technologies Inc
-
Lucent Technologies Inc. Inferno, http://inferno.bell-labs.com/inferno/.
-
Inferno
-
-
-
34
-
-
0004253749
-
Enterprise computation
-
B. Huberman, editor, Elsevier Science Publishers B. V., North-Holland
-
T. Malone, R. E. Fikes, K. R. Grant, and M. T. Howard. Enterprise Computation. In B. Huberman, editor, The Ecology of Computation. Elsevier Science Publishers B. V., North-Holland, 1988.
-
(1988)
The Ecology of Computation
-
-
Malone, T.1
Fikes, R.E.2
Grant, K.R.3
Howard, M.T.4
-
36
-
-
85060707923
-
Services, agents, and electronic markets: How do they integrate
-
Dresden, Germany, Mar.
-
M. Merz, K. Miiller-Jones, and W. Lamersdorf. Services, Agents, and Electronic Markets: How do they Integrate. In Proceedings of the International Conference on Distributed Systems (ICDP '96), Dresden, Germany, Mar. 1996.
-
(1996)
Proceedings of the International Conference on Distributed Systems (ICDP '96)
-
-
Merz, M.1
Miiller-Jones, K.2
Lamersdorf, W.3
-
37
-
-
23144456396
-
Comparative ecology: A computational perspective
-
B. Huberman, editor, Elsevier Science Publishers B. V., North-Holland
-
M. S. Miller and K. E. Drexler. Comparative Ecology: A Computational Perspective. In B. Huberman, editor, The Ecology of Computation. Elsevier Science Publishers B. V., North-Holland, 1988.
-
(1988)
The Ecology of Computation
-
-
Miller, M.S.1
Drexler, K.E.2
-
38
-
-
0001528324
-
Markets and computation: Agoric open systems
-
B. Huberman, editor, Elsevier Science Publishers B. V., North-Holland
-
M. S. Miller and K. E. Drexler. Markets and Computation: Agoric Open Systems. In B. Huberman, editor, The Ecology of Computation. Elsevier Science Publishers B. V., North-Holland, 1988.
-
(1988)
The Ecology of Computation
-
-
Miller, M.S.1
Drexler, K.E.2
-
41
-
-
50049124700
-
-
Draft International Standard 13235 -ODP Trading Function International Electrotechnical Commission, May
-
Draft International Standard 13235 -ODP Trading Function. International Organisation for Standardization, International Electrotechnical Commission, May 1995.
-
(1995)
International Organisation for Standardization
-
-
-
42
-
-
84879870495
-
AI-based trading in open distributed processing
-
K. Raymond and L. Armstrong, editors, Chapman & Hall
-
A. Puder, S. Markwitz, G. Gudermann, and K. Geihs. AI-based Trading in Open Distributed Processing. In K. Raymond and L. Armstrong, editors, Open Distributed Processing: Experiences with Distributed Environments, Proceedings of the 3rd IFIP TC 6/WG 6.1 International Conference on Open Distributed Processing. Chapman & Hall, 1995.
-
(1995)
Open Distributed Processing: Experiences with Distributed Environments, Proceedings of the 3rd IFIP TC 6/WG 6.1 International Conference on Open Distributed Processing
-
-
Puder, A.1
Markwitz, S.2
Gudermann, G.3
Geihs, K.4
-
43
-
-
0024898297
-
Machine characterization based on an abstract high-level language
-
December
-
R. Saavedra-Barrera, A. Smith, and E. Miya. Machine Characterization Based on an Abstract High-Level Language. IEEE Transactions on Computers, 38(12), December 1989.
-
(1989)
IEEE Transactions on Computers
, vol.38
, Issue.12
-
-
Saavedra-Barrera, R.1
Smith, A.2
Miya, E.3
-
48
-
-
0028584552
-
An economic paradigm for query processing and data migration in Mariposa
-
Austin, TX, Sept.
-
'M. Stonebraker, R. Devine, M. Kornacker, W. Litwin, A. Pf-effer, A. Sah, and C. Staelin. An economic paradigm for query processing and data migration in Mariposa. In " Proceedings of the Third International Conference on Parallel and Distributed Information Systems", Austin, TX, Sept. 1994.
-
(1994)
Proceedings of the Third International Conference on Parallel and Distributed Information Systems
-
-
Stonebraker, M.1
Devine, R.2
Kornacker, M.3
Litwin, W.4
Pf-Effer, A.5
Sah, A.6
Staelin, C.7
-
51
-
-
0345213868
-
-
Technical Report ORNL/TM-11375, Dept. of Math and Computer Science, Emory University, Atlanta, GA, USA, Feb
-
V. S. Sunderam. PVM: A Framework for Parallel Distributed Computing. Technical Report ORNL/TM-11375, Dept. of Math and Computer Science, Emory University, Atlanta, GA, USA, Feb. 1990.
-
(1990)
PVM: A Framework for Parallel Distributed Computing
-
-
Sunderam, V.S.1
-
52
-
-
12444330044
-
-
Technical Report CSD-97-938, UC Berkeley
-
A. Vahdat, P. Eastham, C. Yoshikawa, E. Belani, T. Anderson, D. Culler, and M. Dahlin. WebOS: Operating System Services For Wide Area Applications. Technical Report CSD-97-938, UC Berkeley, 1997.
-
(1997)
WebOS: Operating System Services for Wide Area Applications
-
-
Vahdat, A.1
Eastham, P.2
Yoshikawa, C.3
Belani, E.4
Anderson, T.5
Culler, D.6
Dahlin, M.7
-
53
-
-
0347636633
-
Create your own supercomputer with Java
-
Jan.
-
L. Vanhelsuwe. Create Your Own Supercomputer With Java. JavaWorld, 2(1), Jan. 1997.
-
(1997)
JavaWorld
, vol.2
, Issue.1
-
-
Vanhelsuwe, L.1
-
54
-
-
0026820775
-
Spawn: A distributed computational economy
-
Feb.
-
C. A. Waldspurger, T. Hogg, B. A. Huberman, J. O. Kephart, and W. S. Stornetta. Spawn: A Distributed Computational Economy. IEEE Transactions on Software Engineering, 18(2), Feb. 1992.
-
(1992)
IEEE Transactions on Software Engineering
, vol.18
, Issue.2
-
-
Waldspurger, C.A.1
Hogg, T.2
Huberman, B.A.3
Kephart, J.O.4
Stornetta, W.S.5
-
55
-
-
0011675909
-
-
Technical Report YALEU/DCS/TR-638, Department of Computer Science, Yale University, New Haven, Connecticut
-
R. A. Whiteside and J. S. Leichter. Using Linda for Supercomputing on a Local Area Network. Technical Report YALEU/DCS/TR-638, Department of Computer Science, Yale University, New Haven, Connecticut, 1988.
-
(1988)
Using Linda for Supercomputing on a Local Area Network
-
-
Whiteside, R.A.1
Leichter, J.S.2
-
58
-
-
84900310322
-
Implementing a performance forecasting system for metacomputing: The network weather service
-
San Jose, CA, Nov.
-
R. Wolski, N. Spring, and C. Peterson. Implementing a Performance Forecasting System for Metacomputing: The Network Weather Service. In Proceedings of the ACM/IEEE Conference on Supercomputing (SC97), San Jose, CA, Nov. 1997.
-
(1997)
Proceedings of the ACM/IEEE Conference on Supercomputing (SC97)
-
-
Wolski, R.1
Spring, N.2
Peterson, C.3
|