Sciweavers

4438 search results - page 554 / 888
» The Case for Collaborative Programming
Sort
View
WCE
2007
15 years 7 months ago
Scenario Generation Employing Copulas
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
Kristina Sutiene, Henrikas Pranevicius
CORR
2010
Springer
200views Education» more  CORR 2010»
15 years 6 months ago
Unified Compression-Based Acceleration of Edit-Distance Computation
The edit distance problem is a classical fundamental problem in computer science in general, and in combinatorial pattern matching in particular. The standard dynamic programming s...
Danny Hermelin, Gad M. Landau, Shir Landau, Oren W...
TPHOL
1997
IEEE
15 years 11 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
DAC
2008
ACM
16 years 7 months ago
MAPS: an integrated framework for MPSoC application parallelization
In the past few years, MPSoC has become the most popular solution for embedded computing. However, the challenge of programming MPSoCs also comes as the biggest side-effect of the...
Gerd Ascheid, Hanno Scharwächter, Heinrich Me...
ICSE
2009
IEEE-ACM
16 years 7 months ago
Do code clones matter?
Code cloning is not only assumed to inflate maintenance costs but also considered defect-prone as inconsistent changes to code duplicates can lead to unexpected behavior. Conseque...
Benjamin Hummel, Elmar Jürgens, Florian Deiss...