3579 search results - page 354 / 716 » Transformations of software models into performance models |
242
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
162
click to vote
ICIAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper, we study the problem of restoring multicomponent images. In particular, we investigate the effects of accounting for the correlation between the image com...
179
click to vote
ECBS
2006
IEEE
16 years 22 days ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
183
Voted
GI
2007
Springer
16 years 25 days ago
2007
Springer
: Der Ansatz der modellgetriebenen Softwareentwicklung fokussiert die Entwicklung von Software durch deren Modellierung und einer anschließenden Transformation auf den Quellcode d...
181
click to vote
CGO
2010
IEEE
15 years 11 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...