5547 search results - page 449 / 1110 » Software Variability Management |
179
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
187
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We demonstrate a SIMD C++ genetic programming system on a single 128 node parallel nVidia GeForce 8800 GTX GPU under RapidMind's GPGPU Linux software by predicting te...
200
click to vote
NORDICHI
2004
ACM
16 years 8 days ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
260
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
We demonstrate the Lixto Suite, a web data extraction and transformation software kit for retrieving and converting information from various sources to various customer devices. W...
170
click to vote
ECIS
2003
15 years 8 months ago
2003
Knowledge transfer is one of the key problem areas in knowledge management. This paper focuses on the transfer of knowledge about the software development process. There is an aim...