224 search results - page 40 / 45 » Program Analysis Probably Counts |
TGC
2007
Springer
14 years 2 months ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
PLDI
1994
ACM
14 years 19 days ago
1994
ACM
As microprocessor speeds increase, memory bandwidth is increasing y the performance bottleneck for microprocessors. This has occurred because innovation and technological improvem...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Researchers of commercial search engines often collect data using the application programming interface (API) or by "scraping" results from the web user interface (WUI),...
SCIA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Solutions to non-linear least squares problems play an essential role in structure and motion problems in computer vision. The predominant approach for solving these prob...
SEFM
2006
IEEE
14 years 2 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...