Last update: Thu Apr 12 03:37:15 MDT 2012
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Ko:1995:SUF,
author = "Lo Ko and David B. Whalley and Marion G. Harmon",
title = "Supporting user-friendly analysis of timing
constraints",
journal = j-SIGPLAN,
volume = "30",
number = "11",
pages = "99--107",
month = nov,
year = "1995",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:17:12 MST 2003",
bibsource = "http://portal.acm.org/; http://www.acm.org/pubs/toc/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/plan/216636/p99-ko/",
abstract = "Real-time programmers have to deal with the problem of
relating timing constraints associated with source code
lines to sequences of machine instructions. The paper
describes an interface that was developed to assist
users in this task. Portions of programs can be quickly
selected and the corresponding bounded times, source
code lines, and machine instructions are automatically
displayed. In addition, users are restricted to only
selecting portions of the program for which timing
bounds can be obtained. The result is a user-friendly
interface that assists programmers in the analysis of
timing constraints within a program.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Florida State Univ.,
Tallahassee, FL, USA",
classification = "C6115 (Programming support); C6150G (Diagnostic,
testing, debugging and evaluating systems); C6180 (User
interfaces)",
confname = "LCT-RTS '95. Proceedings of the ACM SIGPLAN 1995
workshop on Languages, compilers, \& tools for
real-time systems, June 21--22, 1995, La Jolla,
California",
keywords = "Automatic display; Bounded times; design; human
factors; Machine instruction sequences; performance;
Program portion selection; Programmer assistance;
Real-time programmers; Source code lines; theory;
Timing constraint analysis; User-friendly analysis
support",
subject = "{\bf H.1.2} Information Systems, MODELS AND
PRINCIPLES, User/Machine Systems. {\bf D.4.7} Software,
OPERATING SYSTEMS, Organization and Design, Real-time
systems and embedded systems. {\bf C.3} Computer
Systems Organization, SPECIAL-PURPOSE AND
APPLICATION-BASED SYSTEMS, Real-time and embedded
systems. {\bf D.2.2} Software, SOFTWARE ENGINEERING,
Design Tools and Techniques, User interfaces. {\bf
H.5.2} Information Systems, INFORMATION INTERFACES AND
PRESENTATION, User Interfaces.",
thesaurus = "Real-time systems; System monitoring; Timing; User
interfaces",
}
Related entries
- addition,
25(6)53,
25(6)272,
25(6)283,
25(6)296,
27(7)200,
27(9)285,
28(3)149,
28(3)343,
28(3)363,
28(6)26,
28(6)227,
28(6)290,
28(6)300,
28(7)102,
29(6)266,
29(6)349,
29(6)349-1,
29(8)13,
29(8)119,
29(11)183,
29(11)328,
30(3)71,
30(6)139,
30(6)186,
30(8)48,
30(8)102,
30(11)70,
31(8)84,
31(8)84-1
- APPLICATION-BASED,
29(8)22,
29(11)76-1,
30(11)7,
30(11)41,
30(11)50,
30(11)60,
30(11)70,
30(11)79,
30(11)108,
30(11)117,
30(11)134,
30(11)146-1,
31(5)127,
31(5)160,
34(3)118,
34(3)130
- assist,
27(7)273,
28(6)26,
28(7)33
- assistance,
25(6)223
- associated,
25(6)66,
25(6)174,
26(6)145,
28(3)299,
28(3)367,
28(6)26,
29(6)107,
29(6)278,
29(8)22,
29(11)86,
29(11)319,
30(3)111,
30(6)79-1,
30(6)301,
30(11)125
- automatic,
25(6)283,
25(6)337,
26(6)120,
26(6)317,
28(1)82,
28(3)359,
28(6)207-1,
28(8)90,
29(6)73,
29(6)135,
29(8)46,
29(10)164,
29(11)12,
29(11)263,
29(12)104,
30(3)13,
30(4)71,
30(4)71-1,
30(6)186,
30(8)58,
30(8)80-1,
30(8)134,
30(8)156,
30(11)60,
30(11)134,
31(4)11,
31(4)11-1,
31(6)190,
31(10)235,
31(10)251,
32(5)7,
32(5)57,
32(5)159,
32(5)215,
32(5)226,
32(5)249,
32(5)346-1,
32(7)136,
32(8)274,
33(10)1,
34(5)242,
34(8)72,
34(8)84,
34(8)163
- automatically,
25(4)59,
25(6)223,
25(6)283,
25(6)322,
26(12)132,
27(7)261,
28(3)367,
29(6)135,
29(8)59,
29(10)31,
30(8)48,
30(8)58,
30(8)80-1,
30(8)166,
30(11)60,
32(7)112,
32(7)112,
33(5)345,
33(7)43
- BASED, APPLICATION-,
29(8)22,
29(11)76-1,
30(11)7,
30(11)41,
30(11)50,
30(11)60,
30(11)70,
30(11)79,
30(11)108,
30(11)117,
30(11)134,
30(11)146-1,
31(5)127,
31(5)160,
34(3)118,
34(3)130
- bound,
25(6)66,
25(6)272,
25(6)272-1,
25(6)296,
27(7)175,
28(6)100,
28(6)258,
28(7)129,
28(7)208,
28(8)90,
29(11)76-1,
30(8)58,
30(8)92,
30(8)207,
30(11)1,
30(11)7,
30(11)70,
30(11)88,
32(8)176,
33(5)249
- bounded,
26(7)1,
28(6)217,
28(8)117,
34(9)70
- C.3,
29(8)22,
29(11)76-1,
30(11)7,
30(11)41,
30(11)50,
30(11)60,
30(11)70,
30(11)79,
30(11)108,
30(11)117,
30(11)134,
30(11)146-1,
31(5)127,
31(5)160,
34(3)118,
34(3)130
- C6115,
25(1)52,
29(6)196,
29(8)1,
29(8)13,
29(8)22,
29(8)46,
29(9)44,
29(9)77,
29(10)164,
29(10)212,
29(10)229,
29(10)287,
29(10)355,
29(10)403,
29(11)263,
29(12)38,
29(12)73,
29(12)78,
29(12)94,
30(3)111,
30(3)119,
30(6)103,
30(6)291,
30(8)11,
30(8)48,
30(8)68,
30(8)80-1,
30(11)50,
30(11)108,
30(11)117,
30(11)134,
30(11)146-1
- C6150G,
25(12)85,
28(6)1,
28(6)13,
28(6)26,
28(6)46,
28(6)177,
28(7)44,
28(12)169,
29(1)37,
29(4)15,
29(6)1,
29(6)171,
29(6)196,
29(6)242,
29(6)278,
29(6)290,
29(6)302,
29(6)313,
29(9)140,
29(10)403,
29(11)122,
29(11)232,
29(12)38,
29(12)73,
30(3)1,
30(3)50,
30(3)62,
30(3)94,
30(6)67,
30(6)79-1,
30(6)93,
30(6)218,
30(6)233,
30(6)258,
30(6)270,
30(6)291,
30(8)11,
30(11)20-1,
30(11)79,
30(11)88,
30(11)117
- C6180,
25(10)237,
28(7)33,
29(4)41,
29(8)1,
29(8)35,
29(12)104
- corresponding,
25(4)59,
28(6)147,
28(7)229,
29(6)49,
29(11)86,
30(6)315,
30(8)1,
30(8)48,
33(11)252
- D.2.2,
25(6)53,
25(6)127-1,
25(6)209,
25(6)223,
25(6)234,
25(6)257,
25(6)272,
27(7)82,
27(7)140,
27(7)224,
28(3)69,
28(3)133,
28(3)343,
28(6)26,
29(6)196,
29(8)1,
29(8)13,
29(8)22,
29(8)35,
29(8)46,
29(8)59,
29(8)74,
29(8)94,
29(8)101,
29(8)111,
29(8)119,
30(3)1,
30(3)13,
30(3)83,
30(6)103,
30(6)291,
30(11)124,
31(5)1,
31(5)12,
31(5)33,
31(5)44,
31(5)54,
31(5)79,
31(5)149,
31(5)206,
31(5)215,
31(5)226,
31(5)267,
31(5)278,
31(9)60,
32(5)206,
33(5)236,
33(5)301,
34(3)86
- D.4.7,
27(9)2,
29(8)94,
29(8)119,
29(11)2,
30(11)7,
30(11)41,
30(11)50,
30(11)60,
30(11)70,
30(11)79,
30(11)88,
30(11)108,
30(11)117,
30(11)134,
30(11)146-1,
31(9)84,
33(11)92,
34(3)118,
34(3)130
- deal,
25(6)174,
25(6)189,
28(6)227
- developed,
25(6)137,
28(3)1,
28(3)177,
28(3)345,
28(3)355,
28(3)357,
28(6)1,
28(6)26,
28(6)156,
28(6)237,
28(6)278,
28(7)92,
28(7)218,
28(8)90,
29(6)186,
29(8)101,
29(11)12,
29(11)196,
30(3)119,
30(6)205,
30(6)270,
30(8)166,
30(8)179,
30(11)70,
33(7)43,
33(7)59
- Diagnostic,
25(12)85,
28(6)1,
28(6)13,
28(6)26,
28(6)46,
28(6)177,
28(7)44,
28(12)169,
29(1)37,
29(4)15,
29(6)1,
29(6)171,
29(6)196,
29(6)242,
29(6)278,
29(6)290,
29(6)302,
29(6)313,
29(9)140,
29(10)65,
29(10)403,
29(11)122,
29(11)232,
29(12)38,
29(12)73,
30(3)1,
30(3)50,
30(3)62,
30(3)94,
30(6)67,
30(6)79-1,
30(6)93,
30(6)218,
30(6)233,
30(6)258,
30(6)270,
30(6)291,
30(8)11,
30(11)20-1,
30(11)79,
30(11)88,
30(11)117,
31(5)249
- display,
25(6)223,
26(12)57,
28(6)26,
28(7)33,
31(5)108
- embedded,
6(4)77,
25(4)20,
27(2)26,
27(7)22,
27(11)27,
28(3)299,
28(3)343,
28(3)357,
29(8)22,
29(9)9,
29(10)85,
29(11)76-1,
30(3)111,
30(9)3,
30(9)3,
30(11)7,
30(11)41,
30(11)50,
30(11)60,
30(11)70,
30(11)79,
30(11)88,
30(11)108,
30(11)117,
30(11)134,
30(11)146-1,
34(3)118,
34(3)130,
34(5)128,
34(5)139,
34(7)45,
34(7)55,
34(7)65,
34(7)65-1,
34(7)80,
34(7)87,
34(7)96,
34(7)104,
34(9)70
- evaluating,
25(12)85,
28(6)1,
28(6)13,
28(6)26,
28(6)46,
28(6)177,
28(7)44,
28(12)169,
29(1)37,
29(4)15,
29(6)1,
29(6)171,
29(6)196,
29(6)242,
29(6)278,
29(6)290,
29(6)302,
29(6)313,
29(9)140,
29(10)65,
29(10)403,
29(11)122,
29(11)232,
29(12)38,
29(12)73,
30(3)1,
30(3)50,
30(3)62,
30(3)94,
30(6)23,
30(6)67,
30(6)79-1,
30(6)93,
30(6)218,
30(6)233,
30(6)258,
30(6)270,
30(6)291,
30(8)11,
30(8)189,
30(11)20-1,
30(11)79,
30(11)88,
30(11)117,
34(11)2
- factor,
25(6)53,
25(6)66,
27(7)106,
28(3)53,
28(3)97,
28(6)1,
28(12)169,
29(6)73,
29(6)337,
29(6)337-1,
29(9)81,
29(11)25,
30(3)71,
30(8)80-1,
30(8)179,
30(8)207
- H.1.2,
28(3)97
- H.5.2,
33(11)193,
33(11)252
- human,
27(7)12,
27(10)146,
28(3)97,
29(9)81
- INFORMATION,
27(9)2,
28(3)53,
28(3)177,
28(3)299,
28(3)333,
29(8)84,
29(8)111,
29(8)119,
29(11)208,
30(3)111,
30(11)117,
30(11)146-1,
31(9)128,
32(5)109,
32(5)122,
32(5)183,
32(5)235,
32(5)346-1,
33(11)35,
33(11)58,
33(11)71,
33(11)159,
33(11)170,
33(11)193,
33(11)218,
33(11)252,
33(11)262,
33(11)283,
33(11)307,
34(3)68
- INTERFACES,
33(11)193,
33(11)252
- line,
27(7)22,
28(3)69,
28(7)179,
29(6)73,
29(6)121,
29(6)337,
29(6)337-1,
29(8)35,
29(9)38,
29(11)219,
29(11)252,
30(6)279,
31(6)180,
32(5)171,
33(7)19
- MODELS,
28(3)97
- obtained,
26(4)28,
27(7)128,
29(6)147,
29(11)274,
30(6)79-1,
30(6)93,
30(6)205,
30(8)134,
30(11)70,
30(11)79,
30(11)125
- only,
25(6)85-1,
25(6)234,
25(6)283,
27(7)22,
27(7)32,
27(7)82,
27(7)212,
27(7)322,
28(3)69,
28(6)147,
28(6)156,
28(6)197,
28(7)13,
28(7)44,
28(7)83,
28(7)229,
28(12)169,
29(6)1,
29(6)36,
29(6)49,
29(6)147,
29(6)196,
29(6)278,
29(6)302,
29(8)1,
29(11)12,
29(11)171,
29(11)252,
29(11)274,
29(11)308,
29(11)319,
29(11)328,
30(3)23,
30(3)62,
30(6)13,
30(6)23,
30(6)47,
30(6)93,
30(6)139,
30(6)246,
30(8)92,
30(8)112,
30(8)179,
30(11)125,
33(3)65,
33(7)59,
34(9)8,
34(9)8-1,
34(9)8-2,
34(11)1,
34(11)83
- portion,
27(7)82,
28(7)239,
28(12)169,
30(11)41,
30(11)125
- PRESENTATION,
33(11)193,
33(11)252
- PRINCIPLES,
28(3)97
- programmer,
25(6)102,
25(6)283,
27(6)10,
27(7)188-1,
27(8)14,
27(9)262,
27(9)285,
28(3)177,
28(6)1,
28(6)156,
28(6)177,
28(7)13,
28(7)33,
28(7)208,
28(7)239,
29(1)53,
29(8)1,
30(4)13,
30(6)67,
30(8)11,
30(8)29,
30(8)179,
30(8)207,
30(8)217,
30(11)20-1,
30(11)108,
31(1)6,
31(1)6-1,
31(3)5,
31(3)5-1,
31(3)6,
31(3)6-1,
31(3)8,
31(3)8-1,
33(7)59,
33(7)75,
34(1)338
- PURPOSE, SPECIAL-,
29(8)22,
29(11)76-1,
30(11)7,
30(11)41,
30(11)50,
30(11)60,
30(11)70,
30(11)79,
30(11)108,
30(11)117,
30(11)134,
30(11)146-1,
31(5)127,
31(5)160,
34(3)118,
34(3)130
- quickly,
25(6)9,
25(6)85-1,
27(7)331,
28(7)64,
29(6)61,
29(11)132-1,
30(11)88,
31(5)108
- relating,
28(3)271,
34(9)90
- restricted,
26(4)28,
28(6)68,
28(7)112,
29(6)13,
29(11)183,
30(3)1,
30(8)48
- selected,
25(6)127-1,
25(10)237,
28(2)21,
29(6)121,
30(8)80-1,
33(4)30,
33(4)30,
33(4)31
- selecting,
27(1)13,
28(7)33
- selection,
27(4)68,
29(12)66,
30(6)279,
30(8)80-1,
31(6)190,
33(7)1,
33(7)11,
33(7)19,
33(7)27,
33(7)35,
33(7)43,
33(7)51,
33(7)59,
33(7)67,
33(7)75,
33(7)83,
34(8)163
- sequence,
27(3)71,
27(7)224,
27(7)322,
27(7)341,
27(8)83,
27(9)223,
28(6)13,
28(6)26,
28(6)36,
28(7)119,
28(7)149,
28(8)77,
28(8)77-1,
28(12)32,
29(2)33,
29(6)61,
29(9)64,
29(11)274,
29(11)286,
30(8)102,
30(8)134,
30(11)20-1,
30(11)41,
31(5)249
- source,
24(3)34,
25(6)223,
25(12)85,
26(12)132,
27(7)1,
27(7)12,
27(7)68,
27(9)238,
28(6)13,
28(6)156,
28(6)166,
28(6)237,
28(7)179,
29(1)46,
29(6)1,
29(6)13,
29(6)49,
29(6)85,
29(6)278,
29(6)290,
29(9)125,
29(11)51,
30(3)71,
30(6)67,
30(6)93,
30(6)246,
30(8)112,
32(7)206,
33(7)19,
33(7)43,
33(7)75
- SPECIAL-PURPOSE,
29(8)22,
29(11)76-1,
30(11)7,
30(11)41,
30(11)50,
30(11)60,
30(11)70,
30(11)79,
30(11)108,
30(11)117,
30(11)134,
30(11)146-1,
31(5)127,
31(5)160,
34(3)118,
34(3)130
- supporting,
25(3)177-1,
25(6)257,
26(10)53,
27(7)273,
27(7)283,
27(9)248,
28(1)44,
28(6)26,
29(8)74,
29(8)119,
30(11)31,
30(11)146-1,
31(9)174,
31(10)104
- task,
25(4)73,
25(6)174,
27(7)68,
27(7)200,
27(7)283,
28(1)32,
28(3)347,
28(6)13,
28(7)13,
28(8)109,
28(8)109-1,
29(10)51,
30(8)123,
30(8)134,
30(8)189,
30(11)7,
30(11)20-1,
30(11)79,
30(11)125,
30(11)134,
32(7)1,
33(7)19,
33(7)59,
33(7)83
- time, Real-,
25(3)79,
28(3)353,
28(6)166,
28(6)217,
28(6)217-1,
29(8)22,
29(11)76-1,
30(11)7,
30(11)41,
30(11)50,
30(11)60,
30(11)70,
30(11)79,
30(11)88,
30(11)108,
30(11)117,
30(11)125,
30(11)134,
30(11)146-1,
32(9)39,
34(3)118,
34(3)130,
34(7)65
- timing,
25(6)78,
25(10)289,
28(6)166,
28(6)207-1,
30(11)41,
30(11)50,
30(11)60,
30(11)70,
30(11)79,
30(11)134
- User/Machine,
28(3)97
- was,
25(6)322,
26(6)145,
27(7)1,
27(7)44,
27(7)322,
27(12)20,
27(12)61,
28(3)1,
28(3)37,
28(3)53,
28(3)69,
28(3)97,
28(3)133,
28(3)201,
28(3)209,
28(3)299,
28(3)333,
28(3)345,
28(3)355,
28(3)367,
28(6)26,
28(8)90,
29(6)186,
29(6)257,
29(6)257-1,
29(8)1,
29(8)94,
29(11)61,
29(11)328,
30(3)71,
30(4)13,
33(7)35,
33(12)72,
34(2)1,
34(5)z,
34(5)z-1
- Whalley, David B.,
27(7)322,
28(6)26,
30(6)56,
33(5)130