892 search results - page 1 / 179 » Calculating with Requirements |
RE
1997
Springer
13 years 8 months ago
1997
Springer
MICS
2007
13 years 4 months ago
2007
We describe an approach to the computation of symbolic resultants in which factors are removed during the course of the calculation, so reducing the stack size required for interme...
ISCAS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract—Since the xDSL specifications impose stringent linearity requirements to ensure the integrity of the data transferred, current line drivers use linear amplifiers. The do...
FCCM
2006
IEEE
13 years 10 months ago
2006
IEEE
— Radiation dose calculation is an important step in the treatment of cancer patients requiring radiation therapy. It ensures that the physician prescribed dose agrees with the d...
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...