6800 search results - page 981 / 1360 » Testing with Functions as Specifications |
174
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
165
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a method for optimizing and automating component and transistor sizing for CMOS operational amplifiers. We observe that a wide variety of performance measures can be fo...
182
click to vote
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
RTP, the Real Time Transport Protocol, has gained widespread acceptance as the transport protocol for voice and video on the Internet. Its companion control protocol, the Real Tim...
151
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents results on a new approach to partitioning a modulo-scheduled loop for distributed execution on parallel clusters of functional units organized as a VLIW machin...
226
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...