Sciweavers

3663 search results - page 74 / 733
» Problems in the ontology of computer programs
Sort
View
FECS
2006
170views Education» more  FECS 2006»
13 years 10 months ago
Multi-Paradigm Approach for Teaching Programming
: Selecting an appropriate programming paradigm in which to teach the first programming and problem solving course in a Computer Science undergraduate program has been discussed ex...
Laxmi Gewali, John T. Minor
MP
2006
100views more  MP 2006»
13 years 8 months ago
A branch-and-cut algorithm for the stochastic uncapacitated lot-sizing problem
This paper addresses a multi-stage stochastic integer programming formulation of the uncapacitated lot-sizing problem under uncertainty. We show that the classical ( , S) inequalit...
Yongpei Guan, Shabbir Ahmed, George L. Nemhauser, ...
ALIFE
1999
13 years 8 months ago
An Approach to Biological Computation: Unicellular Core-Memory Creatures Evolved Using Genetic Algorithms
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
Hikeaki Suzuki
OOPSLA
2010
Springer
13 years 7 months ago
Language virtualization for heterogeneous parallel computing
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Ro...
TLCA
1999
Springer
14 years 1 months ago
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
Peter Harry Eidorff, Fritz Henglein, Christian Mos...