2342 search results - page 370 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
NLDB
2007
Springer
14 years 3 months ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
IJHPCA
2002
13 years 8 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
VIS
2004
IEEE
14 years 10 months ago
2004
IEEE
Computational simulation of time-varying physical processes is of fundamental importance for many scientific and engineering applications. Most frequently, time-varying simulation...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...