1403 search results - page 52 / 281 » Quantitative Interprocedural Analysis |
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
114
click to vote
FPL
2007
Springer
15 years 5 months ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
110
click to vote
ISBI
2009
IEEE
15 years 5 months ago
2009
IEEE
In live-cell fluorescence microscopy imaging, quantitative analysis of biological image data generally involves the detection of many subresolution objects, appearing as diffract...
90
Voted
INFOCOM
2005
IEEE
15 years 4 months ago
2005
IEEE
— With the increasing demand for secure and high-quality communications in public access wireless IP networks, it is very important to have an in-depth understanding of the relat...
IBPRIA
2007
Springer
15 years 5 months ago
2007
Springer
Detection of lane markings based on a camera sensor can be a low cost solution to lane departure and curve over speed warning. A number of methods and implementations have been rep...