342 search results - page 34 / 69 » Automatic Generation of Heuristics for Scheduling |
IEAAIE
1999
Springer
15 years 3 months ago
1999
Springer
This paper describes the design of the Bus Timetabling System (BTS) we have developed for one of the largest privately held bus companies in the world. This Bus Company operates cl...
112
click to vote
ICS
2007
Tsinghua U.
15 years 5 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
GECCO
2005
Springer
15 years 4 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
ICSE
2003
IEEE-ACM
15 years 4 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
CODES
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...