405 search results - page 25 / 81 » Open Systems Formal Evaluation Process |
EACL
2006
ACL Anthology
15 years 3 days ago
2006
ACL Anthology
Multimodal grammars provide an expressive formalism for multimodal integration and understanding. However, handcrafted multimodal grammars can be brittle with respect to unexpecte...
127
click to vote
ICTAI
2008
IEEE
15 years 5 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
121
click to vote
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
111
click to vote
SAS
2010
Springer
14 years 9 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
RE
2001
Springer
15 years 3 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...