43 search results - page 9 / 9 » Deaccumulation techniques for improving provability |
CSB
2005
IEEE
13 years 11 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
ALGOSENSORS
2009
Springer
13 years 12 months ago
2009
Springer
Sensor networks, with their ad hoc deployments, node mobility, and wireless communication, pose serious challenges for developing provably correct and efficient applications. A po...
CODES
2006
IEEE
13 years 7 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...