Sciweavers

2272 search results - page 318 / 455
» Capture Complexity by Partition
Sort
View
ASWEC
2009
IEEE
16 years 1 months ago
A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...
Liwei Shen, Xin Peng, Wenyun Zhao
BSN
2009
IEEE
16 years 1 months ago
A Sensing Platform for Physiological and Contextual Feedback to Tennis Athletes
—In this paper we describe our work on creating a multi-modal sensing platform for providing feedback to tennis coaches and players. The platform includes a fixed installation a...
Damien Connaghan, Sarah Hughes, Gregory May, Phili...
VMCAI
2009
Springer
16 years 1 months ago
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
Vincent Laviron, Francesco Logozzo
CCGRID
2009
IEEE
16 years 1 months ago
Resource Allocation Using Virtual Clusters
— We propose a novel approach for sharing cluster resources among competing jobs. The key advantage of our approach over current solutions is that it increases cluster utilizatio...
Mark Stillwell, David Schanzenbach, Fréd&ea...
QEST
2009
IEEE
16 years 1 months ago
Comparison of Two Output Models for the BMAP/MAP/1 Departure Process
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...
Qi Zhang, Armin Heindl, Evgenia Smirni, Andreas St...