Sciweavers

1158 search results - page 59 / 232
» Software is discrete mathematics
Sort
View
MPC
2004
Springer
123views Mathematics» more  MPC 2004»
14 years 2 months ago
Constructing Polymorphic Programs with Quotient Types
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
Michael Abbott, Thorsten Altenkirch, Neil Ghani, C...
PARA
2004
Springer
14 years 2 months ago
A Cache-Aware Algorithm for PDEs on Hierarchical Data Structures
A big challenge in implementing up to date simulation software for various applications is to bring together highly efficient mathematical methods on the one hand side and an ef...
Frank Günther, Miriam Mehl, Markus Pögl,...
CCE
2008
13 years 7 months ago
Large scale optimization strategies for zone configuration of simulated moving beds
Simulated Moving Bed (SMB) processes are widely used in sugar, petrochemical, and pharmaceutical industries. However, systematic optimization of SMB, especially finding the optima...
Yoshiaki Kawajiri, Lorenz T. Biegler
SIGSOFT
2010
ACM
13 years 6 months ago
Extending software engineering research outside the digital box
Since software is developed to run on computers, there is a tendency to focus computer science and software engineering on how best to get software to run on computers. But, engin...
Barry W. Boehm
RECOMB
2005
Springer
14 years 9 months ago
Combinatorial Genetic Regulatory Network Analysis Tools for High Throughput Transcriptomic Data
: A series of genome-scale algorithms and high-performance implementations is described and shown to be useful in the genetic analysis of gene transcription. With them it is possib...
Elissa J. Chesler, Michael A. Langston