9316 search results - page 342 / 1864 » Analysis of traceback techniques |
185
click to vote
CSMR
2006
IEEE
16 years 26 days ago
2006
IEEE
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
167
click to vote
WORDS
2005
IEEE
16 years 11 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
196
click to vote
AMR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Although many different types of technologies for information systems have evolved over the last decades (such as databases, video systems, the Internet and mobile telec...
183
click to vote
IJCNLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. A speech act is a linguistic action intended by a speaker. It is important to analyze the speech act for the dialogue understanding system because the speech act of an ut...
154
click to vote
DATE
2003
IEEE
16 years 2 days ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...