5180 search results - page 408 / 1036 » Requirements Engineering |
188
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
204
click to vote
ICSM
2005
IEEE
16 years 12 days ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
202
click to vote
ISESE
2005
IEEE
16 years 12 days ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
159
click to vote
CSMR
2003
IEEE
16 years 3 days ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
168
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...