Concurrent Computing in an Upper-Level Computer Science Curriculum
高级计算机科学课程中的并发计算
基本信息
- 批准号:9952509
- 负责人:
- 金额:$ 29.99万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2000
- 资助国家:美国
- 起止时间:2000-06-01 至 2003-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
omputer Science (31)The primary goal of this project is to design a set of comprehensive and flexible course materials that cover multithreaded, multiprocess, shared memory and distributed memory parallel, and distributed programming under a few common principles (e.g., concurrency and nondeterminism). These materials can be used across several courses or with a single dedicated course. A secondary goal is to develop software tools that abstract low-level details and accomplish all important concurrent operations under a single and unified interface. Furthermore, these tools include a visualization component to help students visualize the behavior of concurrent programs and the inner working of synchronization protocols, communication mechanisms, clock synchronization, and many other algorithms. With unified course materials, pedagogical tools, and a visualization system, it is expected that students can become familiar with the state-of-the-art of concurrency, acquire basic knowledge and skills, know how to handle concurrency under different environments, and be well-prepared to approach concurrent applications and their software development in their future careers. The work builds on a previously funded NSF project on teaching multi-threaded programming. An evaluation advisory committee is assisting in the formative and summative evaluations of this project to determine the impact of the materials on student understanding of the content and their productivity using the tools. The materials are being tested and evaluated at three additional sites to assess their effectiveness for diverse student populations. Dissemination is being accomplished by the development of faculty workshops and short courses at national and regional conferences. The materials are being developed for publication by a national publisher.
本项目的主要目标是设计一套全面而灵活的课程材料,涵盖多线程,多进程,共享内存和分布式内存并行,以及在一些共同原则(例如,并发性和非确定性)下的分布式编程。这些材料可以在多个课程中使用,也可以在一个专门的课程中使用。第二个目标是开发抽象底层细节的软件工具,并在单一和统一的接口下完成所有重要的并发操作。此外,这些工具包括一个可视化组件,以帮助学生可视化并发程序的行为,以及同步协议、通信机制、时钟同步和许多其他算法的内部工作。通过统一的课程教材、教学工具和可视化系统,期望学生能够熟悉并发的最新技术,掌握基本的知识和技能,了解如何在不同的环境下处理并发,并为在未来的职业生涯中接触并发应用及其软件开发做好准备。这项工作建立在先前资助的NSF多线程编程教学项目的基础上。一个评估咨询委员会正在协助对这个项目进行形成性和总结性评估,以确定这些材料对学生对内容的理解和他们使用这些工具的生产力的影响。这些材料正在另外三个地点进行测试和评估,以评估它们对不同学生群体的有效性。传播工作是通过在国家和区域会议上举办教员讲习班和短期课程来完成的。这些材料正在编制中,准备由一家国家出版商出版。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Steven Carr其他文献
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
使用循环神经网络的反例引导策略改进 POMDP
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Steven Carr;N. Jansen;Ralf Wimmer;A. Serban;B. Becker;U. Topcu - 通讯作者:
U. Topcu
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
时态逻辑约束下可验证的基于 RNN 的 POMDP 策略
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Steven Carr;N. Jansen;U. Topcu - 通讯作者:
U. Topcu
Neurosurgery in Iraqi Kurdistan: An Example of International Neurosurgery Capacity Building
- DOI:
10.1016/j.wneu.2016.04.088 - 发表时间:
2016-08-01 - 期刊:
- 影响因子:
- 作者:
Rimal Hanif Dossani;Steven Carr;Gene Bolles;Razvan Balata;Bharat Guthikonda - 通讯作者:
Bharat Guthikonda
Unilateral endonasal transcribriform approach with septal transposition for olfactory groove meningioma: can olfaction be preserved?
单侧鼻内经筛状入路伴鼻中隔转位治疗嗅沟脑膜瘤:能否保留嗅觉?
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
Steven Carr;R. Sampath;J. Freeman;Jameson K Mattingly;V. Ramakrishnan;A. Youssef - 通讯作者:
A. Youssef
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes
用于部分可观察马尔可夫决策过程的任务感知可验证基于 RNN 的策略
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:5
- 作者:
Steven Carr;N. Jansen;U. Topcu - 通讯作者:
U. Topcu
Steven Carr的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Steven Carr', 18)}}的其他基金
EDU:Collaborative: VACCS - Visualization and Analysis for C Code Security
EDU:协作:VACCS - C 代码安全性的可视化和分析
- 批准号:
1522883 - 财政年份:2016
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
CSR: Small: Collaborative Research: Adaptive Memory Resource Management in a Data Center - A Transfer Learning Approach
CSR:小型:协作研究:数据中心的自适应内存资源管理 - 迁移学习方法
- 批准号:
1421643 - 财政年份:2014
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
CPA-CPL: Feedback-Directed Resource Management in Virtual Private Machines
CPA-CPL:虚拟专用机中反馈导向的资源管理
- 批准号:
0811427 - 财政年份:2008
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
High-Level Optimization for DSP Architectures
DSP 架构的高级优化
- 批准号:
0209036 - 财政年份:2002
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
Code Generation for ILP Architectures with Partitioned Register Banks
具有分区寄存器组的 ILP 架构的代码生成
- 批准号:
9870871 - 财政年份:1998
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
RIA: Improving Cache Performance in Scientific Applications
RIA:提高科学应用程序中的缓存性能
- 批准号:
9409341 - 财政年份:1994
- 资助金额:
$ 29.99万 - 项目类别:
Continuing Grant
相似海外基金
Computing Lagrangian means in multi-timescale fluid flows
计算多时间尺度流体流动中的拉格朗日均值
- 批准号:
EP/Y021479/1 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Research Grant
PriorCircuit:Circuit mechanisms for computing and exploiting statistical structures in sensory decision making
PriorCircuit:在感官决策中计算和利用统计结构的电路机制
- 批准号:
EP/Z000599/1 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Research Grant
The efficacy of a computing-concepts video library for students and peer tutors in multidisciplinary contexts
计算概念视频库在多学科背景下对学生和同伴导师的功效
- 批准号:
2337253 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
CRII: AF: Efficiently Computing and Updating Topological Descriptors for Data Analysis
CRII:AF:高效计算和更新数据分析的拓扑描述符
- 批准号:
2348238 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
EA: Upgrading the Geophysics Computing Facility at Arizona State University
EA:升级亚利桑那州立大学的地球物理计算设施
- 批准号:
2348594 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
REU Site: The DUB REU Program for Human-Centered Computing Research
REU 网站:DUB REU 以人为中心的计算研究计划
- 批准号:
2348926 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
- 批准号:
2343607 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
HSI Implementation and Evaluation Project: Blending Socioeconomic-Inclusive Design into Undergraduate Computing Curricula to Build a Larger Computing Workforce
HSI 实施和评估项目:将社会经济包容性设计融入本科计算机课程,以建立更大规模的计算机队伍
- 批准号:
2345334 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Continuing Grant
Collaborative Research: FET: Small: Reservoir Computing with Ion-Channel-Based Memristors
合作研究:FET:小型:基于离子通道忆阻器的储层计算
- 批准号:
2403559 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Standard Grant
CAREER: Understanding and Ensuring Secure-by-design Microarchitecture in Modern Era of Computing
职业:理解并确保现代计算时代的安全设计微架构
- 批准号:
2340777 - 财政年份:2024
- 资助金额:
$ 29.99万 - 项目类别:
Continuing Grant














{{item.name}}会员




