1880 search results - page 9 / 376 » A Static Analysis for Beta-Binders |
PAAPP
2002
13 years 7 months ago
2002
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...
ICIAR
2009
Springer
13 years 5 months ago
2009
Springer
In this paper an approach to recover the 3D human body pose from static images is proposed. We adopt a discriminative learning technique to directly infer the 3D pose from appearan...
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
TCAD
2002
13 years 7 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
ECOOP
2012
Springer
11 years 10 months ago
2012
Springer
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...