6941 search results - page 784 / 1389 » Testing as a Certification Approach |
198
click to vote
LICS
2003
IEEE
16 years 15 days ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
185
click to vote
SBACPAD
2003
IEEE
16 years 15 days ago
2003
IEEE
Trace reuse improves the performance of processors by skipping the execution of sequences of redundant instructions. However, many reusable traces do not have all of their inputs ...
204
click to vote
SBACPAD
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
160
click to vote
WORDS
2003
IEEE
16 years 14 days ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
204
click to vote
IRAL
2003
ACM
16 years 14 days ago
2003
ACM
In this paper, we describe ontology-based text categorization in which the domain ontologies are automatically acquired through morphological rules and statistical methods. The on...