17 search results - page 2 / 4 » HOIST: a system for automatically deriving static analyzers ... |
JTRES
2010
ACM
13 years 5 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
SBMF
2009
Springer
13 years 11 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
ICIP
2002
IEEE
14 years 6 months ago
2002
IEEE
In this paper a fully automatic system for embedding visually recognizable watermark patterns to video objects is proposed. The architecture consists of 3 main modules. During the...
COLCOM
2009
IEEE
13 years 9 months ago
2009
IEEE
— Sharing personal information and documents is pervasive in Web 2.0 environments, which creates the need for properly controlling shared data. Most existing authorization and po...
RTAS
2008
IEEE
13 years 11 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...