3658 search results - page 465 / 732 » Founding properties on measurement |
158
click to vote
ATVA
2004
Springer
16 years 2 days ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
164
click to vote
GPCE
2004
Springer
16 years 1 days ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
165
click to vote
ISAAC
2004
Springer
16 years 22 hour ago
2004
Springer
Standard methods for role assignment partition the vertex set of a graph in such a way that vertices in the same class can be considered to have equivalent roles in the graph. Seve...
149
click to vote
PATMOS
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. In this paper we present a new approach to power modeling and runtime power estimation for wireless network interface cards (WNICs). We obtain run-time power estimates by...
178
click to vote
WCW
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. We present a detailed workload characterization of a multi-tiered system that hosts an e-commerce site. Using the TPC-W workload and via experimental measurements, we ill...