Sciweavers

6149 search results - page 574 / 1230
» Revealing the programming process
Sort
View
ANOR
2008
93views more  ANOR 2008»
15 years 7 months ago
Pruning in column generation for service vehicle dispatching
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
Stephan Westphal, Sven Oliver Krumke
FUIN
2006
81views more  FUIN 2006»
15 years 7 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
JSW
2006
89views more  JSW 2006»
15 years 7 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...
PPL
2008
63views more  PPL 2008»
15 years 7 months ago
Using Hardware Multithreading to Overcome Broadcast/Reduction Latency in an Associative SIMD Processor
The latency of broadcast/reduction operations has a significant impact on the performance of SIMD processors. This is especially true for associative programs, which make extensiv...
Kevin Schaffer, Robert A. Walker
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 7 months ago
Functional Testing in the Focal Environment
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
Matthieu Carlier, Catherine Dubois