1972 search results - page 14 / 395 » Testing Mobile and Distributed Systems: Method and Experimen... |
74
Voted
CONCUR
1999
Springer
15 years 1 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
ICRA
1999
IEEE
15 years 1 months ago
1999
IEEE
A new design method for non-time based tracking controller of mobile robots is presented. The new design method converts a controller designed by traditional time-based approaches ...
NSDI
2008
14 years 12 months ago
2008
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
IISWC
2009
IEEE
15 years 4 months ago
2009
IEEE
In many areas such as e-commerce, mission-critical N-tier applications have grown increasingly complex. They are characterized by non-stationary workloads (e.g., peak load several...
76
Voted
FAST
2010
14 years 12 months ago
2010
Journaling is a widely used technique to increase file system robustness against metadata and/or data corruptions. While the overhead of journaling can be masked by the page cache...