应用程序、专用程序、实用程序

Y2000-62227-345 0015205应用(1)=Applications I[会,英]//Proceedings of the1999 International Workshops on Parallel Processing.—345～357(PC)本部分收有2篇论文。题名为:WASM11(一种虚拟硬件系统)用的编译程序实现与评价和利用运行时可重构硬件解布尔可满足性用的结构。Y2000-62227-461 0015206基于目标的系统=Object-based systems[会,英]//Pro-ceedings of the 1999 International Workshops on ParallelProcessing.—461～479(PC)本部分收有3篇论文。题名为:电子商务对象用的基于 CORBA 的完善合同支援系统,采用 CORBA 的开放实时系统设计,以及采用以成分为基础的工具的执行控制模拟器制造。