3544 search results - page 470 / 709 » Software Testing |
107
click to vote
PROMS
2001
Springer
15 years 5 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
112
click to vote
CGO
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we describe techniques for compiling finegrained SPMD-threaded programs, expressed in programming models such as OpenCL or CUDA, to multicore execution platforms. Pr...
100
click to vote
COMPSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
91
Voted
ROBOCUP
1999
Springer
15 years 5 months ago
1999
Springer
Arvand is a robot specially designed and constructed for playing soccer according to RoboCup rules and regulations for the medium size robots. This robot consists of three main par...
104
Voted
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
: Despite considerable evidence to show that inspections can help reduce costs and improve quality, inspections are not widely deployed in the software industry. One of the likely ...