7393 search results - page 458 / 1479 » Synthesis-for-testability using transformations |
171
click to vote
LOPSTR
2007
Springer
16 years 15 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
167
Voted
CIG
2006
IEEE
16 years 13 days ago
2006
IEEE
ā Intelligent agents in games and simulators often operate in environments subject to symmetric transformations that produce new but equally legitimate environments, such as reļ¬...
226
click to vote
IV
2006
IEEE
16 years 11 days ago
2006
IEEE
Many contemporary visualization tools comprise some image ļ¬ltering approach. Since image ļ¬ltering approaches are very computationally demanding, the acceleration using graphic...
160
Voted
SEFM
2006
IEEE
16 years 11 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
188
click to vote
CSMR
2005
IEEE
15 years 12 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...