43 search results - page 9 / 9 » Deaccumulation techniques for improving provability |
CSB
2005
IEEE
14 years 4 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
14 years 5 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
14 years 25 days 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...