30 search results - page 5 / 6 » isse 2010 |
ISSE
2010
13 years 3 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
ISSE
2010
13 years 3 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
LREC
2010
13 years 6 months ago
2010
This paper introduces the results of integration of lexical and terminological resources, most of them developed within the Human Language Technology (HLT) Group at the University...
CLOUD
2010
ACM
13 years 10 months ago
2010
ACM
Parallel dataflow programs generate enormous amounts of distributed data that are short-lived, yet are critical for completion of the job and for good run-time performance. We ca...
CIKM
2010
Springer
13 years 6 days ago
2010
Springer
Recent advances in data processing have enabled the generation of large and complex graphs. Many researchers have developed techniques to investigate informative structures within...