Sciweavers

2362 search results - page 194 / 473
» Programming in Standard ML
Sort
View
EOR
2006
90views more  EOR 2006»
15 years 4 months ago
A parallelizable dynamic fleet management model with random travel times
In this paper, we present a stochastic model for the dynamic fleet management problem with random travel times. Our approach decomposes the problem into time-staged subproblems by...
Huseyin Topaloglu
FUIN
2006
81views more  FUIN 2006»
15 years 4 months ago
Redundant Call Elimination via Tupling
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones
INFSOF
1998
72views more  INFSOF 1998»
15 years 3 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
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 1 months ago
Testing by C++ template metaprograms
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...
Norbert Pataki
TWC
2010
14 years 11 months ago
Delay-Minimal Transmission for Average Power Constrained Multi-Access Communications
We investigate the problem of minimizing the overall transmission delay of packets in a multi-access wireless communication system, where the transmitters have average power constr...
Jing Yang, Sennur Ulukus