首页>外文会议>Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on

Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on

召开年：1997
召开地：Boston, MA
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Concurrency in object oriented language Actel

机译：面向对象语言Actel的并发
- 作者：Abdelouahab Z.;Hammoudi S.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
2.Design and implementation of a content-based image retrieval tool

机译：基于内容的图像检索工具的设计与实现
- 作者：Iannizzotto G.;Puliafito A.;Vita L.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
3.Non-stop monitoring and debugging on shared-memory multiprocessors

机译：共享内存多处理器的不间断监视和调试
- 作者：Stewart D.A.;Gentleman W.M.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
4.A performance prototyping approach to designing concurrent software architectures

机译：设计并发软件体系结构的性能原型方法
- 作者：Lei Hu;Gorton;I.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
5.OPENPRESS-open distributed assessment platform for still image compression schemes

机译：OPENPRESS-用于静态图像压缩方案的开放式分布式评估平台
- 作者：Pagny;P.;Hohenadel;M.C.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
6.Reusing software architectures: a formal basis

机译：重用软件架构：正式基础
- 作者：Ciaccia P.;Ciancarini P.;Penzo W.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
7.Scenario-based hypersequential programming: concept and example

机译：基于场景的超顺序编程：概念和示例
- 作者：Uchihira N.;Kawata H.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
8.Seuss: what the doctor ordered

机译：苏斯：医生命令了什么
- 作者：Alvisi L.;Joshi R.;Lin C.;Misra J.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
9.An efficient algorithm for finding all maximal conflict sets in concurrent programs

机译：查找并发程序中所有最大冲突集的有效算法
- 作者：Hiraishi;K.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
10.Automatic template generation for solving n/sup 2/-problems on parallel systems with arbitrary topology

机译：自动模板生成，用于在具有任意拓扑的并行系统上解决n / sup 2 /问题
- 作者：Lippert;T.;Palazzari;P.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
11.Scheduling of parallel processing systems based on algorithmic skeletons

机译：基于算法框架的并行处理系统调度
- 作者：Kalthoff;B.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
12.An automated algorithmic recognition technique to support parallel software development

机译：支持并行软件开发的自动算法识别技术
- 作者：Di Martino;B.;Iannello;G.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
13.Formalizing a design technique for distributed programs

机译：正式制定分布式程序的设计技术
- 作者：Polman M.;van Steen M.;de Bruin A.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
14.A graphical programming environment for message passing programs

机译：用于消息传递程序的图形化编程环境
- 作者：Kacsuk P.;Dozsa G.;Fadgyas T.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
15.Prototype-oriented development of high-performance systems

机译：面向原型的高性能系统开发
- 作者：Justo G.R.R.;Vekariya P.;Delaitre T.;Zemerly J.;Winter S.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
16.Specifying parallel and distributed systems in Object-Z: the lift case study

机译：在Object-Z中指定并行和分布式系统：提升案例研究
- 作者：Jin Song Dong;Lin Zucconi
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
17.Web computing skeleton: a case study

机译：Web计算框架：案例研究
- 作者：Serbedzija N.B.;Botha L.;Abbott A.;Bishop J.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
18.Making distributed applications manageable through instrumentation

机译：通过检测使分布式应用程序可管理
- 作者：Katchabaw M.J.;Howard S.L.;Lutfiyya H.L.;Marshall A.D.;Bauer M.A.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
19.Modeling of advanced tasking in Ada-95: a Petri net perspective

机译：Ada-95中高级任务建模：Petri网观点
- 作者：Gedela R.K.;Shatz S.M.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
20.A methodology for verification and analysis of parallel and distributed systems requirements specifications

机译：验证和分析并行和分布式系统需求规范的方法
- 作者：Lateef;K.;Ammar;H.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
21.Testing parallel and distributed programs with temporal logic specifications

机译：使用时间逻辑规范测试并行和分布式程序
- 作者：Frey;M.;Oberhuber;M.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
22.Designing reusable software components following the CSP distributed programming model

机译：按照CSP分布式编程模型设计可重用的软件组件
- 作者：Mantas;J.M.;Palma;A.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
23.Hierarchical optimization of parallel applications

机译：并行应用程序的分层优化
- 作者：Mitschele-Thiel A.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
24.Integrating library modules into special purpose parallel algorithms

机译：将库模块集成到专用并行算法中
- 作者：Rauber;T.;Runger;G.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
25.A hierarchic architecture model for dynamic reconfiguration

机译：用于动态重新配置的分层体系结构模型
- 作者：Wermelinger M.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
26.Parallel implementations of combinations of broadcast, reduction and scan

机译：广播，缩减和扫描的组合的并行实现
- 作者：Wedler;C.;Lengauer;C.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
27.Reachability testing of asynchronous message-passing programs

机译：异步消息传递程序的可达性测试
- 作者：Kuo-Chung Tai
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
28.The Tuple Channel coordination model

机译：元组通道协调模型
- 作者：Diaz M.;Rubio B.;Troya J.M.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
29.Tolerant (parallel) programming with F-nets and Software Cabling

机译：带有F-net和软件电缆的公差（并行）编程
- 作者：DiNucci D.C.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年
30.A Petri net semantics for B(PN)/sup 2/ with procedures

机译：带过程的B（PN）/ sup 2 /的Petri网语义
- 作者：Fleischhack;H.;Grahlmann;B.
- 会议名称：《Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on》 | 1997年