3920 search results - page 567 / 784 » Challenges in Software Evolution |
128
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
134
click to vote
ISPASS
2008
IEEE
15 years 11 months ago
2008
IEEE
The floating point portion of the SPEC CPU suite and the HPC Challenge suite are widely recognized and utilized as benchmarks that represent scientific application behavior. In th...
132
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
167
click to vote
TRIDENTCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
The MeshTest testbed is designed to subject wireless devices and protocols to realistic and repeatable mobile scenarios, including multi-hop and disconnected topologies. The testb...
139
click to vote
ASAP
2007
IEEE
15 years 11 months ago
2007
IEEE
Entropy encoding and decoding is a crucial part of any multimedia system that can be highly demanding in terms of computing power. Hardware implementation of typical compression a...