10715 search results - page 1910 / 2143 » From Tests to Proofs |
198
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
The pervasiveness of mobile devices and location based services is leading to an increasing volume of mobility data. This side effect provides the opportunity for innovative meth...
178
click to vote
LCTRTS
2009
Springer
16 years 1 months ago
2009
Springer
Register allocation is often a two-phase approach: spilling of registers to memory, followed by coalescing of registers. Extreme liverange splitting (i.e. live-range splitting aft...
194
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes a method for hiding data inside printed text documents that is resilient to print/scan and photocopying operations. Using the principle of channel coding with...
184
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Identifying modules, or natural communities, in large complex networks is fundamental in many fields, including social sciences, biological sciences and engineering. Recently s...
178
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...