1901 search results - page 201 / 381 » Predicting Program Properties from |
107
click to vote
TGC
2007
Springer
15 years 9 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...
165
click to vote
AROBOTS
2008
15 years 3 months ago
2008
Autonomous mobile robots need to adapt their behavior to the terrain over which they drive, and to predict the traversability of the terrain so that they can effectively plan thei...
158
Voted
ISPASS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...
156
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The study of protein-small molecule interactions is vital for understanding protein function and for practical applications in drug discovery. To benefit from the rapi...
109
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Mitochondrial tRNAs have been the subject of study for structural biologists interested in their secondary structure characteristics, evolutionary biologists have rese...