Sciweavers

3595 search results - page 197 / 719
» Roles of Program Extension
Sort
View
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 9 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
164
Voted
GECCO
2006
Springer
173views Optimization» more  GECCO 2006»
15 years 8 months ago
Pareto-coevolutionary genetic programming classifier
The conversion and extension of the Incremental ParetoCoevolution Archive algorithm (IPCA) into the domain of Genetic Programming classifier evolution is presented. In order to ac...
Michal Lemczyk, Malcolm I. Heywood
IJCAI
2003
15 years 6 months ago
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Ni...
142
Voted
EOR
2008
200views more  EOR 2008»
15 years 5 months ago
A dynamic stochastic programming model for international portfolio management
We develop a multi-stage stochastic programming model for international portfolio management in a dynamic setting. We model uncertainty in asset prices and exchange rates in terms...
Nikolas Topaloglou, Hercules Vladimirou, Stavros A...
132
Voted
JFP
2006
119views more  JFP 2006»
15 years 5 months ago
Gencel: a program generator for correct spreadsheets
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
Martin Erwig, Robin Abraham, Steve Kollmansberger,...