250 search results - page 47 / 50 » Verifying Tolerant Systems Using Polynomial Approximations |
CHARME
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
SIGMETRICS
2002
ACM
13 years 10 months ago
2002
ACM
Recently proposed scalable on-demand streaming protocols have previously been evaluated using a system cost measure termed the "required server bandwidth". For the scala...
VLDB
2012
ACM
12 years 6 months ago
2012
ACM
In the last decade, spatio-temporal database research focuses on the design of effective and efficient indexing structures in support of location-based queries such as predictive...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
WCNC
2008
IEEE
14 years 5 months ago
2008
IEEE
—This paper provides analytical expressions to evaluate the performance of a random access wireless network in terms of user throughput and network throughput, subject to the con...