4299 search results - page 385 / 860 » Concurrent Test Generation |
136
click to vote
SIGMETRICS
2002
ACM
15 years 4 months ago
2002
ACM
This paper discusses the use of a parallel discrete-event network emulator called the Internet Protocol Traffic and Network Emulator (IP-TNE) for Web server benchmarking. The expe...
121
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
161
click to vote
MSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
148
Voted
ENTCS
2006
15 years 5 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
177
Voted
TVLSI
2008
15 years 4 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...