Sciweavers

10055 search results - page 1771 / 2011
» Structured programming using processes
Sort
View
120
Voted
CCE
2008
15 years 2 months ago
Chemical supply chain network optimization
Chemical supply chain networks provide large opportunities for cost reductions through the redesign of the flow of material from producer to customer. In this paper we present a m...
Jeff Ferrio, John Wassick
93
Voted
CGF
2008
114views more  CGF 2008»
15 years 2 months ago
Displacement Mapping on the GPU - State of the Art
This paper reviews the latest developments of displacement mapping algorithms implemented on the vertex, geometry, and fragment shaders of graphics cards. Displacement mapping alg...
László Szirmay-Kalos, Tamás U...
CORR
2008
Springer
86views Education» more  CORR 2008»
15 years 2 months ago
Design by Measure and Conquer, A Faster Exact Algorithm for Dominating Set
The measure and conquer approach has proven to be a powerful tool to analyse exact algorithms for combinatorial problems, like Dominating Set and Independent Set. In this paper, we...
Johan M. M. van Rooij, Hans L. Bodlaender
ENTCS
2008
122views more  ENTCS 2008»
15 years 2 months ago
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
David Harel, Yaki Setty, Sol Efroni, Naamah Swerdl...
FUIN
2006
97views more  FUIN 2006»
15 years 2 months ago
Thread Algebra with Multi-Level Strategies
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...
Jan A. Bergstra, C. A. Middelburg
« Prev « First page 1771 / 2011 Last » Next »