Sciweavers

10848 search results - page 24 / 2170
» Programming in Biomolecular Computation
Sort
View
POPL
2011
ACM
12 years 11 months ago
Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...
ICPPW
2003
IEEE
14 years 1 months ago
From Distributed Sequential Computing to Distributed Parallel Computing
One approach to distributed parallel programming is to utilize self-migrating threads. Computations can be distributed first, and parallelized second. The first step produces a ...
Lei Pan, Lubomir Bic, Michael B. Dillencourt, Ming...
MP
2006
101views more  MP 2006»
13 years 8 months ago
Computational complexity of stochastic programming problems
Stochastic programming is the subfield of mathematical programming that considers optimization in the presence of uncertainty. During the last four decades a vast amount of litera...
Martin E. Dyer, Leen Stougie
IPL
2007
78views more  IPL 2007»
13 years 8 months ago
Ensuring the quasi-termination of needed narrowing computations
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
J. Guadalupe Ramos, Josep Silva, Germán Vid...
SIGPLAN
2008
13 years 8 months ago
Programming languages as part of core computer science
While the programming languages course played a key role in Curricula '68, '78, and '91, Curriculum 2001 replaced most of the content in programming languages with ...
Kim B. Bruce, Stephen N. Freund