10072 search results - page 1530 / 2015 » Composition of Model Programs |
221
click to vote
ICFP
2001
ACM
16 years 7 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
176
click to vote
BIBM
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
195
click to vote
SIGSOFT
2006
ACM
16 years 29 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
217
click to vote
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
204
click to vote
EMSOFT
2005
Springer
16 years 16 days ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...