4674 search results - page 612 / 935 » cases 2008 |
227
click to vote
TRETS
2010
15 years 5 months ago
2010
s, and abstractions, typically enabling faster development times than with traditional Hardware ion Languages (HDLs). However, programming at a higher level of abstraction is typic...
201
click to vote
TSE
2010
15 years 5 months ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
176
click to vote
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
184
click to vote
TVCG
2010
15 years 5 months ago
2010
—Software tools that make it easier for analysts to collaborate as a natural part of their work will lead to better analysis that is informed by more perspectives. We are interes...
145
click to vote
TVCG
2010
15 years 5 months ago
2010
—The non-data components of a visualization, such as axes and legends, can often be just as important as the data itself. They provide contextual information essential to interpr...