Sciweavers

2231 search results - page 124 / 447
» Alternation as a programming paradigm
Sort
View
PROCEDIA
2011
14 years 7 months ago
A Multilevel Parallelism Support for Multi-Physics Coupling
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
Fang Liu, Masha Sosonkina
146
Voted
TAMC
2009
Springer
15 years 10 months ago
Linear Programming Based Approximation Algorithms for Feedback Set Problems in Bipartite Tournaments
We consider the feedback vertex set and feedback arc set problems in bipartite tournaments. We improve on recent results by giving a 2-approximation algorithm for the feedback vert...
Anke van Zuylen
120
Voted
KBSE
2008
IEEE
15 years 10 months ago
How Program History Can Improve Code Completion
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
Romain Robbes, Michele Lanza
ICDE
2007
IEEE
164views Database» more  ICDE 2007»
15 years 10 months ago
An Integer Linear Programming Approach to Database Design
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...
Stratos Papadomanolakis, Anastassia Ailamaki
APL
1995
ACM
15 years 7 months ago
The Role of Composition in Computer Programming
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
Donald B. McIntyre