IC3
2009
13 years 2 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
IC3
2009
13 years 2 months ago
2009
Abstract. Existing studies in outlier detection mostly focus on detecting outliers in full feature space. But most algorithms tend to break down in highdimensional feature spaces b...
IC3
2009
13 years 2 months ago
2009
Abstract. This paper describes a hybrid grouping genetic algorithm for a multiprocessor scheduling problem, where a list of tasks has to be scheduled on identical parallel processo...
IC3
2009
13 years 2 months ago
2009
A number of algorithms and approaches have been proposed towards the problem of scanning and digitizing research papers. We can classify work done in the past into three major appr...
IC3
2009
13 years 2 months ago
2009
A convenient mechanism to refer to large biological objects such as sequences, structures and networks is the use of identifiers or handles, commonly called IDs. IDs function as a ...
IC3
2009
13 years 2 months ago
2009
One proposed technique to reduce energy consumption of data centers is thermal-aware job scheduling, i.e. job scheduling that relies on predictive thermal models to select among po...
IC3
2009
13 years 2 months ago
2009
In this paper we have worked out on some the complex modeling aspects such as Multi Scale modeling, MATLAB Sugar based modeling and have shown the complexities involved in the anal...