5439 search results - page 340 / 1088 » Patterns: from system design to software testing |
202
click to vote
INFSOF
2000
15 years 6 months ago
2000
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
180
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
149
click to vote
VTS
2003
IEEE
16 years 2 days ago
2003
IEEE
Reseeding is used to improve fault coverage in pseudo-random testing. Most of the work done on reseeding is based on storing the seeds in an external tester. Besides its high cost...
181
click to vote
JUCS
2010
15 years 5 months ago
2010
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
175
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...