3399 search results - page 264 / 680 » Requirements Development in Scenario-Based Design |
150
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
Grid computing allows the utilization of vast computational resources for solving complex scientific and engineering problems. However, development tools for Grid applications are...
173
click to vote
VTS
2007
IEEE
16 years 26 days ago
2007
IEEE
: Soft faults in DRAMs are faults that do not get sensitized directly after an operation is performed, but require a time to pass before the fault can be detected. Tests developed ...
161
Voted
ISM
2006
IEEE
16 years 18 days ago
2006
IEEE
In recent decades, the cost of acoustic technologies has declined dramatically. Advances in networks, storage devices, and power management have made it practical to consider the ...
154
click to vote
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
– The Science Activity Planner (SAP) is the primary science operations tool for the Mars Exploration Rover mission and NASA’s Software of the Year for 2004. SAP utilizes a vari...
186
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...