Sciweavers

1127 search results - page 75 / 226
» The XIS Generative Programming Techniques
Sort
View
AC
2004
Springer
14 years 11 months ago
Shotgun Sequence Assembly
Shotgun sequencing is the most widely used technique for determining the DNA sequence of organisms. It involves breaking up the DNA into many small pieces that can be read by auto...
Mihai Pop
HEURISTICS
2002
146views more  HEURISTICS 2002»
14 years 11 months ago
Using Constraint-Based Operators to Solve the Vehicle Routing Problem with Time Windows
This paper presents operators searching large neighborhoods in order to solve the vehicle routing problem. They make use of the pruning and propagation techniques of constraint pr...
Louis-Martin Rousseau, Michel Gendreau, Gilles Pes...
INFSOF
1998
72views more  INFSOF 1998»
14 years 11 months ago
Validation of measurement software as an application of slicing and constraint solving
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
Jens Krinke, Gregor Snelting
82
Voted
AISC
2006
Springer
15 years 3 months ago
Finding Relations Among Linear Constraints
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
Jun Yan, Jian Zhang, Zhongxing Xu
79
Voted
ECMDAFA
2008
Springer
97views Hardware» more  ECMDAFA 2008»
15 years 1 months ago
Textual Modelling Embedded into Graphical Modelling
Abstract. Today's graphical modelling languages, despite using symbols and connections, represent large model parts as structured text. We benefit from sophistic text editors,...
Markus Scheidgen