Development of a Systems Programming Environment for Research and Education in Computer Science Department
计算机科学系研究和教育系统编程环境的开发
基本信息
- 批准号:09358004
- 负责人:
- 金额:$ 18.37万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (A).
- 财政年份:1997
- 资助国家:日本
- 起止时间:1997 至 2000
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
(1) The system software such as OS, the compiler, the window system and a network protocol stack was checked for publication to the web server. Concretely, The API of middleware is checked and unified in system interface.(2) The distributed data control mechanism that the "ISHI" model was used for as the outline that coped with application and various data such as multimedia data was implemented on this system with the verification about the validity of the above system software interface.(3) The application that actually used em software on the system was developod, and the validity of that system software was confirmed. Actually, "the programming in mother tongue" is utilized and that is effective in some application software.(4) As an environment which the learner of systems programming can learn easily, the fundamental function of the OS and a visualization environment about the realtime system was utilized. Furthermore, the dynamic visualization environment of the system structure was developed to support the understanding of the OS.(5) Web page was established, and the outline of this system and a research result were published on the WWW server. And the environment that made source codes possible on the network was prepared to hold a discussion about the specifications and development progress. A bulletin board system and user editable Web page was built on the WWW server. It is possible to make it have mutual relations about the past announcement thesis, the source code and the discussion.
(1)检查系统软件(如OS、编译器、窗口系统和网络协议栈)是否发布到Web服务器。具体地说,在系统接口中对中间件的API进行了检查和统一。(2)在该系统上实现了以ISHI模型为框架的分布式数据控制机制,处理应用程序和多媒体数据等各种数据,并验证了上述系统软件接口的有效性。(3)开发了电磁仿真软件在该系统上的实际应用,验证了该系统软件的有效性。实际上,“母语编程”在一些应用软件中得到了有效的应用。(4)作为一个环境,学习者的系统编程可以很容易地学习,利用操作系统的基本功能和实时系统的可视化环境。此外,系统结构的动态可视化环境的开发,以支持对操作系统的理解。(5)建立了Web页面,并在WWW服务器上发布了本系统的概要和研究成果。并准备了使网络上的源代码成为可能的环境,以举行关于规格和开发进度的讨论。在WWW服务器上建立了一个公告板系统和用户可编辑的Web页面。可以使它与过去的公告论文、源代码和讨论有相互的联系。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
佐藤元信,高野了成,早川栄一,高橋延匡: "動的モジュール追加機構におけるモジュール状態の可視化"情報処理学会第61回全国大会. 4D-02. (2000)
Motonobu Sato、Ryosei Takano、Eiichi Hayakawa、Nobumasa Takahashi:“动态模块添加机制中模块状态的可视化”日本信息处理学会第 61 届全国会议(2000 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
横山,早川,高橋他: "リアルタイムシステムの学習支援環境の設計"情報処理学会第60回全国大会. 1. 5ZA-2 (2000)
Yokoyama、Hayakawa、Takahashi 等:“实时系统的学习支持环境的设计”日本信息处理学会第 60 届全国会议 1. 5ZA-2 (2000)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
横山太一郎,早川栄一,高橋延匡: "リアルタイムシステムの学習支援環境の実現"情報処理学会第61回全国大会. IL-05. (2000)
Taichiro Yokoyama、Eiichi Hayakawa、Nobumasa Takahashi:“实时系统的学习支持环境的实现”第 61 届日本信息处理学会全国会议 (2000)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
伊藤能康,他: "OSの学習を支援する可視化環境の設計と実現" 情報処理学会コンピュータシステムシンポジウム報告集. 10. 89-94 (1997)
Yoshiyasu Ito 等人:“支持操作系统学习的可视化环境的设计和实现”日本信息处理学会计算机系统研讨会报告 10. 89-94 (1997)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
森永智之, 他: "信頼性と性能とのトレードオフの決定を容易にする単一2次元アドレス空間のための保護機構の設計と実現" 電子情報通信学会論文誌. 10. 791-799 (1998)
Tomoyuki Morinaga 等人:“设计和实现单个二维地址空间的保护机制,有助于确定可靠性和性能之间的权衡。” 电子、信息和通信工程师学会汇刊 10。 791-799(1998)
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
TAKAHASHI Nobumasa其他文献
TAKAHASHI Nobumasa的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('TAKAHASHI Nobumasa', 18)}}的其他基金
Teaching Material Development and Spread of "Light Streak" as Painting Tool of Light
光的绘画工具“光条纹”教材的开发与传播
- 批准号:
24531224 - 财政年份:2012
- 资助金额:
$ 18.37万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of improving method for respiratory function in newborn diaphragma hernia
新生儿膈疝呼吸功能改善方法的研制
- 批准号:
14571255 - 财政年份:2002
- 资助金额:
$ 18.37万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Research on the Design and the Evaluation of Curricula for Computer Science Departments in Universities
高校计算机系课程设计与评价研究
- 批准号:
06302073 - 财政年份:1994
- 资助金额:
$ 18.37万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Implementation of Computing Curricula for B.A. Degree
学士学位计算机课程的实施
- 批准号:
04044188 - 财政年份:1992
- 资助金额:
$ 18.37万 - 项目类别:
Grant-in-Aid for Overseas Scientific Survey.
相似海外基金
Theory and Application for Robust and High-Performance Systems Programming Languages
鲁棒高性能系统编程语言的理论与应用
- 批准号:
22KJ0561 - 财政年份:2023
- 资助金额:
$ 18.37万 - 项目类别:
Grant-in-Aid for JSPS Fellows
NSF Student Travel Grant for the 2022 to 2024 ACM SIGPLAN Conferences on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
NSF 学生旅费补助金用于 2022 年至 2024 年 ACM SIGPLAN 系统、编程、语言和应用程序会议:人类软件 (SPLASH)
- 批准号:
2230863 - 财政年份:2022
- 资助金额:
$ 18.37万 - 项目类别:
Standard Grant
Designing new low-level systems programming languages suitable for verification - pKVM
设计适合验证的新低级系统编程语言 - pKVM
- 批准号:
2744391 - 财政年份:2020
- 资助金额:
$ 18.37万 - 项目类别:
Studentship
NSF Student Travel Grant for 2019 ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
NSF 学生旅费补助金用于 2019 年 ACM SIGPLAN 系统、编程、语言和应用程序会议:人类软件 (SPLASH)
- 批准号:
1940760 - 财政年份:2019
- 资助金额:
$ 18.37万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2018 ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
NSF 学生旅费补助金用于 2018 年 ACM SIGPLAN 系统、编程、语言和应用会议:人类软件 (SPLASH)
- 批准号:
1838986 - 财政年份:2018
- 资助金额:
$ 18.37万 - 项目类别:
Standard Grant
ATS for Systems Programming with Theorem Proving
用于带有定理证明的系统编程的 ATS
- 批准号:
1018601 - 财政年份:2010
- 资助金额:
$ 18.37万 - 项目类别:
Standard Grant
Embedded Systems Programming Instruction using a Virtual Testbed
使用虚拟测试台的嵌入式系统编程指导
- 批准号:
0127505 - 财政年份:2002
- 资助金额:
$ 18.37万 - 项目类别:
Standard Grant
Object Systems: Programming Languages and Software Security
对象系统:编程语言和软件安全
- 批准号:
9629754 - 财政年份:1996
- 资助金额:
$ 18.37万 - 项目类别:
Standard Grant