386 search results - page 39 / 78 » Static Timing Analysis of Real-Time Operating System Code |
MSR
2005
ACM
14 years 2 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
CATA
2006
13 years 10 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
EMSOFT
2009
Springer
14 years 28 days ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
GIS
2004
ACM
14 years 10 months ago
2004
ACM
Aerial video provides strong cues for automatic road extraction that are not available in static aerial images. Using stabilized (or geo-referenced) video data, capturing the dist...
IVC
2006
13 years 9 months ago
2006
We present a systematic comparison of machine learning methods applied to the problem of fully automatic recognition of facial expressions, including AdaBoost, support vector mach...