3656 search results - page 316 / 732 » Parallel programming in Split-C |
169
click to vote
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
15 years 6 months ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
197
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
156
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as c...
149
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
324
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...