549 search results - page 78 / 110 » Constraint Programming in Structural Bioinformatics |
100
click to vote
CPAIOR
2009
Springer
15 years 7 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
ICPP
2007
IEEE
15 years 6 months ago
2007
IEEE
Program parallelization requires mapping computation and data to processing elements. Navigational Programming (NavP), based on the principle of migrating computations, offers a d...
107
click to vote
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
107
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
110
click to vote
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...