2194 search results - page 36 / 439 » Improving HLRTA*( k ) |
EMSOFT
2008
Springer
14 years 22 days ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
HCI
2007
14 years 12 days ago
2007
Improving the quality of life of elderly people is an emerging issue within our information society for both research and development. This paper addresses some issues on the devel...
ENTCS
2008
13 years 11 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
JMIV
2008
13 years 11 months ago
2008
We introduce a practical and improved version of the Polyharmonic Local Sine transform (PHLST) called PHLST5. After partitioning an input image into a set of rectangular blocks, t...
CN
2002
13 years 10 months ago
2002
In recent years, wireless networks have become increasingly common and an increasing number of devices are communicating with each other over lossy links. Unfortunately, TCP perfo...