Sciweavers

1686 search results - page 70 / 338
» Programs as polygraphs: computability and complexity
Sort
View
GCC
2006
Springer
15 years 1 months ago
Grid Programming Environment over ChinaGrid Support Platform
Grid computing is becoming more and more attractive to provide a convenient uniform platform for coordinating highly distributed and heterogeneous resources and services. GridPPI ...
Feng He, Yongwei Wu, Guangwen Yang, Sikan Chen, Li...
EPIA
2005
Springer
15 years 3 months ago
Operational Semantics for DyLPs
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
Federico Banti, José Júlio Alferes, ...
SIGCSE
1998
ACM
97views Education» more  SIGCSE 1998»
15 years 2 months ago
Towards a hierarchical design and integration of programming projects
,’ Theideaof ahierarchicaldesignandintegrationof programming projectsin the computerscienceundergraduatecurriculum is proposedanddiscussed.Researchresultsin softwarereuseandobje...
Wing Ning Li
GI
2009
Springer
14 years 7 months ago
Implementation of an effective non-bonded interactions kernel for biomolecular simulations on the Cell processor
Abstract: In biomolecular simulations intensive computations are spent in nonbonded interactions kernels, i.e., electrostatic interactions. Therefore this part can be considered as...
Horacio Emilio Pérez Sánchez, Wolfga...
BMCBI
2010
156views more  BMCBI 2010»
14 years 10 months ago
Protein complex prediction via verifying and reconstructing the topology of domain-domain interactions
Background: High-throughput methods for detecting protein-protein interactions enable us to obtain large interaction networks, and also allow us to computationally identify the as...
Yosuke Ozawa, Rintaro Saito, Shigeo Fujimori, Hisa...