1027 search results - page 138 / 206 » Callgraph properties of executables |
126
Voted
CVPR
2010
IEEE
16 years 9 days ago
2010
IEEE
Projector-camera systems use computer vision to analyze their surroundings and display feedback directly onto real world objects, as embodied by spatial augmented reality. To be e...
136
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
151
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...
112
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we propose a UML/MDA approach, called MoPCoM methodology, to design high quality real-time embedded systems. We have defined a set of rules to build UML models fo...
127
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...