Sciweavers

26957 search results - page 21 / 5392
» Information Systems Modernization
Sort
View
WCRE
2003
IEEE
14 years 2 months ago
Improving Fact Extraction of Framework-Based Software Systems
Modern software frameworks provide a set of common and prefabricated software artifacts that support engineers in developing large-scale software systems. Framework-related inform...
Jens Knodel, Martin Pinzger
IDA
2010
Springer
13 years 11 months ago
Data Mining for Modeling Chiller Systems in Data Centers
We present a data mining approach to model the cooling infrastructure in data centers, particularly the chiller ensemble. These infrastructures are poorly understood due to the lac...
Debprakash Patnaik, Manish Marwah, Ratnesh K. Shar...
DATE
2005
IEEE
150views Hardware» more  DATE 2005»
14 years 2 months ago
Pueblo: A Modern Pseudo-Boolean SAT Solver
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
Hossein M. Sheini, Karem A. Sakallah
CCGRID
2008
IEEE
14 years 3 months ago
Advanced RDMA-Based Admission Control for Modern Data-Centers
—Current data-centers employ admission control mechanism to maintain low response time and high throughput under overloaded scenarios. Existing mechanisms use internal (on the ov...
Ping Lai, Sundeep Narravula, Karthikeyan Vaidyanat...
ESOP
2005
Springer
14 years 2 months ago
A New Foundation for Control-Dependence and Slicing for Modern Program Structures
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
Venkatesh Prasad Ranganath, Torben Amtoft, Anindya...