掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
WoTUG Technical Meeting
WoTUG Technical Meeting
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Distributed Shared Memory In Global Area Networks
机译:
在全球区域网络中分布式共享内存
作者:
H. H. HAPPE
;
B. VINTER
会议名称:
《WoTUG Technical Meeting》
|
2003年
2.
Formal Contracts; Enabling Component Composition
机译:
正式合同;启用组件组成
作者:
Marcel BOOSTEN
会议名称:
《WoTUG Technical Meeting》
|
2003年
3.
Occam for reliable embedded systems: lightweight runtimes and model checking
机译:
可靠嵌入式系统的偶尔:轻量级运行时和模型检查
作者:
Denis NICOLE
;
Sam ELLIS
;
Simon HANCOCK
会议名称:
《WoTUG Technical Meeting》
|
2003年
4.
Real-time and Fault Tolerance in Distributed Control Software
机译:
分布式控制软件中的实时和容错
作者:
Bojan ORLIC
;
Jan F. BROENINK
会议名称:
《WoTUG Technical Meeting》
|
2003年
5.
RMoX: A Raw-Metal Occam Experiment
机译:
RMOX:原料偶尔实验
作者:
Fred BARNES
;
Christian JACOBSEN
;
Brian VINTER
会议名称:
《WoTUG Technical Meeting》
|
2003年
6.
The Trebuchet
机译:
trebuchet
作者:
John CAMPBELL
;
G. S. STILES
会议名称:
《WoTUG Technical Meeting》
|
2003年
7.
Accurate Calculation of Deme Sizes for a Parallel Genetic Scheduling Algorithm
机译:
平行遗传调度算法准确计算DEME尺寸
作者:
Michelle Moore
会议名称:
《WoTUG Technical Meeting》
|
2003年
8.
Scheduling for ILP in the 'Processor-as-a-Network'
机译:
在“处理器 - AS-A-Network”中的ILP调度
作者:
D. K. Arvind
;
S. Sotelo-Salazar
会议名称:
《WoTUG Technical Meeting》
|
2003年
9.
Tutorial: Prioritised Service Architecture using Honeysuckle
机译:
教程:使用Honeysuckle的优先服务架构
作者:
Ian R. EAST
会议名称:
《WoTUG Technical Meeting》
|
2003年
10.
A CSP-based Processing Architecture for a Flexible MIMO-OFDM Testbed
机译:
基于CSP的处理架构,用于灵活的MIMO-OFDM测试
作者:
H. S. CRONIE
;
F. W. HOEKSEMA
;
C. H. SLUMP
会议名称:
《WoTUG Technical Meeting》
|
2003年
11.
Agents for Concurrent Programming
机译:
同时编程的代理商
作者:
Enrique GONZALEZ
;
Cesar BUSTACARA
;
Jamir AVILA
会议名称:
《WoTUG Technical Meeting》
|
2003年
12.
Parallel Processing - the picoChip way!
机译:
并行处理 - Picochip的方式!
作者:
Andrew DULLER
;
Gajinder PANESAR
;
Daniel TOWNER
会议名称:
《WoTUG Technical Meeting》
|
2003年
13.
Sampling and Timing: A Task for the Environmental Process
机译:
抽样和时间:环境过程的任务
作者:
Gerald H. HILDERINK
;
Jan F. BROENINK
会议名称:
《WoTUG Technical Meeting》
|
2003年
14.
Sampling Timing: A Task for the Environmental Process
机译:
采样时间:环境过程的任务
作者:
Gerald H. HILDERINK
;
Jan F. BROENINK
会议名称:
《WoTUG Technical Meeting》
|
2003年
15.
The Denotational Semantics of View-Centric Reasoning
机译:
以观测的视网形推理的表示语义
作者:
Marc L. SMITH
;
Charles E. HUGHES
;
Kyle W. BURKE
会议名称:
《WoTUG Technical Meeting》
|
2003年
16.
A multimodal robotic control law modelled and implemented with the CSP/CT framework
机译:
用CSP / CT框架建模和实施的多模式机器人控制法
作者:
Gerald H. HILDERINK
;
Dusko S. JOVANOVIC
;
Jan F. BROENINK
会议名称:
《WoTUG Technical Meeting》
|
2003年
17.
A Development Method Boosted by Synchronous Active Objects
机译:
由同步活动对象提升的开发方法
作者:
Claude PETITPIERRE
会议名称:
《WoTUG Technical Meeting》
|
2003年
18.
occwserv: An occam Web-Server
机译:
occwserv:occam web-server
作者:
Fred BARNES
会议名称:
《WoTUG Technical Meeting》
|
2003年
19.
An Introduction to the Kent C++CSP Library
机译:
肯特C ++ CSP库的介绍
作者:
Neil BROWN
;
Peter WELCH
会议名称:
《WoTUG Technical Meeting》
|
2003年
20.
Flexible, Transparent and Dynamic Networking With KRoC.net
机译:
灵活,透明和动态网络与KROC.NET
作者:
Mario SCHWEIGLER
;
Peter WELCH
;
Fred BARNES
会议名称:
《WoTUG Technical Meeting》
|
2003年
21.
A Single Chip Solution for Distributed Processing Systems
机译:
用于分布式处理系统的单芯片解决方案
作者:
B. C. ONEILL
;
P. W. MOORE
;
S. CLARK
会议名称:
《WoTUG Technical Meeting》
|
2003年
22.
Overtures and hesitant offers: hiding in CSPP
机译:
提出和犹豫不决的优惠:隐藏在CSPP中
作者:
A. E. LAWRENCE
会议名称:
《WoTUG Technical Meeting》
|
2003年
关键词:
CSP;
CSPP;
Denotational semantics;
Formal methods;
Concurrency;
Parallel systems;
Occam;
Hardware compilation;
Priority;
Hiding;
23.
A Comparison of High Performance Parallel Computing Java Packages
机译:
高性能并行计算Java包的比较
作者:
Nan C. SCHALLER
;
Sidney W. MARSHALL
会议名称:
《WoTUG Technical Meeting》
|
2003年
24.
Flexible, Transparent and Dynamic Occam Networking With KRoC.net
机译:
灵活,透明和动态的偶数网络与Kroc.NET
作者:
Mario SCHWEIGLER
;
Fred BARNES
;
Peter WELCH
会议名称:
《WoTUG Technical Meeting》
|
2003年
25.
Automatic Conversion of CSP to CTJ, JCSP, and CCSP
机译:
CSP将CSP自动转换为CTJ,JCSP和CCSP
作者:
V. RAJU
;
G. S. STILES
;
L. RONG
会议名称:
《WoTUG Technical Meeting》
|
2003年
26.
The Grid Block Device
机译:
网格块设备
作者:
Bardur ARANTSSON
;
Brian VINTER
会议名称:
《WoTUG Technical Meeting》
|
2003年
27.
Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA
机译:
使用FPGA的Matlab和Simulink的自动Handel-C生成和模拟运动控制
作者:
Bart REM
;
Ajeesh GOPALAKRISHNAN
;
Tom J. H. GEELEN
;
Herman ROEBBERS
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
FPGA;
Embedded systems;
Motion control;
Hardware Software Co-Design;
MATLAB;
Hardware-in-the-Loop;
Software-in-the-Loop;
Co-Simulation;
Electronic Design Automation (EDA);
Automatic Document Feeder (ADF);
28.
Jcsp. mobile: A Package Enabling Mobile Processes and Channels
机译:
JCSP。移动:一种支持移动流程和频道的包
作者:
Kevin CHALMERS
;
Jon KERRIDGE
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
JCSP;
JCSPNET;
mobile processes and channels;
dynamic class loading;
migratable processes and channels;
location aware computing;
29.
Interfacing C and occam-pi
机译:
接口c和occam-pi
作者:
Fred BARNES
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
C;
occam-pi;
concurrency;
processes;
networks;
30.
Automatic Handel-C Generation from MATLAB~reg; and Simulink~reg; for Motion Control with an FPGA
机译:
自动Handel-C从Matlab~®和Simulink~®使用FPGA的运动控制
作者:
Bart REM
;
Ajeesh GOPALAKRISHNAN
;
Tom J.H. GEELEN
;
Herman ROEBBERS
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
FPGA;
embedded systems;
motion control;
hardware software Co-design;
MATLAB~amp;
reg;
hardware-in-the-loop;
software-in-the-loop;
Co-simulation;
electronic design automation (EDA);
automatic document feeder (ADF);
31.
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation
机译:
基于CSP和懒惰观察的真正并发的统一理论
作者:
Marc L. SMITH
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
unifying theories of programming;
lazy observation;
true concurrency;
32.
GCSP occam Code Generation for RMoX
机译:
rmox的gcsp occam代码生成
作者:
Marcel A. GROOTHUIS
;
Geert K. LIET
;
Jan F. BROENINK
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
CSP;
embedded control systems;
real-time;
occam;
33.
A Foreign-Function Interface Generator for occam-pi
机译:
用于偶尔-PI的异常函数接口发生器
作者:
Damian J. DIMMICH
;
Christian L. JACOBSEN
会议名称:
《WoTUG Technical Meeting》
|
2005年
34.
The Architecture of the Minimum intrusion Grid (MiG)
机译:
最小入侵网格(MIG)的架构
作者:
Brian VINTER
会议名称:
《WoTUG Technical Meeting》
|
2005年
35.
Interactive Computing with the Minimum intrusion Grid (MiG)
机译:
与最小入侵网格(MIG)的交互式计算
作者:
John Markus BJORNDALEN
;
Otto J ANSHUS
;
Brian VINTER
会议名称:
《WoTUG Technical Meeting》
|
2005年
36.
R16: A New Transputer Design for FPGAs
机译:
R16:用于FPGA的新型电流设计
作者:
John JAKSON
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
transputer;
FPGA;
multi threaded architecture;
occam;
RLDRAM;
37.
Groovy Parallel! A Return to the Spirit of occam?
机译:
沟槽平行!回归冬季精神?
作者:
Jon KERRIDGE
;
Ken BARCLAY
;
John SAVAGE
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
groovy;
JCSP;
parallel and concurrent systems;
teaching and learning;
38.
Lazy Cellular Automata with Communicating Processes
机译:
具有通信过程的懒人蜂窝自动机
作者:
Adam SAMPSON
;
Peter WELCH
;
Fred BARNES
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
CSP;
occam-pi;
JCSP;
parallel;
CA;
life;
lazy;
just-in-time;
simulation;
39.
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
机译:
用于机器人团队的分布式多线程控制框架内的快速数据共享
作者:
Albert SCHOUTE
;
Remco SEESINK
;
Werner DIERSSEN
;
Niek KOOIJ
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
robot soccer;
control software;
distributed design;
data sharing;
multithreading;
sockets;
40.
Exception Handling Mechanism in Communicating Threads for Java
机译:
java通信线程的异常处理机制
作者:
Gerald H. HILDERINK
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
exception handling;
CSP;
concurrency;
real-time;
embedded software;
41.
Mobile Barriers for occam-pi: Semantics, Implementation and Application
机译:
OCCAM-PI的移动障碍:语义,实现和应用
作者:
Peter WELCH
;
Fred BARNES
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
barriers;
events;
processes;
mobility;
occam-pi;
CSP;
pi-calculus;
42.
Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach
机译:
评估DRADed网络环境中的应用程序性能:基于FPGA的方法
作者:
Mihai IVANOVICI
;
Razvan BEURAN
;
Neil DAVIES
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
application performance assessment;
network emulation;
FPGA;
hardware implementation;
handel-C;
43.
CSP++: How Faithful to CSPm?
机译:
CSP ++:如何忠诚CSPM?
作者:
W.B.GARDNER
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
CSPm;
C++;
selective formalism;
44.
JCSP-Poison: Safe Termination of CSP Process Networks
机译:
JCSP-DOUND:安全终止CSP流程网络
作者:
Bernhard H.C. SPUTH
;
Alastair R. ALLEN
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
JCSP;
SDR;
partial process network termination;
poisoning;
poionable-channel;
poison-filtering-channel;
termination domains;
45.
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog
机译:
基于频道的异步电路使用Verilog的高级建模
作者:
Arash SAIFHASHEMI
;
Peter A. BEEREL
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
CSP;
verilog;
asynchronous circuits;
nonlinear pipelines;
46.
Improving TCP/IP Multicasting with Message Segmentation
机译:
用消息分割改进TCP / IP多播
作者:
Hans Henrik HAPPE
;
Brian VINTER
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
multicasting;
NoW;
HPC;
47.
Interfacing with Honeysuckle by Formal Contract
机译:
用正式合同与金银花相互作用
作者:
Ian EAST
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
client-server protocol;
compositionality;
interfacing;
component-based software development;
deadlock-freedom;
programming language;
48.
Architecture Design Space Exploration for Streaming Applications through Timing Analysis
机译:
通过定时分析流媒体应用的建筑设计空间探索
作者:
Maarten H. WIGGERS
;
Nikolay KAVALDJIEV
;
Gerard J. M. SMIT
;
Pierre G. JANSEN
会议名称:
《WoTUG Technical Meeting》
|
2005年
49.
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software
机译:
关于构建基于CSP的进口过程的并发软件的异常处理机制问题
作者:
Dusko S. JOVANOVIC
;
Bojan E. ORLIC
;
Jan F. BROENINK
会议名称:
《WoTUG Technical Meeting》
|
2005年
50.
Verification of JCSP Programs
机译:
验证JCSP程序
作者:
Vladimir KLEBANOV
;
Philipp RUEMMER
;
Steffen SCHLAGER
;
Peter H. SCHMITT
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
program verification;
concurrency;
java;
CSP;
JCSP;
51.
Towards Strong Mobility in the Shared Source CLI
机译:
在共享源CLI中迈出了强大的流动性
作者:
Johnston STEWART
;
Paddy NIXON
;
Tim WALSH
;
Ian FERGUSON
会议名称:
《WoTUG Technical Meeting》
|
2005年
关键词:
thread mobility;
virtual machine;
common language runtime;
52.
No Blocking on Yesterday's Embedded CSP Implementation (The Rubber Band of Getting it Right and Simple)
机译:
在昨天的嵌入式CSP实现上没有阻挡(使其正确而简单的橡皮筋)
作者:
Oyvind TEIG
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
case study;
embedded;
channel;
run-time system;
53.
Software Specification Refinement and Verification Method with I-Mathic Studio
机译:
i-Mathic Studio的软件规范细化与验证方法
作者:
Gerald H. HILDERINK
会议名称:
《WoTUG Technical Meeting》
|
2006年
54.
SpaceWire - DS-Links Reborn
机译:
Spacewire - DS-Links Reborn
作者:
Barry COOK
;
Paul WALKER
会议名称:
《WoTUG Technical Meeting》
|
2006年
55.
Performance Evaluation of JCSP Micro Edition: JCSPme
机译:
JCSP Micro Edition的绩效评估:JCSPME
作者:
Kevin CHALMERS
;
Jon KERRIDGE
;
Imed ROMDHANI
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
JCSP;
Java 2 micro edition;
mobile devices;
real-time systems;
56.
Compositions of Concurrent Processes
机译:
并发过程的组成
作者:
Mark BURGIN
;
Marc L. SMITH
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
event;
trace;
composition;
process;
true concurrency;
I/O-PAR;
57.
An Introduction to CSP.NET
机译:
CSP.NET简介
作者:
Alex A. LEHMBERG
;
Martin N. OLSEN
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
CSP library;
microsoft.NET;
CSP.NET;
58.
A Cell Transterpreter
机译:
一个细胞ransterpreter
作者:
Damian J. DIMMICH
;
Christian L. JACOBSEN
;
Matthew C. JADUD
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
CELL processor;
transterpreter;
portable run-time environments;
59.
Compiling CSP
机译:
编译CSP.
作者:
Frederick R.M. BARNES
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
CSP;
compilers;
occam-pi;
concurrency;
60.
Mobile Robot Control The Subsumption Architecture and occam-pi
机译:
移动机器人控制集中架和偶数-PI
作者:
Jonathan SIMPSON
;
Christian L. JACOBSEN
;
Matthew C. JADUD
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
mobile robots;
robot control;
subsumption architecture;
occam-pi;
61.
TCP Input Threading in High Performance Distributed Systems
机译:
高性能分布式系统中的TCP输入线程
作者:
Hans H. HAPPE
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
distributed systems;
HPC;
TCP;
62.
Interacting Components
机译:
互动组件
作者:
Bojan ORLIC
;
Jan F. BROENINK
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
SystemCSP;
CSP;
components;
contracts;
contexts;
fault tolerance;
design patterns;
formal methods;
graphical modeling;
simulation;
hierarchical verification;
63.
A JCSP.net Implementation of a Massively Multiplayer Online Game
机译:
JCSP.NET实现了大量多人在线游戏
作者:
Shyam KUMAR
;
G.S. STILES
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
massively multiplayer online game;
Java;
JCSP.net;
concurrency;
64.
pony - The occam-π Network Environment
机译:
小马 - 偶数π网络环境
作者:
Mario SCHWEIGLER
;
Adam T. SAMPSON
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
Pony;
Occam-pi;
KRoC;
CSP;
Concurrency;
Networking;
Unified model;
Inter-processor;
Intra-processor;
Benchmarks;
65.
Portable CSP Based Design for Embedded Multi-Core Systems
机译:
基于便携式CSP的嵌入式多核系统设计
作者:
Bernhard H.C. SPUTH
;
Oliver FAUST
;
Alastair R. ALLEN
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
embedded systems;
system on chip;
architecture fusion;
multithreaded;
multi-core;
66.
pony -The occam-π Network Environment
机译:
小马 - 偶尔-Π网络环境
作者:
Mario SCHWEIGLER
;
Adam T. SAMPSON
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
pony;
occam-pi;
KRoC;
CSP;
concurrency;
networking;
unified model;
67.
Rain: A New Concurrent Process-Oriented Programming Language
机译:
雨:以新的并行进程为导向的编程语言
作者:
Neil BROWN
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
process-oriented programming;
concurrency;
language design;
rain;
68.
Classification of Programming Errors in Parallel Message Passing Systems
机译:
并行消息传递系统中编程错误的分类
作者:
Jan B. PEDERSEN
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
parallel programming errors;
debugging;
multilevel debugging;
parallel programming;
69.
CSP for .NET Based on JCSP
机译:
基于JCSP的CSP for .NET
作者:
Kevin CHALMERS
;
Sarah CLAYTON
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
CSP;
.NET framework;
JCSP;
performance evaluation;
70.
Native Code Generation Using the Transterpreter
机译:
使用transterpreter的本机代码
作者:
Christian L. JACOBSEN
;
Damian J. DIMMICH
;
Matthew C. JADUD
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
transterpreter;
native code;
GCC;
occam-π;
71.
Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View
机译:
通过移动设备无处不在地访问站点特定服务:过程视图
作者:
Jon KERRIDGE
;
Kevin CHALMERS
会议名称:
《WoTUG Technical Meeting》
|
2006年
72.
Video Processing in occam-pi
机译:
occam-pi中的视频处理
作者:
Carl G. RITSON
;
Adam T. SAMPSON
;
Frederick R.M. BARNES
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
occam-pi;
concurrency;
process networks;
video;
video processing;
73.
Rain VM: Portable Concurrency through Managing Code
机译:
Rain VM:通过管理代码的便携式并发
作者:
Neil BROWN
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
process-oriented programming;
concurrency;
virtual machine;
VM;
rain;
74.
SystemCSP - Visual Notation
机译:
SystemCSP - 视觉符号
作者:
Bojan ORLIC
;
Jan F. BROENINK
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
CSP;
formal methods;
graphical modeling;
75.
A Circus Development and Verification of an Internet Packet Filter
机译:
广场开发和验证互联网数据包过滤器
作者:
Alistair A. McEWAN
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
circus;
development;
verification;
reconfigurable hardware;
handel-C;
76.
A Study of Percolation Phenomena in Process Networks
机译:
过程网络中渗滤现象研究
作者:
Oliver FAUST
;
Bernhard H. C. SPUTH
;
Alastair R. ALLEN
会议名称:
《WoTUG Technical Meeting》
|
2006年
关键词:
percolation;
breadth-first search;
JCSP;
probabilistic process networks;
channel poisoning;
77.
Fine-grain Concurrency
机译:
细粒度并发
作者:
Tony HOARE
会议名称:
《WoTUG Technical Meeting》
|
2007年
78.
Hardware/Software Synthesis and Verification Using Esterel
机译:
硬件/软件合成和使用Esterel的验证
作者:
Satnam SINGH
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
hardware/software co-design;
synthesis;
verification;
synchronous languages;
79.
Integrating and Extending JCSP
机译:
集成和扩展JCSP
作者:
Peter WELCH
;
Neil BROWN
;
James MOORES
;
Kevin CHALMERS
;
Bernhard SPUTH
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
JCSP;
alting barriers;
output guards;
extended rendezvous;
poison;
80.
Lazy Exploration and Checking of CSP Models with CSPsim
机译:
用CSPSIM延迟探索和检查CSP模型
作者:
Phillip J. BROOKE
;
Richard F. PAIGE
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
CSP;
simulation;
lazy;
81.
Communicating Process Architecture for Multicores
机译:
传播多设备的过程架构
作者:
David MAY
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
multicores;
concurrency;
on-chip interconnect;
message routing;
process scheduling;
programmed input-output;
82.
A Process Oriented Approach to USB Driver Development
机译:
以USB驱动程序开发为导向的方法
作者:
Carl G. RITSON
;
Frederick R.M. BARNES
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
occam-pi;
operating-systems;
RMoX;
concurrency;
CSP;
USB;
embedded-systems;
PC 104;
83.
PyCSP - Communicating Sequential Processes for Python
机译:
Pycsp - 传送Python的顺序过程
作者:
John Markus BJORNDALEN
;
Brian VINTER
;
Otto ANSHUS
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
CSP;
python;
eScience;
computational science;
teaching;
parallel;
concurrency;
clusters;
84.
Modeling and Analysis of the AMBA Bus Using CSP and B
机译:
CSP和B的AMBA总线建模与分析
作者:
Alistair A. McEWAN
;
Steve SCHNEIDER
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
CSP‖B;
AMBA;
formal modeling;
ProB;
co-design;
85.
A Native Transterpreter for the LEGO Mindstorms RCX
机译:
用于乐高思维ortorms rcx的本机Transterpreter
作者:
Jonathan SIMPSON
;
Christian L. JACOBSEN
;
Matthew C. JADUD
会议名称:
《WoTUG Technical Meeting》
|
2007年
86.
Design Principles of the SystemCSP Software Framework
机译:
SystemSP软件框架的设计原理
作者:
Bojan ORLIC
;
Jan F. BROENINK
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
concurrency;
CSP;
systemCSP;
code generation;
87.
A Versatile Hardware-Software Platform for In-Situ Monitoring Systems
机译:
用于原位监控系统的多功能硬件软件平台
作者:
Bernhard H. C. SPUTH
;
Oliver FAUST
;
Alastair R. ALLEN
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
embedded systems;
system on chip;
network on chip;
hardware software co-design;
multi-core;
water monitoring;
in-situ sensors;
libCSP2;
88.
The Core Language of Aldwych
机译:
aldwych的核心语言
作者:
Matthew HUNTBACH
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
concurrency;
logic programming;
linear variables;
single-assignment variables;
89.
Advanced System Simulation, Emulation and Test (ASSET)
机译:
先进的系统仿真,仿真和测试(资产)
作者:
Gregory L. WICKSTROM
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
system simulation;
system test;
real-time;
90.
Towards the Formal Verification of a Java Processor in Event-B
机译:
在Event-B中正式验证Java处理器
作者:
Neil GRANT
;
Neil EVANS
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
java processor;
microcoded architecture;
event-B;
refinement;
91.
High Cohesion and Low Coupling: the Office Mapping Factor
机译:
高凝聚力和低耦合:办公室映射因子
作者:
Oyvind TEIG
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
case study;
embedded;
channel;
office mapping factor;
cohesion;
coupling;
black-box encapsulation;
92.
Concurrency Control and Recovery Management for Open e-Business Transactions
机译:
开放电子商务交易的并发控制和恢复管理
作者:
Amir R. RAZAVI
;
Sotiris K. MOSCHOYIANNIS
;
Paul J. KRAUSE
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
concurrency control;
recovery management;
lock mechanism;
compensation;
long-term transactions;
service-oriented architecture;
consistency;
recoverability;
partial results;
data dependency;
conditional-commit;
local coordination;
business transactions;
93.
Components with Symbolic Transition Systems: a Java Implementation of Rendezvous
机译:
具有符号过渡系统的组件:Java实施的结合
作者:
Fabricio FERNANDES
;
Robin PASSAMA
;
Jean-Claude ROYER
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
component-based software engineering;
behavioural interfaces;
explicit protocols;
symbolic transition systems;
rendezvous;
synchronization barriers;
94.
Mobility in JCSP: New Mobile Channel and Mobile Process Models
机译:
JCSP中的移动性:新的移动通道和移动流程模型
作者:
Kevin CHALMERS
;
Jon KERRIDGE
;
Imed ROMDHANI
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
JCSP network edition;
mobile processes;
mobile channels;
95.
C++CSP2: A Many-to-Many Threading Model for Multicore Architectures
机译:
C ++ CSP2:多核架构的多对多线程模型
作者:
Neil BROWN
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
C++CSP;
C++;
threading;
atomic instructions;
multicore;
96.
Domain Specific Transformations for Hardware Ray Tracing
机译:
硬件射线跟踪的域特定转换
作者:
Tim TODMAN
;
Wayne LUK
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
ray tracing;
reconfigurable hardware;
transformations;
97.
A Process-Oriented Architecture for Complex System Modelling
机译:
用于复杂系统建模的过程导向架构
作者:
Carl G. RITSON
;
Peter H. WELCH
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
occam-pi;
concurrency;
CSP;
complex systems;
98.
A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions
机译:
用于微微卫星任务的可重构系统的片上架构
作者:
Tanya VLADIMIROVA
;
Xiaofeng WU
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
system-on-a-chip architecture;
pico-satellite;
partial run-time reconfiguration;
99.
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java
机译:
JCSprob:在并发Java中实现集成的正式规范
作者:
Letu YANG
;
Michael R. POPPLETON
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
ProB;
JCSP;
integrated formal methods;
code generator;
100.
Testing and Sampling Parallel Systems
机译:
测试和采样并行系统
作者:
Jon KERRIDGE
会议名称:
《WoTUG Technical Meeting》
|
2007年
关键词:
JUnit testing;
sampling;
GroovyTestCase;
white-box;
black-box;
意见反馈
回到顶部
回到首页