Sciweavers

2266 search results - page 212 / 454
» Generalizing parametric timing analysis
Sort
View
ICPR
2008
IEEE
16 years 2 months ago
Feature selection focused within error clusters
We propose a feature selection method that constructs each new feature by analysis of tight error clusters. This is a greedy, time-efficient forward selection algorithm that itera...
Henry S. Baird, Sui-Yu Wang
WWW
2004
ACM
16 years 1 months ago
Business objective based resource management
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...
Sarel Aiber, Dagan Gilat, Ariel Landau, Natalia Ra...
POPL
2006
ACM
16 years 1 months ago
Hybrid type checking
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
Cormac Flanagan
SIGMOD
2005
ACM
129views Database» more  SIGMOD 2005»
16 years 1 months ago
A citation-based system to assist prize awarding
Citation analysis is performed to evaluate the impact of scientific collections (journals and conferences), publications and scholar authors. In this paper we investigate alternat...
Antonis Sidiropoulos, Yannis Manolopoulos
ICCD
2007
IEEE
179views Hardware» more  ICCD 2007»
15 years 10 months ago
Energy-aware co-processor selection for embedded processors on FPGAs
In this paper, we present co-processor selection problem for minimum energy consumption in hw/sw co-design on FPGAs with dual power mode. We provide theoretical analysis for the p...
Amir Hossein Gholamipour, Elaheh Bozorgzadeh, Suda...