1638 search results - page 306 / 328 » Properties of input-consuming derivations |
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract. To achieve an efficient utilization of cluster systems, a proper programming and operating environment is required. In this context, mobile agents are of growing interes...
TOOLS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
ISSTA
2000
ACM
15 years 2 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
SIGIR
1999
ACM
15 years 2 months ago
1999
ACM
Human-quality text summarization systems are di cult to design, and even more di cult to evaluate, in part because documents can di er along several dimensions, such as length, wri...