450 search results - page 40 / 90 » Formal Methods for Industrial Products |
ICFCA
2009
Springer
14 years 2 months ago
2009
Springer
Matrix decomposition methods provide representations of an object-variable data matrix by a product of two different matrices, one describing relationship between objects and hidd...
KBSE
2002
IEEE
14 years 15 days ago
2002
IEEE
We present the results of a research work targeted to understanding CASE tools usage in Nokia. By means of a survey questionnaire, we collected data aimed to identify what feature...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
It is well documented that software product cost estimates are notoriously inaccurate across the software industry. Creating accurate cost estimates for software product developme...
CGF
2010
13 years 5 months ago
2010
Procedural noise functions are widely used in Computer Graphics, from off-line rendering in movie production to interactive video games. The ability to add complex and intricate d...
ASAP
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper presents a method, based on the formalism of affine recurrence equations, for the synthesis of digital circuits exploiting parallelism at the bit-level. In the initial ...