Sciweavers

3670 search results - page 509 / 734
» Linear Recursive Functions
Sort
View
ISCAS
2005
IEEE
123views Hardware» more  ISCAS 2005»
16 years 5 days ago
Lower-bound estimation for multi-bitwidth scheduling
In high-level synthesis, accurate lower-bound estimation is helpful to explore the search space efficiently and to evaluate the quality of heuristic algorithms. For the lower-bound...
Junjuan Xu, Jason Cong, Xu Cheng
SC
2005
ACM
16 years 5 days ago
How Well Can Simple Metrics Represent the Performance of HPC Applications?
In this paper, a systematic study of the effects of complexity of prediction methodology on its accuracy for a set of real applications on a variety of HPC systems is performed. R...
Laura Carrington, Michael Laurenzano, Allan Snavel...
ASM
2005
ASM
16 years 4 days ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes
AUSAI
2005
Springer
16 years 4 days ago
New Fuzzy Skin Model for Face Detection
Abstract. We discuss the face detection method by using skin information. Skin color has proven to be a useful and robust cue for face detection, localization and tracking. Numerou...
Moon Hwan Kim, Jin Bae Park, Young Hoon Joo
CC
2005
Springer
115views System Software» more  CC 2005»
16 years 4 days ago
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
Sven Verdoolaege, Kristof Beyls, Maurice Bruynoogh...