3943 search results - page 319 / 789 » Architecture-Level Requirements Specification |
204
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
Noise analysis of higher-order translinear filters cannot be established through straight-forward extension of analysis techniques for first-order TL filters, due to the presence n...
178
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
183
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
164
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
198
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
Hyper-programming is a technology only available in persistent systems, since hyper-program source code contains both text and links to persistent objects. A hyper-programming sys...