咨询与建议

限定检索结果

文献类型

  • 27 篇 期刊文献
  • 10 篇 会议

馆藏范围

  • 37 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 26 篇 工学
    • 11 篇 计算机科学与技术...
    • 11 篇 软件工程
    • 6 篇 土木工程
    • 6 篇 船舶与海洋工程
    • 2 篇 电气工程
    • 1 篇 光学工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
    • 1 篇 农业工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 20 篇 理学
    • 6 篇 海洋科学
    • 5 篇 生物学
    • 1 篇 数学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 天文学
  • 6 篇 医学
    • 5 篇 临床医学
    • 4 篇 基础医学(可授医学...
    • 3 篇 公共卫生与预防医...
    • 1 篇 药学(可授医学、理...
  • 3 篇 农学
    • 1 篇 作物学
  • 3 篇 管理学
    • 3 篇 公共管理

主题

  • 4 篇 genome-wide asso...
  • 3 篇 specifications
  • 2 篇 semantics
  • 1 篇 computer science
  • 1 篇 preventive medic...
  • 1 篇 cancer
  • 1 篇 warships
  • 1 篇 ada (programming...
  • 1 篇 biomedical engin...
  • 1 篇 medical imaging
  • 1 篇 risk factors
  • 1 篇 schizophrenia
  • 1 篇 cancer genomics
  • 1 篇 computational mo...
  • 1 篇 transcriptomics
  • 1 篇 naval warfare
  • 1 篇 cns cancer
  • 1 篇 malaria
  • 1 篇 computational bi...
  • 1 篇 medical research

机构

  • 5 篇 royal stoke univ...
  • 5 篇 department of bi...
  • 5 篇 university colle...
  • 5 篇 cambridge univer...
  • 5 篇 program analysis...
  • 4 篇 leeds institute ...
  • 4 篇 center for psych...
  • 4 篇 department of in...
  • 4 篇 institute for pa...
  • 4 篇 department of co...
  • 4 篇 department of st...
  • 4 篇 university of pi...
  • 4 篇 arnie charbonnea...
  • 4 篇 ilsbio llc bioba...
  • 4 篇 department of mo...
  • 4 篇 osaka internatio...
  • 4 篇 research departm...
  • 4 篇 department of ve...
  • 4 篇 biomedical engin...
  • 4 篇 department of ex...

作者

  • 3 篇 krishan kewal
  • 3 篇 el sayed zaki ma...
  • 3 篇 abu-gharbieh ema...
  • 3 篇 chattu vijay kum...
  • 3 篇 mohammed shafiu
  • 3 篇 alvis-guzman nel...
  • 3 篇 sankar sriram
  • 2 篇 ujjwal baid
  • 2 篇 derrick murcia
  • 2 篇 francis loayza
  • 2 篇 jason martin
  • 2 篇 bong-jo kim
  • 2 篇 madhura ingalhal...
  • 2 篇 fanny morón
  • 2 篇 anvari davood
  • 2 篇 danielle cutler
  • 2 篇 ken chang
  • 2 篇 kisa sezer
  • 2 篇 adeleye dorcas
  • 2 篇 young jin kim

语言

  • 37 篇 英文
检索条件"机构=Program Analysis and Verification Group Computer Systems Laboratory"
37 条 记 录,以下是31-40 订阅
Storage reclamation models for adat programs
Storage reclamation models for adat programs
收藏 引用
1987 Annual ACM SIGAda International Conference on Ada, SIGAda 1987
作者: Mendal, Geoffrey O. Program Analysis and Verification Group Computer Systems Laborakory Stanford University StanfordCA94305 United States
Given Ada's semantics regarding dynamically allocated objects, do programmers believe that storage reclamation is impractical? At first glance, it would appear that given these semantics, one cannot derive workabl... 详细信息
来源: 评论
Storage reclamation models for Ada programs  87
Storage reclamation models for Ada programs
收藏 引用
Proceedings of the 1987 annual ACM SIGAda international conference on Ada
作者: Geoffrey O. Mendal Program Analysis and Verification Group Computer Systems Laborakory Stanford University Stanford California
Given Ada's semantics regarding dynamically allocated objects, do programmers believe that storage reclamation is impractical? At first glance, it would appear that given these semantics, one cannot derive workabl...
来源: 评论
TSL: Task sequencing language  85
TSL: Task sequencing language
收藏 引用
1985 Annual ACM SIGAda International Conference on Ada, SIGAda 1985
作者: Helmbold, David Luckham, David Program Analysis and Verification Group Computer Systems Laboratory Stanford University StanfordCA94305 United States
TSL is a language for specifying sequences of tasking events in Ada1 programs. TSL specifications are submitted with an Ada program and are monitored at runtime for consistency with the actual tasking events as they o... 详细信息
来源: 评论
An implementation of Anna  85
An implementation of Anna
收藏 引用
1985 Annual ACM SIGAda International Conference on Ada, SIGAda 1985
作者: Sankar, Sriram Rosenblum, David Neff, Randall Program Analysis and Verification Group Computer Systems Laboratory Stanford University StanfordCA94305 United States
Anna is a language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs. It augments Ada with precise machine-processable annotations so that well established formal - m... 详细信息
来源: 评论
Towards a language for anmotating ADA programs
Towards a language for anmotating ADA programs
收藏 引用
1980 ACM-SIGPLAN Symposium on Ada programming Language, SIGPLAN 1980
作者: Krieg-Brückner, Bernd Luckham, David C. Program Verification Group Computer Systems Laboratory Stanford University StanfordCA94305 United States Institut Für Informatik Technische Universität München Postfach 202420 München 28000 Germany
Anna is a proposal to extend Ada to include facilities for formally specifying the intended behaviour of Ada programs (or portions thereof) at all stages of program development. ANNA programs are Ada programs with for... 详细信息
来源: 评论
ANNA : Towards a Language for Annotating Ada programs
收藏 引用
ACM SIGPLAN Notices 1980年 第11期15卷 128-138页
作者: Krieg-Brückner, Bernd Luckham, David C. Program Verification Group Computer Systems Laboratory Stanford University StanfordCA94305 United States Institut for Informatik Teehnisehe Universitat Munehen Postfach 202420 Munchen8000 Germany
ANNA is a proposal to extend Ada to include facilities for formally specifying the intended behaviour of Ada programs (or portions thereof) at all stages of program development. ANNA programs are Ada programs with for... 详细信息
来源: 评论
computer AIDS FOR SHIP DESIGN, INTEGRATION AND CONTROL
收藏 引用
NAVAL ENGINEERS JOURNAL 1980年 第2期92卷 73-87页
作者: CARLSON, CM JOHNSON, RA HELMING, FW Mr. Craig M. Carlson received his B.S. degree in Naval Architecture and Marine Engineering from the University of Michigan in 1970 and began his career with the Department of the Navy at the Naval Ship Engineering Center (NAVSEC). In 1972. he returned to the University of Michigan under the NAVSEC Long Term Training Program and received his M.S. degree in Naval Architecture and Marine Engineering. After returning to the Ship Arrangements Branch at NAVSEC. he was assigned as Task Leader for General Arrangements for the PGG PCG PHM. and MCM ship designs and was awarded Outstanding Performance Awards in 1974 and 1975. In addition he was Manager of the Arrangement Subsystem of the Navy's Computer-Aided Ship Design and Construction Program (CASDAC). In October 1979. he became Manager of the CASDAC Hull Design System. Currently. he also is enrolled in the M.S. of Computer Science Program at Johns Hopkins University. Mr. Carlson previously has presented technical papers at ASNE Day 1974 and 1978 as well as at the 1979 DOD Manufacturing Technology Advisory Group Conference. Besides ASNE. which he joined in 1972. he is a member of SNAME. ASE. and the U.S. Naval Institute. Mr. Robert A. Johnson is a Naval Architect in Surface Combatants Design (SEA 03D3). Ship Design Integration Directorate Naval Sea Systems Command. He received an Associate in Engineering degree in Drafting and Design Technology in 1959. his B.S. degree in Aerospace Engineering in 1965. and his M.S. degree in Engineering Mechanics in 1970. all from the Pennsylvania State University. In 1973. he was selected for the NA VSEC Hull Division s Long Term Training Program at the University of Michigan subsequently receiving his M.S.E. degree in Naval Architecture in 1974. Mr. Johnson began his career with the Ordnance Research Laboratory at Pennsylvania State University in 1959 where he worked. on the design of hydroelastic submarine models and conducted research in the area of flow induced structural vibrations. In 1967 he joined HRB-Singer at State Colle
This paper presents an integrated approach to computer-Aided Ship Design for U.S. Navy preliminary and contract design. An integrated Hull Design System (HDS), currently under development by the Hull group of the Nava...
来源: 评论