10848 search results - page 394 / 2170 » Programming in Biomolecular Computation |
160
click to vote
MFCS
2007
Springer
16 years 1 months ago
2007
Springer
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...
142
click to vote
SUM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...
181
click to vote
CLUSTER
2006
IEEE
16 years 28 days ago
2006
IEEE
In this article we introduce a grid runtime system called TGrid which is designed to run hierarchically structured task-parallel programs on heterogenous environments and can also...
172
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
166
click to vote
ITICSE
2006
ACM
16 years 24 days ago
2006
ACM
ProgrammingLand is an online system for delivering content to introductory computer science courses as a substitute for a conventional textbook. Because the system has a large num...