1755 search results - page 22 / 351 » An efficient simulation algorithm based on abstract interpre... |
108
click to vote
ICCD
2005
IEEE
15 years 3 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...
WWW
2009
ACM
15 years 10 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
14 years 9 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...
SP
2002
IEEE
14 years 9 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...
EVOW
2007
Springer
15 years 3 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...