1755 search results - page 22 / 351 » An efficient simulation algorithm based on abstract interpre... |
143
click to vote
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
As power density increases exponentially, run-time regulation of operating temperature by dynamic thermal management becomes imperative. This paper proposes a novel approach to re...
108
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
ion and Refinement Hyunyoung Kil Wonhong Nam Dongwon Lee The Pennsylvania State University, University Park, PA 16802, USA {hykil, wnam, dongwon}@psu.edu The behavioral descriptio...
TASLP
2008
15 years 2 months ago
2008
Given a large audio database of music recordings, the goal of classical audio identification is to identify a particular audio recording by means of a short audio fragment. Even th...
113
Voted
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
A suite of scalable atomistic simulation programs has been developed for materials research based on space-time multiresolution algorithms. Design and analysis of parallel algorit...
123
Voted
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...