4880 search results - page 444 / 976 » Manuals as Structured Programs |
186
click to vote
ENTCS
2006
15 years 7 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
206
click to vote
AAAI
2011
14 years 7 months ago
2011
We propose Tree Sequence Kernel (TSK), which implicitly exhausts the structure features of a sequence of subtrees embedded in the phrasal parse tree. By incorporating the capabili...
176
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Virtual or in silico ligand screening combined with other computational methods is one of the most promising methods to search for new lead compounds, thereby greatly ...
224
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
214
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...