5159 search results - page 744 / 1032 » Structural Testing of Executables |
189
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
161
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
— Commercial tuple extraction systems have enjoyed some success to extract tuples by regarding HTML pages as tree structures and exploiting XPath queries to find attributes of t...
193
click to vote
SC
2009
ACM
16 years 2 months ago
2009
ACM
Sparse matrix-vector multiplication (SpMV) is of singular importance in sparse linear algebra. In contrast to the uniform regularity of dense linear algebra, sparse operations enc...
209
click to vote
CCGRID
2009
IEEE
16 years 2 months ago
2009
IEEE
Highly distributed systems such as Grids are used today to the execution of large-scale parallel applications. The behavior analysis of these applications is not trivial. The comp...
199
click to vote
SASP
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—One of the ways that custom instruction set extensions can improve over software execution is through the use of hardware structures that have been optimized at the arit...