2421 search results - page 43 / 485 » Integrity Assurance Technique Using Determinant Approach |
GECCO
2004
Springer
14 years 4 months ago
2004
Springer
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human liv...
DATE
2003
IEEE
14 years 4 months ago
2003
IEEE
The widening gap between processor and memory speeds renders data locality optimization a very important issue in data-intensive embedded applications. Throughout the years hardwa...
JMLR
2010
13 years 5 months ago
2010
With the goal to generate more scalable algorithms with higher efficiency and fewer open parameters, reinforcement learning (RL) has recently moved towards combining classical tec...
TIP
2010
13 years 5 months ago
2010
Motion-Compensated Frame Interpolation (MCFI) is a technique used extensively for increasing the temporal frequency of a video sequence. In order to obtain a high quality interpola...
ISVLSI
2007
IEEE
14 years 5 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...