PLDI
2012
ACM
12 years 1 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
STTT
2008
13 years 10 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
SMA
2008
ACM
13 years 10 months ago
2008
ACM
We present a generic framework on a set of surfaces S in
CGF
2008
13 years 11 months ago
2008
We present a generic framework for compression of densely sampled 3D surfaces in order to satisfy the increasing demand for storing large amounts of 3D content. We decompose a giv...
DIS
2008
Springer
14 years 20 days ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...
ECLIPSE
2005
ACM
14 years 25 days ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
FLAIRS
2010
14 years 1 months ago
2010
We propose a generic framework that uses utility in decision making to drive the data mining process. We use concepts from meta-learning and build on earlier work by Elovici and B...
CCO
2001
Springer
14 years 3 months ago
2001
Springer
Branch, cut, and price (BCP) is an LP-based branch and bound technique for solving large-scale discrete optimization problems (DOPs). In BCP, both cuts and variables can be generat...
3DPVT
2002
IEEE
14 years 3 months ago
2002
IEEE
A generic framework based on services for 3D information visualization is presented. The framework can support a wide range of applications and offers the flexibility to be tailor...
IFIP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...