Filters








5,096 Hits in 3.6 sec

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 ACM SIGOPS Operating Systems Review  
the A.C.M., Volume 26, Number 5, May 1983, pp. 362-376.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/390018.808321 fatcat:6mp6jshmnjg5thssngqrusca3u

Abstraction and verification in Alphard: defining and specifying iteration and generators

Mary Shaw, William A. Wulf, Ralph L. London
1977 Communications of the ACM  
the A.C.M., Volume 26, Number 5, May 1983, pp. 362-376.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/359763.359782 fatcat:2ckqb2i6rrdsnipkjasaia3yaa

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 Software engineering notes  
the A.C.M., Volume 26, Number 5, May 1983, pp. 362-376.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/390019.808321 fatcat:owxireuadvagna7utuefnfbb3q

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 SIGPLAN notices  
the A.C.M., Volume 26, Number 5, May 1983, pp. 362-376.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/390017.808321 fatcat:26pqysz4pnfb5e3sawaggsuory

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 Proceedings of an ACM conference on Language design for reliable software -  
the A.C.M., Volume 26, Number 5, May 1983, pp. 362-376.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/800022.808321 fatcat:zuuerylr3fhc7cbzpijepsbinq

Page 146 of Journal of Research and Practice in Information Technology Vol. 16, Issue 4 [page]

1984 Journal of Research and Practice in Information Technology  
Centre Schenectady, NY until 1969, when he joined the CSIRO Division of Computing Research. the Australian Computer Journal, Vol. 16, No. 4, November 1984  ...  KNUTH, D.E. (1973): The art of computer programming, Volume 3, Sorting and Searching, Addison-Wesley, Reading, Mass. LEE, D.T. (1980): Two-dimensional Voronoi diagrams in the |\&p&-metric, /.  ... 

Page 319 of Library Occurrent Vol. 26, Issue 9 [page]

1980 Library Occurrent  
/Z/5941/.A44) Annual Review of Information Science and Technology Volume 14 (1979). White Plains, N.Y., Knowledge Industry Pubs., Inc. for ASIS, 1979. (Ext.  ...  ./ Z/699/.A1/A18/1977) Advances in Librarianship, Volume 9 (1979). New York, Academic Press, 1979. (Ext./Z/678/.A4) Allen, Barbara. Planning for Statewide Systems of Continuing Library Education.  ... 

Experimental evaluation in computer science: A quantitative study

Walter F. Tichy, Paul Lukowicz, Lutz Prechelt, Ernst A. Heinz
1995 Journal of Systems and Software  
The survey includes complete volumes of several refereed c omputer science journals, a conference, and 50 titles drawn at random from all articles published b y A CM in 1993.  ...  The journals Optical Engineering OE and Neural Computation NC were used for comparison. Of the papers in the random sample that would require experimental validation, 40 have none at all.  ...  Acknowledgements We thank Michael Philippsen for an inspiring review of a late version of this report.  ... 
doi:10.1016/0164-1212(94)00111-y fatcat:3mozsrarmzcxfhh4yfbnwfqtgm

Page 493 of Mathematical Reviews Vol. , Issue 99a [page]

1991 Mathematical Reviews  
Yap [in Pro- ceedings of the Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (San Francisco, CA, 1995), 282-291, ACM, New York, 1995; MR 95m:52032].  ...  ISBN 83-01-11298-0 The original English edition has been reviewed [Addison Wesley Publishing Co., Reading, MA, 1979; MR 83):68002]. 99a:68002 68-06 68Q10 68Q22 % ACM Symposium on Parallel Algorithms and  ... 

Page 469 of Behavior Research Methods Vol. 34, Issue 4 [page]

2002 Behavior Research Methods  
The roles of vision and eye movements in the control of activities of daily living. Perception, 28. 1307-1432. Lfvoy. M., & Whi i akfr. R. (1990). Ciaze-directed volume rendering.  ...  Journal of Advertising. 26, 61-73. Lose HKY. L. C., & M( CoNKiF. G. W. (2000). User performance with gaze contingent multiresolutional displays.  ... 

Research and Development on Automatic Information Organization and Subject Analysis in Recent Decades

Yuen-Hsien Tseng
2014 Journal of Educational Media & Library Sciences  
have a feel of the feasibility of these techniques; specifically the applications of keyword extraction, association analysis, document clustering, and topic categorization are mentioned.We conclude that  ...  This article firstly introduces the development of related automatic techniques in recent decades and promotes a tranditional viewpoint based on the workflow of:(1) data collection and aggregation, (2)  ...  Cold boot fail Conference of the European Chapter of the Association for Computational Linguistics, Volume 2: Short Papers (pp. 12-16).  ... 
doi:10.6120/joemls.2014.51s/0652.rv.am doaj:da6992a7aa3747f5bc31e82aa1664e12 fatcat:oyiyc3slkjau5a252euef67hi4

Page 77 of American Society of Civil Engineers. Collected Journals Vol. 128, Issue 1 [page]

2002 American Society of Civil Engineers. Collected Journals  
“Finite volume two-dimensional unsteady flow model for river basins.” J. Hydraul. Eng., 120(7), 863-883. JOURNAL OF HYDRAULIC ENGINEERING / JANUARY 2002 / 77  ...  ““A com- parative study of computational methods in cosmic gas dynamics.” Astron. Astrophys., 108, 76-84. van Leer, B. (1979). “Towards the ultimate conservative difference scheme. V.  ... 

Page 179 of Journal of Research and Practice in Information Technology Vol. 18, Issue 4 [page]

1986 Journal of Research and Practice in Information Technology  
ACM,, 26, 2, pp. 120-125. LAND, F. (1985): Is an Information Theory Enough?, Comput. J, 28, 3, pp. 211-215. MADDISON, R.N.  ...  The Australian Computer Journal, Vol. 18, No. 4, November 1986 MENDELOW, A.L. (1984): Information Systems for Organisational Effectiveness: The Use of the Stakeholder Approach, in Bemelmans (1984) above  ... 

Page 2377 of Mathematical Reviews Vol. , Issue 80F [page]

1980 Mathematical Reviews  
Mach. 26 (1979), no. 1, 45-57.  ...  Conference Record of the Tenth Annual ACM Symposium on Theory of Computing (San Diego, Calif., 1978), pp. 19-29, ACM, New York, 1978.  ... 

Page 181 of The Journal of the Operational Research Society Vol. 59, Issue 2 [page]

2008 The Journal of the Operational Research Society  
Lewis PAW and Shedler GS (1979). Simulation of non-homogeneous Poisson process by thinning. Naval Res Logist Quart 26: 403-413. Mehrotra V and Fama J (2003).  ...  Proceedings of the 7th Conference on Winter Simulation — Volume 2, Washington, DC, 14—16 January 1974, WSC °74. ACM Press: New York, NY, pp 529-537. Kleindorfer GB, O’Neill L and Ganeshan R (1998).  ... 
« Previous Showing results 1 — 15 out of 5,096 results