773 search results - page 97 / 155 » Program Slicing by Calculation |
93
Voted
BMCBI
2005
15 years 15 days ago
2005
Background: We have developed the program PERMOL for semi-automated homology modeling of proteins. It is based on restrained molecular dynamics using a simulated annealing protoco...
84
Voted
COMBINATORICS
2002
15 years 13 days ago
2002
An efficient and purely combinatorial algorithm for calculating products in arbitrary Coxeter groups is presented, which combines ideas of Fokko du Cloux and myself. Proofs are lar...
123
Voted
UTP
2010
14 years 11 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
ICS
2010
Tsinghua U.
15 years 5 months ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
118
Voted
SARA
2009
Springer
15 years 5 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...