877 search results - page 21 / 176 » Annotated Revision Programs |
KBSE
2006
IEEE
14 years 3 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
LANMR
2004
13 years 10 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
CPHYSICS
2006
13 years 9 months ago
2006
We describe a revised and updated version of the program package SMMP (Simple Molecular Mechanics for Proteins) [F. Eisenmenger, U.H.E. Hansmann, Sh. Hayryan, C.-K. Hu, Comput. Ph...
ICPP
1994
IEEE
14 years 1 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...