2514 search results - page 316 / 503 » The use of industrial-strength formal methods |
162
click to vote
CAV
2005
Springer
16 years 2 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
172
click to vote
ESWS
2004
Springer
15 years 12 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
148
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...
165
click to vote
ISESE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper summarizes estimation knowledge through a review of surveys on software effort estimation. Main findings were that: (1) Most projects (60-80%) encounter effort and/or s...
159
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...