17 search results - page 1 / 4 » Introduction to the Web-method and its applications |
PADL
2010
Springer
14 years 7 months ago
2010
Springer
ADCM
2005
13 years 10 months ago
2005
ISHPC
2000
Springer
14 years 2 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
SAT
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
ICSM
2009
IEEE
13 years 8 months ago
2009
IEEE
A build system breathes life into source code, as it configures and directs the construction of a software system from textual source code modules. Surprisingly, build languages a...