Sciweavers

1648 search results - page 83 / 330
» On the generation of bicliques of a graph
Sort
View
UML
2000
Springer
15 years 3 months ago
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
Aynur Abdurazik, A. Jefferson Offutt
BTW
2009
Springer
99views Database» more  BTW 2009»
15 years 3 months ago
A Framework for Reasoning about Share Equivalence and Its Integration into a Plan Generator
: Very recently, Cao et al. presented the MAPLE approach, which accelerates queries with multiple instances of the same relation by sharing their scan operator. The principal idea ...
Thomas Neumann, Guido Moerkotte
IWCMC
2010
ACM
15 years 1 months ago
A flow trace generator using graph-based traffic classification techniques
We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique...
Peter Siska, Marc Ph. Stoecklin, Andreas Kind, Tor...
CONSTRAINTS
2006
115views more  CONSTRAINTS 2006»
14 years 11 months ago
A Cost-Regular Based Hybrid Column Generation Approach
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
Sophie Demassey, Gilles Pesant, Louis-Martin Rouss...
ATMOS
2010
172views Optimization» more  ATMOS 2010»
14 years 10 months ago
Column Generation Heuristic for a Rich Arc Routing Problem
In this paper we address a real world optimisation problem, the Rail Track Inspection Scheduling Problem (RTISP). This problem consists of scheduling network inspection tasks. The...
Sébastien Lannez, Christian Artigues, Jean ...