15784 search results - page 577 / 3157 » Mega Software Engineering |
223
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
205
click to vote
TC
2010
15 years 1 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
205
click to vote
TSE
2010
15 years 1 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
220
click to vote
ICFCA
2005
Springer
16 years 18 days ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
164
click to vote
DATE
2002
IEEE
16 years 2 days ago
2002
IEEE
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...