Sciweavers

10848 search results - page 341 / 2170
» Programming in Biomolecular Computation
Sort
View
LOPSTR
2007
Springer
16 years 28 days ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
Peter Van Weert, Jon Sneyers, Bart Demoen
IPPS
2005
IEEE
16 years 11 days ago
MPISH: A Parallel Shell for MPI Programs
While previous work has shown MPI to provide capabilities for system software, actual adoption has not widely occurred. We discuss process management shortcomings in MPI implement...
Narayan Desai, Andrew Lusk, Rick Bradshaw, Ewing L...
ACSC
2003
IEEE
16 years 2 days ago
A Novel Approach to Parenting in Functional Program Evaluation
The ability for multiple threads to enter the same graph node without contention and conflict is a necessary component of the graph reduction of functional languages since graph c...
Julian R. Dermoudy
IPPS
1999
IEEE
15 years 11 months ago
Examples of Program Composition Illustrating the Use of Universal Properties
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
Michel Charpentier, K. Mani Chandy
INTERACT
2003
15 years 8 months ago
Programming in the Kitchen
: In this paper we discuss issues for the integration of computing power in mundane artefacts. We do so with reference to a recent project with a manufacturer of ovens for larger k...
Olav W. Bertelsen, Toke Eskildsen, Werner Sperschn...