EXPERIMENTS WITH A PROGRAM TIMING TOOL BASED ON SOURCE-LEVEL TIMING SCHEMA (REPRINTED FROM PROC 11TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, DECEMBER, PG 72, 1990)

被引：43

作者：

PARK, CY

SHAW, AC

机构：

来源：

COMPUTER | 1991年 / 24卷 / 05期

关键词：

D O I：

10.1109/2.76286

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：48 / 57

页数：10

相关论文

共 12 条

[11]

WIRTH N, 1986, ETH649 I INF TECH RE

[12] COMBINING STATIC CONCURRENCY ANALYSIS WITH SYMBOLIC EXECUTION [J].

YOUNG, M ;

TAYLOR, RN .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (10) :1499-1511