4880 search results - page 69 / 976 » Manuals as Structured Programs |
115
click to vote
ISESE
2006
IEEE
15 years 5 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
XML file comparison and clustering are two challenging tasks still accomplished predominantly manually. XML schema contains information about data structure, types, and labels fou...
JUCS
2008
14 years 11 months ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...
100
click to vote
JCB
2007
14 years 11 months ago
2007
We developed a dynamic programming approach of computing common sequence structure patterns among two RNAs given their primary sequences and their secondary structures. Common pat...
ENTCS
2007
14 years 11 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....