1713 search results - page 164 / 343 » Analysis of Procedure Splitability |
110
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
84
Voted
CIDM
2009
IEEE
15 years 7 months ago
2009
IEEE
— Several studies have analyzed the link between mental dysfunctions and eye movements, using eye tracking techniques to determine where a person is looking, that is, the fixati...
91
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
In studying the relationship between risk factors and breast cancer, the growth patterns of fat pads and glandular tissues are considered as important biomarkers. The aim of this ...
85
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...