626 search results - page 52 / 126 » Closing the Gap Between Software Modelling and Code |
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
HIPEAC
2010
Springer
14 years 6 days ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
RE
2009
Springer
14 years 2 months ago
2009
Springer
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...
LCPC
2001
Springer
14 years 2 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
PLDI
2006
ACM
14 years 4 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...