2048 search results - page 146 / 410 » Intelligent search techniques for large software systems |
109
click to vote
IEAAIE
1999
Springer
15 years 9 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...
133
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Garbage collection can be a performance bottleneck in large distributed, multi-threaded applications. Applications may produce millions of objects during their lifetimes and may i...
100
click to vote
SERA
2005
Springer
15 years 10 months ago
2005
Springer
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...
154
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
124
click to vote
FCSC
2008
15 years 4 months ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...