963 search results - page 29 / 193 » Escape Analysis on Lists |
169
click to vote
CCECE
2009
IEEE
16 years 23 days ago
2009
IEEE
This paper presents an automata-based approach for analyzing traces generated by the kernel of an operating system. We identified a list of typical patterns of problematic behavi...
153
click to vote
CRV
2006
IEEE
16 years 2 days ago
2006
IEEE
A method is proposed to detect multi-part man-made or natural objects in complex images. It consists in first extracting simple curves and straight lines from the edge map. Then,...
136
click to vote
CAMP
2005
IEEE
15 years 11 months ago
2005
IEEE
—This paper describes a task-independent controller that allows for an easy implementation of vision systems for processing video sequences. The controller does not have a fixed ...
158
click to vote
TAP
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
136
click to vote
SACRYPT
1999
Springer
15 years 10 months ago
1999
Springer
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...