|
|||||
|
|
Realizing EQL programs for bounded-time excution |
|
| Authors: | Aloysius K Mok Rwo-Hsi Wang Prof Chih-Kan Wang Prof Luqi |
| Affiliation: | (1) Department of Computer Sciences, University of Texas at Austin, 78712-1188 Austin, TX;(2) Intel Corporation, 5200 NE Elam Young Pky, HF3-64 Hillsboro, OR, 97124 |
| Abstract: | |
| Keywords: | Computer-aided software engineering rule-based programs real-time systems program generation timing analysis |
| 本文献已被 SpringerLink 等数据库收录！ | |