1829 search results - page 32 / 366 » Towards Validation of Requirements Models |
103
click to vote
MTV
2003
IEEE
15 years 5 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
114
click to vote
RC
2007
14 years 11 months ago
2007
The search algorithm presented allows the CDF of a dependent variable to be bounded with 100%confidence,andallowsforaguaranteedevaluationof theerror involved.Thesereliabilitybound...
WSC
1998
15 years 1 months ago
1998
Bootstrapping is a resampling technique that requires less computer time than simulation does. Bootstrapping -like simulation-must be defined for each type of application. This pa...
101
click to vote
STEP
2003
IEEE
15 years 5 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...