Filters








18,767 Hits in 4.1 sec

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 -  
Kohler, "A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems", Computing Surveys, June 1981, Volume 13, No. 2, pp. 149-183 INGALLS81 Ingalls Daniel H.H.; Design  ...  .; A Comparison of the Programming Languages C and Pascal; Computing Surveys 14, 1 (March 1982) pp. 73-92.  ... 
doi:10.1145/800022.808321 fatcat:zuuerylr3fhc7cbzpijepsbinq

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 ACM SIGOPS Operating Systems Review  
Kohler, "A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems", Computing Surveys, June 1981, Volume 13, No. 2, pp. 149-183 INGALLS81 Ingalls Daniel H.H.; Design  ...  .; A Comparison of the Programming Languages C and Pascal; Computing Surveys 14, 1 (March 1982) pp. 73-92.  ... 
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  
Kohler, "A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems", Computing Surveys, June 1981, Volume 13, No. 2, pp. 149-183 INGALLS81 Ingalls Daniel H.H.; Design  ...  .; A Comparison of the Programming Languages C and Pascal; Computing Surveys 14, 1 (March 1982) pp. 73-92.  ... 
doi:10.1145/359763.359782 fatcat:2ckqb2i6rrdsnipkjasaia3yaa

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 SIGPLAN notices  
Kohler, "A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems", Computing Surveys, June 1981, Volume 13, No. 2, pp. 149-183 INGALLS81 Ingalls Daniel H.H.; Design  ...  .; A Comparison of the Programming Languages C and Pascal; Computing Surveys 14, 1 (March 1982) pp. 73-92.  ... 
doi:10.1145/390017.808321 fatcat:26pqysz4pnfb5e3sawaggsuory

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 Software engineering notes  
Kohler, "A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems", Computing Surveys, June 1981, Volume 13, No. 2, pp. 149-183 INGALLS81 Ingalls Daniel H.H.; Design  ...  .; A Comparison of the Programming Languages C and Pascal; Computing Surveys 14, 1 (March 1982) pp. 73-92.  ... 
doi:10.1145/390019.808321 fatcat:owxireuadvagna7utuefnfbb3q

ALETHEIA

Qinhui Wang, Baoliu Ye, Bin Tang, Tianyin Xu, Song Guo, Sanglu Lu, Weihua Zhuang
2015 Proceedings of the 16th ACM International Symposium on Mobile Ad Hoc Networking and Computing - MobiHoc '15  
Computer Systems and Networks, with the goal of making computer systems and networks more dependable and manageable.  ...  Systems Approaches to Tackling Configuration Errors: A Survey. ACM Computing Surveys (CSUR), Volume 47, Number 4, Article 70, Jul. 2015. 3.  ...  In Proceedings of the 16th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc'15), Jun. 22-25, 2015, Hangzhou, China. Recent Publications 2015 1. 2.  ... 
doi:10.1145/2746285.2746307 dblp:conf/mobihoc/WangYTXGLZ15 fatcat:ifoug65p45cdjnj4tljbae4xei

Emerging trends in the WWW user population

James E. Pitkow, Colleen M. Kehoe
1996 Communications of the ACM  
Volume 39, number 6, 1996. 3 GVU Technical Report: GIT-GVU-96-11 Emerging Trends in the WWW User Population J. Pitkow & C. Kehoe Communications of the ACM.  ...  Kehoe Communications of the ACM. Volume 39, number 6, 1996. 8 GVU Technical Report: GIT-GVU-96-11 surveys.  ... 
doi:10.1145/228503.228525 fatcat:mtayohb5rzh3zpytfoktp6qyoe

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.  ...  A survey of over 400 recent research articles suggests that computer scientists publish relatively few papers with experimentally validated r esults.  ...  For comparison, we reviewed publications from two other elds: volume 5 1993 of Neural Computation NC, and numbers 1 and 3 of volume 33 1994 of Optical Engineering OE.  ... 
doi:10.1016/0164-1212(94)00111-y fatcat:3mozsrarmzcxfhh4yfbnwfqtgm

