10848 search results - page 421 / 2170 » Programming in Biomolecular Computation |
173
Voted
ECOOPW
2004
Springer
16 years 1 months ago
2004
Springer
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report pres...
192
Voted
NMR
2004
Springer
16 years 1 months ago
2004
Springer
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.
212
Voted
IPPS
2003
IEEE
16 years 28 days ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
152
Voted
DAGSTUHL
2007
15 years 9 months ago
2007
The problem of deciding the probability model equivalence of two PRISM programs is addressed. In the finite case this problem can be solved (albeit slowly) using techniques from a...
166
Voted
PARCO
2007
15 years 9 months ago
2007
executions in terms of Eden’s abstract units of computation instead of providing a machineoriented low level view like common tools for parallelism analysis do. We show how typic...