1163 search results - page 194 / 233 » Case Studies of Model Checking for Embedded System Designs |
121
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
119
click to vote
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
110
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper an efficient method of small object localization is proposed that integrates detection and tracking. The system is initialized using a strong detector and then it lo...
104
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
It is now common for multimedia applications to be partitioned and mapped onto multiple processing elements of a system-on-chip architecture. An important design constraint in suc...
147
click to vote
AMDO
2000
Springer
15 years 5 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...