367 search results - page 74 / 74 » Adapting functional programs to higher order logic |
IEEEPACT
2005
IEEE
13 years 10 months ago
2005
IEEE
VLIW architectures are popular in embedded systems because they offer high-performance processing at low cost and energy. The major problem with traditional VLIW designs is that t...
GECCO
2005
Springer
13 years 10 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...