1655 search results - page 242 / 331 » Visual tool for generative programming |
102
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
97
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
143
Voted
JSW
2008
15 years 16 days ago
2008
- The use of Unmanned Underwater Vehicles (UUVs) has been proposed for several different types of applications including hydrographic surveys (e.g., mapping the ocean floor and exp...
188
click to vote
GIS
2008
ACM
16 years 1 months ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
91
Voted
TITB
1998
15 years 6 days ago
1998
The aim of the ViVa project is to develop tools for the modern hemodynamicist and cardiovascular surgeon to study and interpret the constantly increasing amount of information bei...