572 search results - page 69 / 115 » Threading Software Watermarks |
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
Generating realistic and responsive traffic that reflects different network conditions is a challenging problem associated with performing valid experiments in network testbeds. I...
STTT
2010
13 years 8 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
HIPEAC
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Multi-core processors with shared last-level caches are vulnerable to performance inefficiencies and fairness issues when the cache is not carefully managed between the m...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
Many of today’s complex systems are multithreaded servers that effectively run forever and need to work under varying loads and environments. Understanding the behavior of such ...