7167 search results - page 226 / 1434 » A Technique for Invariant Generation |
207
click to vote
LCTRTS
2005
Springer
16 years 22 days ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
182
click to vote
GRAPHITE
2007
ACM
15 years 11 months ago
2007
ACM
We present a data-driven technique for generating the precomputed radiance transfer vectors of an animated character as a function of its joint angles. We learn a linear model for...
206
click to vote
WWW
2005
ACM
16 years 8 months ago
2005
ACM
When a query is submitted to a search engine, the search engine returns a dynamically generated result page containing the result records, each of which usually consists of a link...
203
click to vote
SP
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
198
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...