Sciweavers

4695 search results - page 411 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
SPLC
2010
15 years 8 months ago
A Hybrid Approach to Feature-Oriented Programming in XVCL
Feature-Oriented Programming (FOP) is a programming paradigm for developing programs by composing features. It is especially useful for software product line development, as each p...
Hongyu Zhang, Stan Jarzabek
218
Voted
AI
2002
Springer
15 years 6 months ago
Algorithm for optimal winner determination in combinatorial auctions
Combinatorial auctions, that is, auctions where bidders can bid on combinations of items, tend to lead to more efficient allocations than traditional auction mechanisms in multi-i...
Tuomas Sandholm
DATE
2004
IEEE
151views Hardware» more  DATE 2004»
15 years 10 months ago
Dynamic Voltage and Cache Reconfiguration for Low Power
Given a set of real-time tasks scheduled using the earliest deadline first (EDF) algorithm, we discuss two techniques for reducing power consumption while meeting all timing requi...
André C. Nácul, Tony Givargis
CASCON
2006
120views Education» more  CASCON 2006»
15 years 8 months ago
Automating function point analysis with model driven development
This paper describes a technique for automating the size estimation of software projects conducted using Model Driven Development methods. Specifically, an algorithm has been impl...
Piero Fraternali, Massimo Tisi, Aldo Bongio
DAC
2010
ACM
15 years 10 months ago
An AIG-Based QBF-solver using SAT for preprocessing
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
Florian Pigorsch, Christoph Scholl