5407 search results - page 241 / 1082 » The Software Engineering Global Model |
154
click to vote
SEW
2003
IEEE
15 years 10 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
148
Voted
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
158
click to vote
TC
2010
14 years 11 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 ...
259
click to vote
CCECE
2011
IEEE
14 years 5 months ago
2011
IEEE
—An array of resistively and capacitively shunted Josephson junctions with nonsinusoidal currentphase relation is considered for modelling the resistive transition in high-Tc sup...
168
click to vote
ICSE
1999
IEEE-ACM
15 years 9 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...