10890 search results - page 37 / 2178 » Automatic Complexity Analysis |
113
Voted
KES
2006
Springer
15 years 12 days ago
2006
Springer
This paper describes an evaluation of a neural network technique for modelling fuel spray penetration in the cylinder of a diesel internal combustion engine. The model was implemen...
114
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
118
click to vote
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
82
Voted
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
75
Voted
ICDAR
1999
IEEE
15 years 4 months ago
1999
IEEE
