1024 search results - page 132 / 205 » High-Level Execution Time Analysis |
116
click to vote
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we describe work relating to classification of web documents using a graph-based model instead of the traditional vector-based model for document representation. We ...
104
Voted
VTS
2003
IEEE
15 years 6 months ago
2003
IEEE
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
96
Voted
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
In this paper, a new model of Probabilistic Model-Building Genetic Algorithms (PMBGAs), Distributed PMBGA (DPMBGA), is proposed. In the DPMBGA, the correlation among the design var...
96
Voted
ICSM
2002
IEEE
15 years 5 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
CONCUR
1990
Springer
15 years 4 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...