200 search results - page 6 / 40 » Analyzing the Working Set Characteristics of Branch Executio... |
162
click to vote
FASE
2012
Springer
13 years 7 months ago
2012
Springer
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...
113
click to vote
CODES
2009
IEEE
15 years 3 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
EUROSYS
2011
ACM
14 years 3 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
115
click to vote
ICMI
2010
Springer
14 years 9 months ago
2010
Springer
Social network analysis became a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore th...