PLDI
2012
ACM
12 years 2 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
14 years 10 days 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
14 years 10 days ago
2008
ACM
We present a generic framework on a set of surfaces S in
CGF
2008
14 years 16 days 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 2 months 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 2 months 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 2 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 5 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 5 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 5 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...