1141 search results - page 80 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
175
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...
181
click to vote
PAKM
2000
15 years 7 months ago
2000
The core of the new product development [NPD] process centers on knowledge creation, utilization and the management of knowledge. This manuscript uses a software firm case to esta...
163
Voted
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...
152
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
166
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...