5159 search results - page 752 / 1032 » Structural Testing of Executables |
208
click to vote
ISPDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Using grid resources to execute scientific applications requiring a large amount of computing power is attractive but not easy from the user point of view. Vigne is a grid operati...
172
click to vote
ISVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
239
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
205
click to vote
DOCENG
2006
ACM
16 years 1 months ago
2006
ACM
With the advent of XML we have seen a renewed interest in methods for computing the difference between trees. Methods that include heuristic elements play an important role in pr...
186
click to vote
SOFTVIS
2006
ACM
16 years 1 months ago
2006
ACM
The analysis of the runtime behavior of a software system yields vast amounts of information, making accurate interpretations difficult. Filtering or compression techniques are o...