Page 2247 of Mathematical Reviews Vol. 52, Issue 6 [page]

1976 Mathematical Reviews  
A brief survey of the history of the Association for Computing Machinery. {For the entire collection see #16084 below.} 16081 Richard E. A western view of computer history.  ...  Revens, Lee The first twenty-five years ACM 1947-1962. Twenty-fifth anniversary of the Association for Computing Machinery. Comm. ACM 15 (1972), no. 7, 485-490.  ... 

Groupware: some issues and experiences

Clarence A. Ellis, Simon J. Gibbs, Gail Rein
1991 Communications of the ACM  
ACM 40, 3 (March 1997), 77-87.  ...  Kraemer, John Leslie King Univ. of California, Irvine ACM Computing Surveys (CSUR), Volume 20 , Issue 2 (June 1988) http://doi.acm.org/10.1145/46157.46158 abstract: AND SUN, C. 1999.  ... 
doi:10.1145/99977.99987 fatcat:nyrgrlyzrnhcdocirankjfcnii

Three-dimensional medical imaging: algorithms and computer systems

M. R. Stytz, G. Frieder, O. Frieder
1991 ACM Computing Surveys  
ACKNOWLEDGMENTS The authors are indebted to the employees of Pixar and the researchers whose machines are mentioned for reviewing their particular portions of this survey.  ...  ACM Computing Surveys, Vol 23, No. 4, December 1991 " Stytz et al.  ...  ACM Computing Surveys, Vol. 23, No. 4, December 1991 q Stytz et al. BOMANS, M,, HOHNE, K.-H , TIEDE, U , AND REIMER, M 1990. 3-D segmentation of MR Images of the head for 3-D display.  ... 
doi:10.1145/125137.125155 fatcat:koj3dmvdpbgvdit2ne3tkywlye

Hybrid Matching Algorithm for Personal Names

Cihan Varol, Coskun Bayrak
2012 Journal of Data and Information Quality  
., "Hybrid Matching Algorithm for Personal Names" ACM Journal of Data and Information Quality (ACM JDIQ), Volume 3, Issue 4, Article No: 8, September 2012, doi>10.1145/2348828.2348830 [ 2 ] 2 VAROL,  ...  San Francisco, California, USA [3] VAROL, C., "Pattern Matching Techniques: A Survey Study Conducted on Social Security Numbers and Date of Births", ICGST Conference on Computer Science and Engineering  ... 
doi:10.1145/2348828.2348830 dblp:journals/jdiq/VarolB12 fatcat:afk72rr26nb4hobaqk3572dsfm

Human-Robot Interaction: A Survey

Michael A. Goodrich, Alan C. Schultz
2007 Foundations and Trends® in Human–Computer Interaction  
Because the volume of work in social interactions is vast, we present only a brief survey; a more complete survey of this important area is left to future work.  ...  Editorial Scope Foundations and Trends R in Human-Computer Interaction will publish survey and tutorial articles in the following topics: • History of the research Community Introduction Human-Robot  ... 
doi:10.1561/1100000005 fatcat:z7z6juzt55fwrfusauqokkgucq

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  
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, /.  ...  NAGY, G. and WAGLE, S. (1979): Geographic data processing, Computing Surveys, 11, pp. 140-181.  ... 

Page 19 of Electronic Publishing Vol. 7, Issue 1 [page]

1994 Electronic Publishing  
Richard Furuta, Jeffry Scofield, and Alan Shaw, ‘Document formatting systems: Surveys, con- cepts, and issues’, ACM Computing Surveys, 14(3), 417-472, (September 1982).  ...  Nadrchal, volume 61 of Computer Physics Communications, pp. 177-189. North Holland Publishing Company; Elsevier Science Publishers B.V., (1990).  ... 
« Previous Showing results 1 — 15 out of 18,767 results