1901 search results - page 93 / 381 » Predicting Program Properties from |
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
96
Voted
BMCBI
2010
14 years 11 months ago
2010
Background: Protein folding rate is an important property of a protein. Predicting protein folding rate is useful for understanding protein folding process and guiding protein des...
BMCBI
2008
14 years 11 months ago
2008
Background: Leishmania and other members of the Trypanosomatidae family diverged early on in eukaryotic evolution and consequently display unique cellular properties. Their appare...
106
Voted
EUROMICRO
2000
IEEE
15 years 3 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
103
Voted
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...