12333 search results - page 2154 / 2467 » System Level Modelling for Hardware Software Systems |
150
click to vote
ICCV
2001
IEEE
16 years 7 months ago
2001
IEEE
This paper presents a novel approach for model-based realtime tracking of highly articulated structures such as humans. This approach is based on an algorithm which efficiently pr...
261
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
147
Voted
TRUST
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. ACPI (Advanced Configuration Power Interface) allows operating systems to efficiently configure the hardware platform they are running on and deal with power management...
129
Voted
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— The study of synchronization of population dynamics is extremely important for predicting and evaluating the risk of global extinctions. The migration in a network of p...
127
Voted
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— The analysis of effects induced by interconnects become increasingly important as the scale of process technologies steadily shrinks. While most analyses focus on the t...